零知識峯會2024：實地觀察

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

零知識硬件

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

某研究員對零知識硬件進行了全面概述，包括使用通用硬件的公司、制造定制硬件的公司以及運營去中心化證明網路的公司。他預測，借助硬件優化的SNARK驗證系統等技術，zkVM可能實現1000倍的計算效率提升，這可能對以太坊的未來版本產生重大影響。他還提到，大多數證明可能會採用Groth16包裝。

另一位專家討論了同時設計證明系統和硬件的概念。他們的系統使用二進制塔場和sumcheck協議。初步測試顯示，在某些應用中，Groestl哈希函數的性能明顯優於Keccak。

去中心化證明者網路

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

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

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

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

零知識憑證

會議還討論了從現有身分系統構建零知識憑證的努力：

• 一個項目致力於開發零知識電子郵件地址所有權證明，依賴於對DKIM籤名的知識證明。
• 另一個項目使用OpenID connect與傳統web2身分進行交互，使得向Google或Facebook帳戶匯款等應用成爲可能。
• 第三個項目探討了如何從現有電子護照構建匿名憑證，例如證明持有特定國家護照和年齡，而無需透露具體信息。

這些進展展示了零知識證明技術在身分驗證和隱私保護方面的巨大潛力，爲未來的應用開闢了新的可能性。