RISC Zero

RISC Zero は、汎用のゼロ知識証明技術です。様々なプログラミング言語に対応しています。