2024年零知識峯會(zkSummit)現場報告

2024年4月10日，第11屆零知識峯會在雅典舉行。約500名與會者參加了爲期一天的活動，同時進行了四場演講。以下是本次峯會的主要亮點，涵蓋了零知識硬件、SNARK性能和證明網路設計等最新進展。

ZK硬件發展

硬件支持一直是零知識證明社區的重要目標。本次峯會的兩場主題演講概述了該領域的最新進展：

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

• 某公司聯合創始人介紹了他們的硬件優化SNARK系統，該系統使用二進制塔場和sumcheck協議。早期測試顯示，在某些應用中，Groestl哈希函數的性能明顯優於Keccak。

去中心化證明者網路

多位專家探討了未來大規模證明生成可能由去中心化的專業證明者市場完成的設想：

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

• 某大學博士生介紹了一篇關於證明者網路經濟學的新論文。他們提出了一種新的匹配交易和證明機制，以應對雙邊拍賣中可能出現的勾結問題。

• 某公司技術總監討論了支持多方計算(MPC)的證明市場，特別是如何在保護隱私的同時，實現小型客戶和大型證明者之間的去信任交互。

ZK憑證創新

三場討論聚焦於如何基於現有身分系統構建零知識憑證：

• 某項目聯合創始人介紹了基於電子郵件DKIM籤名的ZK電子郵件地址所有權證明。這可用於匿名匯款和舉報等應用。

• 某公司研究員介紹了利用OpenID Connect與傳統web2身分交互的方案，使得向Google或Facebook帳戶匯款等應用成爲可能。

• 某項目成員討論了如何從現有電子護照構建匿名憑證，例如證明持有某國護照且年滿特定年齡，而無需透露具體信息。

這些創新爲構建更安全、隱私保護的身分驗證系統提供了新的思路和可能性。