零知识证明的3个角色：证明者，事件，检验者 传统的证明： 1⃣ 给出确切数据，严谨的验证过程得出结论 2⃣ 用反证法得出事件不可能为假 零知识证明： 用事件无关的信息进行交互检验者就可以确定事件真假且旁观者无法确定结果真假 为什么旁观者无法确定结果真假？ 因为检验者拥有第三方不知道的信息。 零知识证明在 Web3 中的应用： 1⃣ 扩容 各种 L2 网络，通过 zk-rollup 扩容，一层网络需要验证二层网络提交数据的真实性。 2⃣ 隐私保护 用户可以选择性保护隐私信息，可以在转账等操作可以将个人信息隐藏。 奶 @brevis_zk 之前先学点基础知识 ～

计算规则电路（circuit） ：之前听到大家在推文里写这个以为是 ZK 项目都开始干 ASIC 做专用硬件芯片了，结果这里的电路不是物理电路，而是硬件电路中各种与或非门的数学表达式，虚拟电路。