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