零知識峯會 2024：現場記錄

Joseph Bonneau，研究合作夥伴兼紐約大學助理教授，參加了4月10日在雅典舉行的第11屆零知識峯會。該活動吸引了約500名與會者，一天內同時舉行了四場演講。以下是Bonneau的報告摘要，涵蓋了零知識硬件、SNARK性能和證明網路設計的最新進展。

ZK硬件

對證明生成的硬件支持一直是社區的長期目標。主舞臺上的前兩次演講概述了該領域的最新發展。

某研究員對ZK硬件進行了全面概述，包括該領域公司的分類。他列舉了使用通用硬件的公司、制造定制硬件的公司以及運行去中心化證明網路的公司。他預測，硬件優化的SNARK驗證系統和其他即將到來的優化，加上專用硬件，可能實現1000倍的計算效率提升，這可能影響以太坊的最終版本。他還提到，將宣布一項對證明者和驗證者進行正式驗證的競賽，獎金高達2000萬美元。

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

去中心化證明者網路

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

某公司聯合創始人介紹了他們即將推出的證明者網路。她討論了各種潛在的機制設計，認爲基於競賽或挖礦的設計可能效果不佳。她提出設計目標應該依次是：最小成本、最大延遲和抗審查性。她預測發行/質押模式可能有效，但拍賣模式最有可能成功，最終可能類似於今天的區塊構建。

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

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

ZK憑證

三場不同的演講討論了從現有身分系統構建零知識憑證的努力。

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

某實驗室的研究科學家討論了使用OpenID connect與傳統web2身分交互的技術。該技術與現有的OpenID提供商交互，證明用戶控制給定地址，使得向Google或Facebook帳戶匯款等應用成爲可能。

某公司代表探討了如何從現有電子護照構建匿名憑證。例如，用戶可以證明他們持有特定國家護照並且達到特定年齡，而無需透露護照號碼或確切年齡。