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