Ca parte a programului nostru de revizuiri open-source, am finalizat o revizuire de securitate a @ziskvm ZisK este un zkVM open-source care permite execuția verificabilă a programelor scrise în limbaje de nivel înalt precum Rust.