У рамках нашої програми оглядів з відкритим кодом ми провели перевірку безпеки @ziskvm ZisK — це відкритий zkVM, що дозволяє перевірятися виконання програм, написаних високорівневими мовами, такими як Rust.