零知識峯會 2024：現場筆記

2024年4月10日，第11屆零知識峯會在雅典舉行。約500名與會者參加了這場爲期一天的活動，同時進行了四場演講。以下是對會議重點內容的總結，涵蓋了零知識硬件、SNARK性能和證明網路設計等最新進展。

ZK硬件發展

對證明生成的硬件支持一直是業界的重點關注領域。會議開場的兩場演講概述了當前的發展態勢：

• 某研究員對ZK硬件進行了全面概述，包括該領域公司的分類。他提到了使用通用硬件的公司、制造定制硬件的公司，以及運行去中心化證明網路的公司。他預測，經過優化的zkVM結合專用硬件，有望實現1000倍的計算效率提升，這可能對未來以太坊的發展產生重大影響。他還透露，將舉辦一場證明者和驗證者正式驗證競賽，獎金高達2000萬美元。

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

去中心化證明者網路

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

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

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

• 某公司技術總監討論了支持多方計算（MPC）的證明市場，特別是如何利用MPC在小型客戶和大型證明者之間維護隱私。他探討了如何選擇證明系統組合來進行線性運算，以在MPC中最小化成本。

ZK憑證創新

會議還討論了基於現有身分系統構建零知識憑證的多項努力：

• 某項目聯合創始人介紹了ZK電子郵件地址所有權證明。這些證明依賴於對發送到特定地址的電子郵件的DKIM籤名的驗證，可應用於匿名匯款和舉報等場景。

• 某公司研究員講解了利用OpenID connect與傳統web2身分交互的技術，使得向Google或Facebook帳戶匯款等應用成爲可能。

• 某項目代表討論了如何從現有電子護照構建匿名憑證，例如證明持有特定國家護照並達到特定年齡，而無需透露具體個人信息。

這些創新爲零知識證明技術在身分驗證和隱私保護領域的應用開闢了新的可能性。