零知識峯會2024：實地觀察

2024年4月10日，第11屆零知識峯會在雅典召開。約500名與會者參加了爲期一天的活動，內容涵蓋四個並行演講環節。本文總結了峯會上關於最新零知識硬件、SNARK性能和去中心化證明網路設計等方面的重要進展。

零知識硬件發展

硬件支持一直是零知識證明社區的重要目標。主舞臺上的兩場演講概述了該領域的最新進展：

某研究員對零知識硬件進行了全面梳理，將相關公司分爲三類：使用通用硬件、制造定制硬件和運營去中心化證明網路。他預測，zkVM的"終極形態"可能實現1000倍的計算效率提升，這將對以太坊的未來版本產生重大影響。他還提到，將soon宣布一項針對證明者和驗證者正式驗證的競賽，獎金高達2000萬美元。

某公司聯合創始人介紹了Binius系統，該系統同時設計證明系統和硬件。Binius使用二進制塔場和sumcheck協議。初步測試顯示，在某些應用中Groestl哈希函數的性能明顯優於Keccak。

去中心化證明者網路

業內人士普遍認爲，未來大規模證明生成（如Rollup中一批交易的正確性驗證）將由一個競爭激烈的去中心化專業證明者市場完成。

某公司聯合創始人討論了他們即將推出的證明者網路。她分析了不同的機制設計，認爲基於競賽或挖礦的模式可能效果不佳。她提出設計目標應該依次爲：最小化成本、最大化延遲和抗審查能力。她預測拍賣模式最有可能勝出，最終可能類似於當前的區塊構建過程。

某大學博士生介紹了一篇關於證明者網路經濟學的新論文。他指出雙邊拍賣容易受到勾結影響，因此提出了一種名爲Proo-phi的替代機制，引入了新的匹配交易和證明機制。

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

零知識憑證

三場討論聚焦於基於現有身分系統構建零知識憑證的努力：

某公司聯合創始人介紹了零知識電子郵件地址所有權證明。這些證明依賴於驗證發送到特定地址的電子郵件的DKIM籤名，可用於匿名匯款和舉報等應用。

某實驗室研究員討論了利用OpenID Connect與傳統Web2身分交互的系統。該系統可實現向Google或Facebook帳戶匯款等應用。

某項目代表探討了如何基於現有電子護照構建匿名憑證。例如，用戶可以證明自己持有美國護照且年滿25歲，而無需透露護照號碼或確切年齡。