零知識峯會2024實地報告

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

ZK硬件發展

零知識證明硬件支持一直是業界關注的焦點。本次峯會上有兩場主題演講探討了這一領域的最新進展:

一位研究員對ZK硬件進行了全面概述，將相關公司分爲三類:使用通用硬件的公司、制造定制硬件的公司，以及運行去中心化證明網路的公司。他預測，隨着專用硬件和優化技術的發展，zkVM的計算開銷有望降低1000倍。這可能對未來以太坊的發展產生重大影響。他還提到，將舉辦一項針對證明者和驗證者進行正式驗證的競賽，獎金高達2000萬美元。

另一位演講者介紹了Binius系統，這是一種同時設計證明系統和硬件的方法。Binius使用二進制塔場和sumcheck協議。有趣的是，早期測試表明哈希函數Groestl在某些應用中的性能優於Keccak。

去中心化證明者網路

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

一位演講者介紹了他們即將推出的證明者網路。她分析了不同的網路機制設計，認爲基於競賽或挖礦的設計可能不會帶來理想結果。她提出設計目標應該依次是:最小化成本、最大化延遲和抗審查性。她預測拍賣模式最有可能勝出，最終可能類似於今天的區塊構建。

另一位演講者討論了一篇關於證明者網路經濟學的新論文。他們提出了一種名爲Proo-phi的新機制，引入了新的匹配交易和證明機制，以應對雙邊拍賣中可能出現的勾結問題。

還有一場演講探討了支持多方計算(MPC)的證明市場，特別是如何在保護隱私的同時實現小型客戶和大型證明者之間的去信任交互。

ZK憑證創新

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

一個項目致力於實現ZK電子郵件地址所有權證明，這可應用於匿名電子郵件匯款和舉報等場景。

另一個項目專注於利用OpenID connect與傳統web2身分進行交互，使得向Google或Facebook帳戶匯款等應用成爲可能。

第三個項目則探索了如何從現有電子護照構建匿名憑證，例如證明持有特定國家護照且年滿某個年齡，但無需透露具體護照號碼或確切年齡。

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