ziskvm

ZisK - это инструментарий с открытым исходным кодом для доказательств с нулевым разглашением, который включает zkVM, способную проверять выполнение программ, написанных на современных языках, таких как Rust.