零知識峯會2024：現場觀察

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

ZK硬件發展

零知識證明生成的硬件支持一直是業界關注的焦點。主會場的兩場報告概述了該領域的最新進展：

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

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

去中心化證明者網路

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

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

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

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

ZK憑證創新

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

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

• 某實驗室研究員討論了利用OpenID connect與傳統web2身分交互的技術。這使得向Google或Facebook帳戶匯款等應用成爲可能。

• 某項目成員探討了如何從現有電子護照構建匿名憑證。例如，用戶可以證明持有某國護照並達到特定年齡，而無需透露具體信息。

這些創新展示了零知識技術在身分驗證和隱私保護方面的巨大潛力，爲未來數字身份管理提供了新的思路。