Como parte do nosso programa de revisões de código aberto, concluímos uma revisão de segurança do @ziskvm ZisK é um zkVM de código aberto que permite a execução verificável de programas escritos em linguagens de alto nível como Rust.