熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
Nathan
Crypto 擼毛 & 數據分析
兩種零知識證明
1⃣ 交互式零知識證明
▰ 驗證者出題（挑戰）
▰ 證明者根據挑戰回
▰ 多輪來回，驗證者確認證明有效
2⃣ 非交互式零知識證明
▰ 證明者只需要生成一個文件（proof）
▰ 驗證者拿到它就能獨立驗證，不需要往返交互
ZK 證明的三個特性
▰ 完整性-Completeness
如果命題是真的，證明一定能通過驗證
▰ 可靠性-Soundness
如果命題是假的，沒人能造出假證明通過驗證
▰ 零知識性- Zero Knowledge
驗證者無法從證明中推導出秘密的輸入
因為區塊鏈的屬性，實際應用中基本都是非交互式零知識證明。
非交互式零知識證明是用一次證明者的自我隨機挑戰來確定證明的真實性。
@brevis_zk 學習筆記 ～
11月1日 16:39
零知識證明的3個角色：證明者，事件，檢驗者
傳統的證明：
1⃣ 給出確切數據，嚴謹的驗證過程得出結論
2⃣ 用反證法得出事件不可能為假
零知識證明：
用事件無關的信息進行交互檢驗者就可以確定事件真假且旁觀者無法確定結果真假
為什麼旁觀者無法確定結果真假？
因為檢驗者擁有第三方不知道的信息。
零知識證明在 Web3 中的應用：
1⃣ 擴容
各種 L2 網絡，通過 zk-rollup 擴容，一層網絡需要驗證二層網絡提交數據的真實性。
2⃣ 隱私保護
用戶可以選擇性保護隱私信息，可以在轉賬等操作可以將個人信息隱藏。
奶 @brevis_zk 之前先學點基礎知識 ～
1.75K
熱門
排行
收藏