В рамках нашей программы открытых обзоров кода мы завершили проверку безопасности @ziskvm ZisK — это открытый zkVM, позволяющий проверяемое выполнение программ, написанных на высокоуровневых языках, таких как Rust.