原文標題：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 Systems）和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 歲，但無需透露他們的護照號碼或確切年齡。