筑波大学応用数学ワークショップ（竹内研究室）

Circomで始めるZKRollup入門　第1回

• 講演者：末神奏宙（東京大学）

• 日時：2023年1月21日18:00 - 21:00

• 場所：オンライン（zoom）

• 世話人：竹内耕太　

• 連絡先：kota@math.tsukuba.ac.jp (参加を希望される方は世話人までご連絡ください。)

• Keywords: ゼロ知識証明、Non-interactive zero-knowledge proofs、ZK-SNARKs、circom, ZK-Rollup

• 講演概要：本ワークショップでは、circomというゼロ知識証明(ZKP)で検証する問題を記述するためのプログラミング言語を用いて、ブロックチェーンのスケーリング技術であるZKRollupを製作していただきます。第一回では、circomやZKRollupの基礎の解説後に、ZKRollupの回路のうちトランザクションを検証する処理を実装します。circomでは、回路のサイズや形が固定されるため、動的な条件分岐やループを直接記述することができません。しかし、分岐やループ回数の実装方法を工夫することで、それらの動的な処理をcircomでも擬似的に再現することが可能です。このテクニックは、今回製作する回路だけでなく、実用的な機能を持つ幅広い種類の回路で応用できるでしょう。