Zero Knowledge Summit 2024: 現場報告

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

ZK硬件發展

零知識證明的硬件支持一直是業界關注的焦點。本次峯會上，多位專家就ZK硬件的現狀和未來進行了探討：

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

• 某硬件公司聯合創始人介紹了他們正在開發的SNARK驗證系統，該系統基於二進制塔場和sumcheck協議。他指出，在某些應用中，哈希函數Groestl的性能明顯優於Keccak，這一發現可能會影響未來的系統設計選擇。

去中心化證明者網路

多位專家探討了去中心化證明者網路的未來發展方向：

• 某公司聯合創始人介紹了他們即將推出的證明者網路。她分析了不同的網路設計機制，認爲基於競賽或挖礦的模式可能效果不佳。她建議設計目標應依次爲：最小成本、最大延遲和抗審查性。她預測拍賣模式最有可能成爲主流，未來可能類似於當前的區塊構建過程。

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

• 某公司技術負責人討論了支持多方計算（MPC）的證明市場，特別是如何在保護小型客戶隱私的同時實現去信任的大型證明者。他探討了如何選擇證明系統組合來優化MPC中的線性運算成本。

ZK憑證創新

會議還討論了基於現有身分系統構建零知識憑證的多種方案：

• 基於電子郵件DKIM籤名的ZK電子郵件地址所有權證明，可應用於匿名匯款和舉報等場景。

• 利用OpenID connect與傳統web2身分交互，實現向社交媒體帳戶匯款等應用。

• 從現有電子護照構建匿名憑證，允許用戶證明特定信息而無需透露詳細個人資料。

這些創新方案展示了零知識證明技術在身分驗證和隱私保護方面的廣闊應用前景。