L2BEAT 宣布更名 ETHBEAT,推出以太坊專案的 CROPS 評選指南
The Michelin Guide for CROPS
場次摘要
Luca 宣布 L2BEAT 更名為 ETHBEAT,研究範圍從第二層網路擴展至跨鏈橋、代幣與隱私協議。他強調,擴容應延續以太坊不必信任中介、無須許可的特性,而不只是增加交易處理量。團隊以減少中介依賴為方向,推出類似米其林指南的專案評選,協助使用者理解應用需要信任哪些角色。 指南以 CROPS,也就是抗審查、開源或開放性、隱私與安全為評估面向。團隊檢查繞過交易審查的機制、重現零知識證明的驗證資料,也追蹤錢包與網路資訊洩漏。首批名單已公布,但透明應用不會被標為具備隱私。安全評估仍在探索:程式碼年齡指標依賴歷史攻擊資料,審計差異比對功能則尚未發布。
值得記下的 5 件事
- [18:00]
首批名單已公布,透明應用另作標示 Luca 列出 Tornado Cash、Uniswap V3、Safe 多重簽章錢包與 Uniswap V2,並說明後三者在隱私面向標示為透明,而非具備隱私保護
團隊希望藉首批名單呈現入選門檻,也邀請符合 CROPS 理念的專案申請評估。
- [6:00]
抗審查不能只看有沒有強制交易機制 Luca 說,強制交易機制讓使用者能繞過中心化的交易排序者,但不同設計仍有等待時間,不能把它等同於即時抗審查
團隊也分析去中心化排序,檢查它是否真的提供顯著的抗審查能力。
- [9:40]
公開原始碼之外,還要能重現鏈上驗證資料 Luca 指出,僅憑鏈上的驗證金鑰或程式雜湊,無法反推出零知識證明實際驗證的程式,團隊因此嘗試從原始碼重現這些資料
他說,曾在 Semaphore 發現 Circom 編譯器讓相同程式碼產生不同驗證金鑰的問題;團隊也公開重現步驟,讓讀者自行查驗。
- [11:40]
隱私評估也要檢查錢包與網路資訊洩漏 Luca 說,團隊不只檢查鏈上智慧合約,也追蹤使用者如何存取協議
他以 Zama 為例,說明可利用存入金額與交易關係推算加密金額的範圍,有時甚至能推得確切值;此外,可供混淆身分的使用者或交易太少,也可能削弱實際隱私。
- [14:40]
程式碼年齡指標不是安全保證,審計比對仍在開發 Luca 說,團隊依歷史攻擊發生時的程式碼年齡建立初步指標,分數會隨資料集更新,不能解讀為未來免於攻擊的機率
他們也正比對審計涵蓋的檔案、版本與鏈上程式碼,但功能尚未發布,且承認目前發現的差異可能涉及研究方法問題。
更多來自 DEVCON 8
Arrow 的硬體 DAO 實驗:AI 協作、在地製造與責任分工
A DAO Shipped an Aircraft: What It Takes to Coordinate Atoms with Tokens
Thomas Garrison
Kohaku:以 SDK 將隱私與安全功能帶入以太坊錢包
Kohaku : privacy for everyone, by default
Nico、Vitalik
私密區塊鏈的取捨:隱私、去中心化與合約協作
Private State, Public Network: The Tradeoffs Behind Privacy
Zachary Williamson