Como parte de nuestro programa de revisiones de código abierto, hemos realizado una revisión de seguridad de @ziskvm ZisK es una zkVM de código abierto que permite la ejecución verificable de programas escritos en lenguajes de alto nivel como Rust.