零知識峯會 2024：現場報道

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

零知識硬件發展

硬件支持一直是零知識證明領域的重要目標。主舞臺上的兩場演講概述了當前的發展態勢：

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

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

去中心化證明者網路

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

某公司聯合創始人討論了去中心化證明者網路的各種潛在機制設計。她認爲設計目標應依次爲：最小化成本、最大化延遲和保證抗審查性。她預測拍賣模式最有可能勝出，最終可能類似於當前的區塊構建過程。

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

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

零知識憑證

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

1. 基於電子郵件的零知識地址所有權證明，依賴於DKIM籤名驗證。

2. 利用OpenID connect與傳統web2身分交互，實現如向Google或Facebook帳戶匯款等應用。

3. 從現有電子護照構建匿名憑證，例如證明持有特定國家護照和年齡範圍，而無需透露具體個人信息。

這些創新爲身分驗證和隱私保護提供了新的可能性，有望在多個領域得到廣泛應用。