零知識峯會2024：現場紀實

2024年4月10日，第11屆零知識峯會在雅典舉行。本次峯會由Zero Knowledge播客主辦，約有500名與會者參加，一天內同時進行了四場演講。以下是對峯會重要議題的總結，涵蓋了最新的零知識硬件、SNARK性能和證明網路設計等方面的進展。

ZK硬件發展

長期以來，對證明生成的硬件支持一直是業界關注的焦點。本次峯會的主舞臺上，兩場演講概述了這一領域的最新進展。

某基金會研究員對ZK硬件進行了全面概述，包括該領域公司的分類。這些公司包括使用通用硬件的公司、制造定制硬件的公司以及運行去中心化證明網路的公司。他預測，zkVM的"終局"可能實現1000倍的計算效率提升，這將對未來的區塊鏈技術產生深遠影響。他還提到，某基金會將宣布一項對證明者和驗證者進行正式驗證的競賽，獎金高達2000萬美元。

某公司聯合創始人討論了同時設計證明系統和硬件的概念。他們的系統使用二進制塔場和sumcheck協議。從早期測試中得出的一個有趣結論是，哈希函數Groestl的性能明顯優於Keccak，這意味着在某些應用中使用Groestl可能更有優勢。

去中心化證明者網路

業內許多人設想了一個未來場景：大型陳述的證明生成（如Rollup中一批交易的正確性）將由一個競爭激烈的、去中心化的專業證明者市場完成。

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

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

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

ZK憑證

峯會上還舉行了三場關於從現有身分系統構建零知識憑證的討論，每一個都依賴於不同的現有身分系統。

某項目聯合創始人討論了ZK電子郵件地址所有權證明。這些證明依賴於對發送到特定地址的電子郵件的DKIM籤名的驗證，DKIM已被主要電子郵件提供商廣泛部署。這項技術可應用於多種場景，如匿名向電子郵件地址匯款或匿名舉報。

某實驗室研究科學家介紹了一個使用OpenID connect與傳統web2身分交互的項目。該項目能夠與現有的OpenID提供商交互，並證明用戶控制給定地址，從而實現類似向社交媒體帳戶匯款的應用。

某項目團隊成員討論了如何從現有電子護照構建匿名憑證。例如，用戶可以證明他們持有某國護照並且達到特定年齡，而無需透露具體的護照號碼或確切年齡。

這些討論展示了零知識證明技術在身分驗證和隱私保護方面的廣泛應用前景，爲未來的數字身份管理提供了新的可能性。