零知識峯會2024：現場報告

Joseph Bonneau於2024年4月13日發布了一篇關於第11屆零知識峯會(zkSummit)的現場報告。該峯會於4月10日在雅典舉行，約有500名與會者參加。會議同時進行了四場演講，涵蓋了零知識硬件、SNARK性能和證明網路設計等最新進展。

零知識硬件

硬件對證明生成的支持一直是業界關注的重點。主舞臺上的兩場演講概述了該領域的最新發展。

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

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

去中心化證明者網路

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

某公司聯合創始人討論了去中心化證明者網路的各種潛在機制設計。她認爲設計目標應該依次是：最小化成本、最大化延遲和抗審查性。她預測拍賣模式最有可能成功，最終可能類似於當前的區塊構建模式。她透露其公司正在構建一個通用的拍賣網路，支持多個zkVM的證明。

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

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

零知識憑證

三場討論聚焦於從現有身分系統構建零知識憑證的努力，每一種方案都基於不同的身分系統。

某項目聯合創始人介紹了零知識電子郵件地址所有權證明。這些證明依賴於對發送到特定地址的電子郵件的DKIM籤名的驗證。許多應用可以通過零知識證明用戶是否控制電子郵件地址，包括向電子郵件地址匯款和匿名舉報等。

某公司研究科學家討論了利用OpenID connect與傳統web2身分交互的系統。該系統與現有OpenID提供商交互，證明用戶控制給定地址，從而實現向Google或Facebook帳戶匯款等應用。

某項目成員探討了如何從現有電子護照構建匿名憑證。例如，用戶可以證明他們持有美國護照並且年滿25歲，而無需透露護照號碼或確切年齡。