Solidity

今回のブログ記事の内容 今回は前回のブログで説明したゼロ知識証明（ZKP）の算術回路の表現とKZGコミットメントを実際にCircomというプログラミング言語を使って、回路を生成し、証明とコントラクトの検証を行ってみようと思います。 Circ...