ziskvm

ZisKはオープンソースのゼロ知識証明ツールキットで、zkVMを備えており、Rustなどの高度な言語で書かれたプログラムの実行を検証することができます。