Zero Knowledge Summit 2024: 零知識峯會見聞錄

2024年4月10日，第11屆零知識峯會在雅典舉行。約500名與會者齊聚一堂，參與了爲期一天的四場平行會議。本文總結了峯會上關於零知識硬件、SNARK性能和去中心化證明網路設計等方面的最新進展。

零知識硬件發展

硬件支持一直是零知識證明社區的重點關注領域。會議開場的兩場主題演講概述了該領域的最新進展:

某研究員對零知識硬件進行了全面梳理，將相關公司分爲三類:利用通用硬件的公司、制造專用硬件的公司,以及運營去中心化證明網路的公司。他預測,經過硬件優化的SNARK驗證系統等技術可能實現1000倍的性能提升,這將對以太坊的未來發展產生重要影響。他還透露,某基金會計劃舉辦一場正式驗證證明者和驗證者的競賽,獎金高達2000萬美元。

某公司聯合創始人介紹了他們的Binius系統,這是一種同時優化證明系統和硬件設計的方案。Binius採用了二進制塔場和sumcheck協議。初步測試顯示,在某些應用場景中Groestl哈希函數的性能明顯優於Keccak,這一發現可能會影響未來系統的設計選擇。

去中心化證明者網路

許多業內人士設想,未來大規模陳述的證明生成(如Rollup中一批交易的正確性證明)將由一個競爭激烈的去中心化專業證明者市場來完成。

某公司聯合創始人分享了他們即將推出的證明者網路。她分析了去中心化證明者網路的各種潛在機制設計,認爲基於競賽或挖礦的設計可能難以取得理想效果。她提出設計目標應該依次是:最小化成本、最大化延遲和抗審查能力。她預測拍賣模式最有可能成爲主流,最終可能類似於當前的區塊構建機制。

某大學博士生介紹了一篇剛發表的關於證明者網路經濟學的新論文。他指出雙邊拍賣容易受到證明者和競標者之間勾結的影響,因此提出了一種名爲Proo-phi的替代機制,引入了新的匹配交易和證明機制。不過Proo-phi機制需要設置容量參數,這似乎是一個關鍵的開放式設計問題。

某公司首席技術官討論了支持多方計算(MPC)的證明市場,特別是如何利用MPC在小型客戶和大型證明者之間保護隱私。他探討了如何選擇證明系統組合來進行線性運算,以在MPC中實現最小化成本。

零知識憑證

會議還討論了基於現有身分系統構建零知識憑證的多種嘗試:

某項目聯合創始人介紹了零知識電子郵件地址所有權證明。這些證明依賴於對發送到特定地址的電子郵件的DKIM籤名進行驗證。這種技術可應用於匿名向電子郵件地址匯款、匿名舉報等場景。

某公司研究員分享了他們的Keyless項目,該項目利用OpenID connect與傳統Web2身分系統交互。這使得向Google或Facebook帳戶匯款等應用成爲可能。

某項目成員討論了如何基於現有電子護照構建匿名憑證。例如,用戶可以證明自己持有某國護照且年滿特定年齡,而無需透露具體護照號碼或確切年齡。

總的來說,本次峯會展示了零知識證明技術在硬件支持、網路設計和身分驗證等方面的最新進展,爲該領域的未來發展描繪了令人期待的藍圖。