Skip to content
Tornado Cats
5. 付録
Initializing search
minaminao/tornado-cats
Tornado Cats
minaminao/tornado-cats
Home
1. イントロダクション
1. イントロダクション
1.1. はじめに
1.2. Tornado Cashの概要
1.3. ゼロ知識証明の概要
2. ゼロ知識証明の理論
2. ゼロ知識証明の理論
2.1. 前提知識と準備
2.2. 証明システム
2.3. 対話型証明システム
2.4. 対話型ゼロ知識証明
2.5. NPに対するゼロ知識証明
2.6. 知識の証明
2.7. アーギュメント
2.8. 非対話型ゼロ知識証明
2.9. 知識の非対話型ゼロ知識アーギュメント
2.10. 簡潔な非対話型アーギュメント
2.11. Quadratic Arithmetic Program
2.12. Groth16: QAPに対するzk-SNARK
3. ゼロ知識証明回路の基礎
3. ゼロ知識証明回路の基礎
3.1. Circomとは
3.2. 回路の例: 因数分解
3.3. 回路のコンパイル
3.4. Rank 1 Constraint System
3.5. ウィットネスの計算
3.6. ゼロ知識証明のセットアップ
3.7. ゼロ知識証明の生成と検証
3.8. 演習
4. ミキサープロトコルの開発
4. ミキサープロトコルの開発
4.1. ミキサープロトコルの設計
4.2. ミキサープロトコルの全体構成と準備
4.3. ミキサーコントラクトの実装
4.4. 出金回路の実装
5. 付録
5. 付録
5.1. Tornado Cashの非中央集権性
5.2. Tornado Cashの稼働状況
5.3. Tornado Cash Classicのコントラクト
5.4. Tornado Cash Classicのゼロ知識証明回路
5.5. Tornado Cash ClassicのTrusted Setup Ceremony
5.6. CircomLib
5.7. zk-SNARK用のプリコンパイル済みコントラクト
6. 参考文献
付録
本編の補足資料です。