2024年零知識峯會速記

第11屆零知識峯會於4月10日在雅典舉行,約有500名與會者參加。會議涵蓋了零知識證明硬件、SNARK性能和去中心化證明網路等多個熱點話題。

ZK硬件進展

某研究員對ZK硬件領域進行了概述,包括使用通用硬件、制造定制硬件以及運行去中心化證明網路的公司。他預測,zkVM的"終局"可能實現1000倍的計算效率提升,並可能影響以太坊的最終版本。他還提到將宣布一項對證明者和驗證者進行正式驗證的競賽,獎金高達2000萬美元。

某公司聯合創始人介紹了Binius系統,該系統同時設計證明系統和硬件。早期測試顯示,在某些應用中Groestl哈希函數的性能明顯優於Keccak。

去中心化證明者網路

業內人士普遍認爲,未來大型陳述的證明生成將由一個競爭激烈的、去中心化的專業證明者市場完成。

某公司聯合創始人討論了即將推出的證明者網路,介紹了各種潛在的機制設計。她認爲設計目標應該依次是:最小成本、最大延遲和抗審查性。她預測拍賣模式最有可能勝出,最終可能類似今天的區塊構建。

某大學博士生介紹了一篇關於證明者網路經濟學的新論文。他提到雙邊拍賣容易受到勾結影響,並介紹了一種稱爲Proo-phi的替代機制。

某公司首席技術官討論了支持多方計算(MPC)的證明市場,特別是如何維護小型客戶和大型證明者之間的隱私。

ZK憑證應用

會議還討論了從現有身分系統構建零知識憑證的多種努力:

• 基於電子郵件DKIM籤名的地址所有權證明
• 利用OpenID connect與傳統web2身分交互的系統
• 從電子護照構建匿名憑證的方法

這些技術可應用於匿名匯款、身分驗證等多個場景,有望在保護隱私的同時提供可信的身分憑證。