Circom

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

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

【Leyer2】ゼロ知識証明(ZK)とKZGコミットメント（第１３回）

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