零知識峯會2024:現場報道

2024年4月10日，第11屆零知識峯會在雅典舉行。本次峯會由零知識播客主辦,吸引了約500名與會者參加,同時進行了四場平行演講。以下是對峯會重點內容的總結,涵蓋了零知識硬件、SNARK性能和去中心化證明網路等最新進展。

零知識硬件

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

某研究員對零知識硬件進行了全面概述,將相關公司分爲三類:使用通用硬件、制造定制硬件,以及運行去中心化證明網路的公司。他預測,結合硬件優化的SNARK驗證系統和其他即將推出的優化,可能實現1000倍的計算效率提升,這將對以太坊的最終版本產生重大影響。他還提到,將啓動一項對證明者和驗證者進行正式驗證的競賽,獎金高達2000萬美元。

某公司聯合創始人介紹了同時設計證明系統和硬件的理念。他們的早期測試顯示,在某些應用中,Groestl哈希函數的性能明顯優於Keccak,這爲未來的系統設計提供了新的思路。

去中心化證明者網路

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

某公司聯合創始人討論了去中心化證明者網路的各種潛在機制設計。她認爲設計目標應該依次是:最小化成本、最大化延遲和抗審查性。她預測,發行/質押模式可能有效,但拍賣模式最有可能勝出,最終可能類似於今天的區塊構建。她透露,他們正在構建一個通用的拍賣網路,用於支持多個zkVM的證明。

某大學博士生介紹了一篇關於證明者網路經濟學的新論文。他指出,雙邊拍賣容易受到證明者和競標者之間勾結的影響,因此他們提出了一種新的機制,引入了新的匹配交易和證明機制。這種機制需要設置容量參數,這似乎是一個關鍵的開放式設計問題。

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

零知識憑證

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

某項目聯合創始人介紹了零知識電子郵件地址所有權證明。這些證明依賴於對發送到特定地址的電子郵件的DKIM籤名的驗證,DKIM已被主要電子郵件提供商廣泛部署。這種技術可應用於向電子郵件地址匯款、匿名舉報等場景。

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

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

這些發展表明,零知識證明技術正在各個領域迅速推進,爲隱私保護和身分驗證提供了新的可能性。