Solidity

【ゼロ知識証明】Circomを使った回路の生成と証明とコントラクトの検証

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