Sebagai bagian dari program peninjauan sumber terbuka kami, kami telah menyelesaikan tinjauan keamanan @ziskvm ZisK adalah zkVM sumber terbuka yang memungkinkan eksekusi program yang ditulis dalam bahasa tingkat tinggi yang dapat diverifikasi seperti Rust.