KeyFrame內部研究專用

What Should the Scope of the Web3 Audit Look Like?, Denis Ivanov - DeFi Security Summit 2022

DeFi Security Summit - DSS·10月24日週一·4 min英文

三句話摘要

Web 3 審計服務的定義缺失與利益相關者期望落差問題。 建立統一的審計標準和正確命名是解決 Web 3 審計行業期望落差的關鍵,需透過業界聯盟推動行業規範化。 命名危機與期望管理:行業一致認為"審計"一詞不準確,建議改用"代碼審查"或"風險評估"。社區對審計的理解是項目100%安全,但這在現實中無法達成,導致每次漏洞都被歸咎於審計員,即便漏洞不在工作範圍內。

重點整理

重點
  • 1

    命名危機與期望管理:行業一致認為"審計"一詞不準確,建議改用"代碼審查"或"風險評估"。社區對審計的理解是項目100%安全,但這在現實中無法達成,導致每次漏洞都被歸咎於審計員,即便漏洞不在工作範圍內。

  • 2

    利益相關者期望衝突:社區期望快速、低成本、無瑕疵的完整保障;開發者只願對自己審核的代碼部分負責;營銷為吸眼球誇大審計重要性,製造不實期望。

  • 3

    行業標準全面缺失:沒有定義最低工作時數、必檢項目、工具要求或方法論標準,導致任何人都能聲稱進行審計,品質差異巨大卻無人監管。

  • 4

    責任邊界模糊:安全事件發生時責任歸屬不清,需透過以太坊企業聯盟建立正式標準,明確界定審計員的責任邊界與服務範圍。

實用技巧與重點

乾貨
  • 各方期望衝突:社區→100%安全、快速、低成本;審計師→只對審核範圍內負責
  • 行業標準缺失:無明確最低工作範圍、檢查項目清單、所需時間或工具規定
  • 命名問題:建議改用"代碼審查"、"風險評估"取代"審計"
  • 現狀:任何人可聲稱提供審計,無資格審查或工具強制要求
  • 解決方案:加入以太坊企業聯盟討論小組,制定行業最低標準與正確命名

結論

結論

建立統一的審計標準和正確命名是解決 Web 3 審計行業期望落差的關鍵,需透過業界聯盟推動行業規範化。

完整解析

詳細

Dennis Ivanov 在演講中揭示了 Web 3 審計行業的一個根本性矛盾:連審計師自己都無法定義什麼是"審計"。這個問題的關鍵在於,不同的利益相關者對審計服務有完全不同且互相衝突的期望。

社區對審計最純樸但也最不切實際的期望是:經過審計的項目應該 100% 安全。他們不會深入了解工作範圍或技術限制,只是相信審計公司和項目本身。與此同時,他們期望這一切能快速、低成本完成。但審計師本身的立場不同——他們只想對自己審核的那段代碼負責,並且明確設定工作邊界。營銷團隊則為了製造關注度而誇大審計的意義,將其當作社群新聞事件宣傳,進一步強化了不實期望。

更根本的問題是缺乏行業標準。沒有明確規定什麼是最低工作範圍、應檢查哪些項目、需投入多少時間,也沒有強制使用的工具或方法論。這意味著任何人明天都可以成立自己的審核公司,聲稱花兩分鐘不用任何工具就能完成審核,而沒有人能阻止他們。這導致了一個混亂的局面,每個所謂的"審計"都被等量齊觀地貼上同樣的標籤,儘管品質天差地別。

當安全漏洞出現時,這個問題變得尤其嚴重。社區傾向於自動指責審計員,但如果該漏洞並不在審計的工作範圍內,這種責任指派就不公平。Ivanov 的解決方案是推動行業組織化。他鼓勵審計員加入以太坊企業聯盟,透過正式討論小組來制定行業的最低工作範圍標準,並就如何正確命名這項服務達成一致。透過建立清晰的定義和標準,可以有效調和各方期望,明確責任邊界,提升整個行業的專業性和可信度。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「Web3 安全」的內容

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️
8 min
Web3 安全英文8月14日

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️

Zach Humphries

  • 機構支撐的積極意義:價格操縱常被視為負面,但Ripple掌握大量XRP供應與escrow,在熊市期間提高價格下限,實際上替零售投資者鎖定了低風險的積累區間,這不是剝削而是市場穩定機制。
  • 歷史模式驗證:2024年7月至11月XRP在50美分附近橫盤整理,低點觸及42美分(wick),高點65美分;隨後11月5日至12月5日單月上漲456%,年底到2025年初累計漲幅534%,這個歷史周期正在1美元價位重演。
  • 比特幣聯動邏輯:講者在4-5月就預測「如果比特幣跌至60k以下,XRP會跌至1美元或更低」,此預測精準應驗,反映出熊市中兩者的明確連動關係。
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
72 min
Web3 安全英文PODCAST8月5日

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Zero Knowledge

  • 反向 Linux 架構:Commonware 刻意暴露棧各層級控制,讓開發者自訂執行環境、共識機制、密碼學實現,而非像 Cosmos SDK 只允許應用層以上定制。2-3 個月能組裝一條定製鏈,代價是額外深度但回報是長期維護成本降低及效能優化彈性。
  • 容錯假設的典範轉移:Alpine Glow(Solana 2025)實現單輪投票定終的關鍵是將容錯預算分離為獨立的 Byzantine 和 Crash 容限。傳統系統把 33% 當一個整體預算;新模型允許 20% 惡意加 20% 崩潰,打破了 PBFT 理論界線,釋放單輪設計空間。
  • Minimet 與 Multimet 的遞進:Minimet 是 5F+1 設定下的乾淨構造,實現更短視圖延遲;Multimet(剛發布)進一步允許並行 mini-commits 且驗證者可推翻領導者審查,使用者交易在全球分布式網路達到 200-300 毫秒端到端定終。
Private Information Retrieval (PIR) with Alex Hoover
64 min
Web3 安全英文PODCAST7月29日

Private Information Retrieval (PIR) with Alex Hoover

Zero Knowledge

  • PIR 保護的是訪問模式,不是資料本身
  • PIR 與加密不同,它關注的是隱藏「客戶端查詢了什麼」,而非「資料是否加密」。在公開資料庫(如區塊鏈)上,客戶端可以在不洩露查詢對象給伺服器的情況下檢索特定條目,解決了輕量級客戶端的隱私和防審查問題。
  • 客戶端預處理方案是突破瓶頸的關鍵