Circom

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

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

【Leyer2】ゼロ知識証明(ZK)とKZGコミットメント

イーサリアムのレイヤー2における必要性と仕組み（前回の復習）レイヤー1とレイヤー2の概要ゼロ知識証明(ZK)とKZGコミットメントの概要と理論の説明をする前に前回のブログの復習を行なっておきます。まず、レイヤー1とは、イーサリアムやビ...