As part of our open-source reviews program, we've completed a security review of @ziskvm ZisK is an open-source zkVM enabling verifiable execution of programs written in high-level languages like Rust.