Nell'ambito del nostro programma di revisioni open-source, abbiamo completato una revisione della sicurezza di @ziskvm ZisK è un zkVM open-source che consente l'esecuzione verificabile di programmi scritti in linguaggi di alto livello come Rust.