a16z Crypto峯會筆記：ZK 技術方向與潛力項目盤點

原文標題：Zero Knowledge Summit (zkSummit) 2024: Field notes

作者：Joseph Bonneau

發佈日期：4.13.2024

編者按：Field Notes 是一個系列，我們在重要的行業、研究和其他活動中實地報道。在本期中，a16z crypto 研究合作伙伴兼紐約大學助理教授 Joseph Bonneau 參加了 4 月 10 日星期三在雅典舉行的第 11 屆零知峯會 （zkSummit），並記錄了筆記。該活動由 Zero Knowledge 播客主辦，大約有 500 名與會者，並在一天內同時進行了四場演講。以下是 Bonneau 報告的摘要，涵蓋了最新的零知硬件、SNARK 性能和拍賣網絡設計，包括一些對 Jolt 的提及，這是 a16z crypto 研究和工程師團隊對 SNARK 設計的新方法，已經比目前最先進的技術快 2 倍，而且還有更多改進即將到來。

ZK硬件

長期以來，對證明生成的硬件支持一直是社區的目標。在主舞臺上舉行的前兩次會談概述了目前這方面的發展。

• 以太坊基金會的研究員 Justin Drake 對 ZK 硬件進行了概述，包括該領域公司的分類學。該名單包括使用通用硬件的公司（如 Ulvetanna）、製造定製硬件的公司（包括 Accseal、Cysic 和 Fabric）以及運行去中心化證明網絡的公司（如 Aleo）。他預測，zkVM 的 “終局”，例如由 Binius（硬件優化的 SNARK 驗證系統）增強的 Jolt，以及其他即將到來的優化以及專用硬件，可以實現 1000 倍的計算開銷，並可能影響最終的、經過全面實戰測試的以太坊版本。他還預測，硬件將主要集中在非 ZK 簡潔證明上，大多數證明將在臉上使用 Groth16 包裝。他還提到，以太坊基金會將宣佈一項對證明者和驗證者進行正式驗證的競賽，獎金爲 2000 萬美元。
• Ulvetanna 的聯合創始人 Jim Posen 談到了 Binius，以及同時設計證明系統和硬件的一般概念。Binius 使用二進制塔場和 sumcheck 協議，Jolt 也基於該協議。從 Binius 的早期測試中得出的一個有趣的結論是，哈希函數 Groestl（SHA-3亞軍）的性能明顯優於 Keccak（官方 SHA-3 標準），因此在某些應用程序中使用 Groestl 可能會更有利。

去中心化證明者網絡

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

• Succinct 的聯合創始人 Uma Roy 談到了 Succinct 即將推出的證明者網絡。她介紹了去中心化證明者網絡的各種潛在機制設計，並預測基於競賽（先證明者獲勝）或挖礦（先證明者獲勝，模數隨機性）的設計不會帶來好的結果。她說，設計目標應該依次是：最小的成本、最大的延遲和抗審查性。她預測，發行/質押模式可能會奏效，但拍賣模式最有可能勝出，最終可能看起來像今天的區塊構建一樣。她說，Succinct 正在建立一個通用的拍賣網絡，用於支持多個 zkVM 的證明，而不僅僅是 Succinct 自己的 SP1，例如 Jolt/Lasso。
• 耶魯大學博士生 Wenhao Wang 談到了一篇關於證明者網絡經濟學的新論文，該論文是在演講當天上午發表的，該論文是他與 Ben Fisch（Espresso s）和 Ben Livshits（Matter Labs）合作撰寫的。Wenhao 提到，雙邊拍賣很容易受到證明者和競標者之間勾結的影響，他們引入了一種稱爲 Proo-phi 的替代機制，引入了新的匹配交易和證明機制。Proof-phi 需要設置容量參數，這似乎是一個關鍵的開放式設計問題。
• TACEO 的聯合創始人兼首席技術官 Daniel Kales 談到了支持多方計算（MPC）的證明市場，特別是使用 MPC 來維護具有私密見證者的小型客戶和去信任的大型證明者之間的隱私。他談到了我們如何選擇證明系統的組合來進行線性運算（如 Fast Fourier Transform 算法），這些運算在 MPC 中相對便宜，並且可以最小化成本。

ZK 憑證

三場不同的活動討論了從現有身份系統中構建零知憑證的努力。每一個都依賴於不同的現有身份系統。

• ZK Email 的聯合創始人 Aayush Gupta 和 Sora Suegami 談到了 ZK 電子郵件地址所有權證明。這些依賴於證明對發送到特定地址的電子郵件的 DKIM 簽名的知識，並且 DKIM 已被主要電子郵件提供商廣泛部署（儘管主要作爲反垃圾郵件措施）。許多應用程序都可以通過 ZK 證明用戶是否控制電子郵件地址，包括向電子郵件地址匯款，以及匿名舉報等應用。
• Aptos Labs 的研究科學家 Alin Tomescu 談到了 Aptos Keyless，它使用 OpenID connect 與傳統的 web2 身份進行交互。OpenID connect 是一種支持 “使用 Facebook、Google 等登錄” 第三方網站的技術。Aptos Keyless 與現有的 OpenID 提供商交互，並證明用戶控制給定地址，從而使得類似向 Google 或 Facebook 帳戶匯款的應用成爲可能。
• zkPassport 的 Michael Elliot 和 Derya Karli 討論瞭如何從現有電子護照構建匿名憑證。例如，用戶可以證明他們持有美國護照並且年滿 25 歲，但無需透露他們的護照號碼或確切年齡。