ziskvm

ZisKは、Rustのような高水準言語で書かれたプログラムの検証可能な実行を可能にするzkVMを備えたオープンソースのゼロ知識証明ツールスタックです。