| 时间/日期 |
8月14日 |
8月15日 | 8月16日 | 8月17日 | 8月18日 |
|---|---|---|---|---|---|
| 09:00-10:00 | Interactive proofs | Commitments | Feige-ShamirⅠ: Constant-round ZK protocol | Individual simulations Ⅱ | zk-SNARKS Ⅰ |
| 10:00-10:30 | 茶歇 | ||||
| 10:30-11:30 | Introduction to ZK proofs | Blum’s ZK protocol for NP Ⅰ | Feige-Shamir Ⅱ | NIZK | zk-SNARKS Ⅱ |
| 11:30-14:30 | 午餐、休息 | ||||
| 14:30-16:00 | ZK proofs for QR and GI | Blum’s ZK protocol for NP Ⅱ | Sigma-protocols | Arithmetization Ⅰ | 疏散 |
| 16:00-16:30 | 茶歇 | ||||
| 16:30-17:30 | Commitments Ⅰ | Compositions, WI and WH | Individual simulations Ⅰ: Breaking black-box barriers | Arithmetization Ⅱ | |
| 17:30-18:30 | 晚餐 | ||||