約瑟夫·博諾報道了在雅典舉行的第11屆零知識高峰會（zkSummit）的現場筆記。活動由零知識播客主辦，約有500名參與者，進行了四場演講。博諾報告的內容包括最新的零知識硬體、SNARK效能和拍賣網路設計。討論了對Jolt的回饋，以及以太坊基金會宣布的對證明者和驗證者進行正式驗證的競賽。其他演講包括關於證明者網路經濟學、多方計算證明市場和建構零知識機制的努力。活動涵蓋了各種領域，展示了零知識技術的最新進展。
原文標題：零知識高峰會（zkSummit）2024：現場筆記
作者：約瑟夫·博諾
發佈日期：4.13.2024
編按：Field Notes 是一個系列，我們在業界、研究和其他活動中實地報道。在本期中，a16z 加密貨幣研究合作夥伴兼紐約大學重要助理教授Joseph Bonneau 參加了4 月10 日在周三雅典舉行第11屆零知峰會（zkSummit），並記錄了筆記。該活動由零知識播客主辦，大約有500名參與者，並在一天內同時進行了四場演講。以下是Bonneau報告的摘要，報告了最新的零知硬體、SNARK性能和拍賣網絡設計，包括一些對Jolt的反饋，這是a16z加密貨幣研究和工程師團隊對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，例如搖晃/套索。耶魯大學博士生王文浩講了一篇關於論證者網絡經濟學的新論文，該論文是在演講當天上午發表的，該論文是他與Ben Fisch（Espresso Systems）和Ben Livshits（Matter Labs）合作撰寫文浩提到，雙邊拍賣很容易受到證明者和競標者之間勾結的影響，他們引入了一種名為Proo-phi 的替代機制，引入了新的匹配交易和證明機制。 Proof-phi 需要設定容量參數，這似乎是開放式設計的關鍵問題。 TACEO 的共同創辦人兼技術長Daniel Kales 演講支持多方計算（MPC）的證明市場，特別是使用MPC 來維護註冊者的小型客戶和去信任的大型證明者之間的隱私。到了我們如何選擇證明系統的組合來進行線性損傷（如快速傅立葉變換演算法），這些損傷在MPC 中相對便宜，並且可以最小化成本。
ZK依賴
三場不同的活動討論了從現有身分系統中建構零感知機制的努力。每個都依賴不同的現有身分系統。
ZK Email 的共同創辦人Aayush Gupta 和Sora Suegami 談到了ZK 電子郵件地址驗證。這些依賴於對發送到特定地址的電子郵件的DKIM 簽名的知識的證明，並且DKIM 已被主要電子郵件廣泛部署（許多應用程式都可以透過ZK證明用戶是否控制電子郵件地址，包括向電子郵件地址匯款、匿名舉報等應用程式。 Aptos Labs 的研究科學家Alin Tomescu 談到Aptos Keyless，它使用OpenID connect 與傳統的web2 身分進行互動。 Aptos Keyless 與現有的OpenID 發生交互，並證明用戶控制給定地址，從而使得類似向Google 或Facebook 帳戶轉賬的應用成為可能。例如，用戶可以證明他們持有美國護照並且年滿25 歲，但無需了解他們的護照號碼或未知年齡。
資訊來源：0x資訊編譯自網際網路。版權歸作者DAOSquare所有，未經許可，不得轉載