零知識證明的3個角色：證明者，事件，檢驗者 傳統的證明： 1⃣ 給出確切數據，嚴謹的驗證過程得出結論 2⃣ 用反證法得出事件不可能為假 零知識證明： 用事件無關的信息進行交互檢驗者就可以確定事件真假且旁觀者無法確定結果真假 為什麼旁觀者無法確定結果真假？ 因為檢驗者擁有第三方不知道的信息。 零知識證明在 Web3 中的應用： 1⃣ 擴容 各種 L2 網絡，通過 zk-rollup 擴容，一層網絡需要驗證二層網絡提交數據的真實性。 2⃣ 隱私保護 用戶可以選擇性保護隱私信息，可以在轉賬等操作可以將個人信息隱藏。 奶 @brevis_zk 之前先學點基礎知識 ～

計算規則電路（circuit） ：之前聽到大家在推文裡寫這個以為是 ZK 項目都開始幹 ASIC 做專用硬件芯片了，結果這裡的電路不是物理電路，而是硬件電路中各種與或非門的數學表達式，虛擬電路。