← 回到 DEVCON 8

L2BEAT 宣布更名 ETHBEAT,推出以太坊專案的 CROPS 評選指南

The Michelin Guide for CROPS

場次摘要

Luca 宣布 L2BEAT 更名為 ETHBEAT,研究範圍從第二層網路擴展至跨鏈橋、代幣與隱私協議。他強調,擴容應延續以太坊不必信任中介、無須許可的特性,而不只是增加交易處理量。團隊以減少中介依賴為方向,推出類似米其林指南的專案評選,協助使用者理解應用需要信任哪些角色。 指南以 CROPS,也就是抗審查、開源或開放性、隱私與安全為評估面向。團隊檢查繞過交易審查的機制、重現零知識證明的驗證資料,也追蹤錢包與網路資訊洩漏。首批名單已公布,但透明應用不會被標為具備隱私。安全評估仍在探索:程式碼年齡指標依賴歷史攻擊資料,審計差異比對功能則尚未發布。

值得記下的 5 件事

  1. [18:00]
    首批名單已公布,透明應用另作標示 Luca 列出 Tornado Cash、Uniswap V3、Safe 多重簽章錢包與 Uniswap V2,並說明後三者在隱私面向標示為透明,而非具備隱私保護

    團隊希望藉首批名單呈現入選門檻,也邀請符合 CROPS 理念的專案申請評估。

  2. [6:00]
    抗審查不能只看有沒有強制交易機制 Luca 說,強制交易機制讓使用者能繞過中心化的交易排序者,但不同設計仍有等待時間,不能把它等同於即時抗審查

    團隊也分析去中心化排序,檢查它是否真的提供顯著的抗審查能力。

  3. [9:40]
    公開原始碼之外,還要能重現鏈上驗證資料 Luca 指出,僅憑鏈上的驗證金鑰或程式雜湊,無法反推出零知識證明實際驗證的程式,團隊因此嘗試從原始碼重現這些資料

    他說,曾在 Semaphore 發現 Circom 編譯器讓相同程式碼產生不同驗證金鑰的問題;團隊也公開重現步驟,讓讀者自行查驗。

  4. [11:40]
    隱私評估也要檢查錢包與網路資訊洩漏 Luca 說,團隊不只檢查鏈上智慧合約,也追蹤使用者如何存取協議

    他以 Zama 為例,說明可利用存入金額與交易關係推算加密金額的範圍,有時甚至能推得確切值;此外,可供混淆身分的使用者或交易太少,也可能削弱實際隱私。

  5. [14:40]
    程式碼年齡指標不是安全保證,審計比對仍在開發 Luca 說,團隊依歷史攻擊發生時的程式碼年齡建立初步指標,分數會隨資料集更新,不能解讀為未來免於攻擊的機率

    他們也正比對審計涵蓋的檔案、版本與鏈上程式碼,但功能尚未發布,且承認目前發現的差異可能涉及研究方法問題。

下載摘要 下載 Word 摘要(.docx)

更多來自 DEVCON 8

訂閱