零知識峯會2024：現場報告

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

ZK硬件發展

對證明生成的硬件支持一直是零知識領域的重要目標。主舞臺上的兩場報告概述了當前的發展情況：

某研究員對ZK硬件進行了全面概述，包括該領域公司的分類。他提到了使用通用硬件的公司、制造定制硬件的公司，以及運行去中心化證明網路的公司。他預測，經過優化的zkVM系統可能實現1000倍的計算效率提升，這將對未來的以太坊版本產生重大影響。他還提到，大多數證明可能會使用Groth16結構，並預告了一項即將舉行的證明者和驗證者正式驗證競賽。

某公司聯合創始人介紹了Binius系統，該系統同時設計證明系統和硬件。Binius使用二進制塔場和sumcheck協議。有趣的是，早期測試顯示Groestl哈希函數在某些應用中可能比Keccak更有優勢。

去中心化證明者網路

許多業內人士設想未來大型陳述的證明生成將由一個競爭激烈的、去中心化的專業證明者市場完成。

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

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

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

ZK憑證創新

三場討論聚焦於從現有身分系統構建零知識憑證的努力：

某項目聯合創始人介紹了基於電子郵件的零知識身分所有權證明。這些證明依賴於對特定地址電子郵件DKIM籤名的驗證，可用於匿名電子郵件轉帳等應用。

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

某項目成員探討了如何從現有電子護照構建匿名憑證。例如，用戶可以證明他們持有特定國家護照並達到某個年齡，而無需透露具體個人信息。

這些創新爲在保護隱私的同時驗證身分開闢了新的可能性，有望在多個領域產生廣泛應用。