KeyFrame內部研究專用

SCDS - Smart Contract Diagram Standard

DeFi Security Summit - DSS·11月24日週一·5 min英文

三句話摘要

智能合約安全審計中的圖表混亂問題,及一套最小化機器可讀圖表標準(CDS)提案。 把複雜圖表拆成多張聚焦子圖、每圖不超過 9 個概念,是讓審計報告圖表立即從「看不懂」變「一目瞭然」的最小有效動作。 現有圖表失效的根本原因:工程師繪圖時以技術細節為導向,而非以讀者理解為導向,導致審計報告中的圖表資訊密度過高,令閱讀者困惑而非獲益。

重點整理

重點
  • 1

    現有圖表失效的根本原因:工程師繪圖時以技術細節為導向,而非以讀者理解為導向,導致審計報告中的圖表資訊密度過高,令閱讀者困惑而非獲益。

  • 2

    業界調查揭示三個共通現象:圖表多為特定用途(架構審查、資料流、控制流);風格極端,要麼過細要麼過粗;許多人有興趣用 AI 代理自動化生成並使圖表具備機器可讀性。

  • 3

    CDS 標準的兩大目標:一是提供有主見的規則,明確定義智能合約圖表中節點與邊的類型;二是提供對應的 JSON 語義編碼規範,使圖表可由 AI 生成、摘要,並在其他工具中渲染。

  • 4

    分層圖表是最直接可落地的改善:單一大圖拆解為多張聚焦子圖,每張圖的概念或物件數量維持在 7–9 個上限,可大幅降低認知負擔。

實用技巧與重點

乾貨
  • 每張圖表的概念/物件上限:7–9 個
  • 標準名稱:CDS(Consensus Diligence Standard)
  • 提案發布平台:Ethereum Magicians Forum
  • 編碼格式:JSON(語義模型的規範編碼)
  • 圖表節點/邊類型:參考 JavaScript Solidity 解析器輸出的通用化版本
  • 生成方式:可由 AI 代理從合約 artifact 自動建立 → 摘要 → 渲染至外部工具
  • 適用圖表類型:通用架構審查、資料流(Data Flow)、控制流(Control Flow)

結論

結論

把複雜圖表拆成多張聚焦子圖、每圖不超過 9 個概念,是讓審計報告圖表立即從「看不懂」變「一目瞭然」的最小有效動作。

完整解析

詳細

智能合約安全審計依賴圖表來傳達系統架構,但現實情況往往令人沮喪。講者 George 來自 Consensus Diligence,他以自己最近繪製的一張圖為例:原本想強調某個合約在系統中的核心地位,最終卻變成一團難以辨識的箭頭網絡。這個問題並非個案——審計報告中充斥著以工程師視角繪製的圖表,技術細節齊全,但閱讀者(包括客戶、審計員、其他工程師)卻無從找到重點。

為了找出解法,George 訪談了多位開發者與審計員,也研究了一般軟體行業的圖表實踐。他歸納出三個共通現象:圖表通常有明確的目標用途(如架構審查、資料流分析)但最終跑偏;風格上要麼過於細緻要麼過於概略,缺乏中間地帶;以及越來越多人希望借助 AI 代理自動化生成圖表,並讓圖表具備機器可讀性。其他軟體行業的啟示是:好的圖表標準需要有明確觀點,不能只提開放性建議,因為工程師在沒有約束的情況下本能地往技術細節鑽。

基於此,George 提出了 CDS(Consensus Diligence Standard)——一套最小化的機器可讀智能合約圖表標準,並已在 Ethereum Magicians Forum 發布提案。標準的核心有兩點:第一,針對智能合約領域定義有主見的節點與邊的類型規則,讓繪圖者有具體遵循依據;第二,提供 JSON 語義編碼規範,使圖表結構可由 AI 從合約 artifact 自動生成,再經 AI 代理摘要,最終在各種工具中渲染顯示。這讓圖表從「人工手繪」走向「人機協作」。

最實用的建議則是分層圖表策略:不要試圖在一張圖上說清楚所有事,而是把一個複雜系統拆解為多張各有焦點的子圖,並嚴格控制每張圖的概念或物件數量在 7–9 個以內。這個上限來自認知心理學的工作記憶容量研究,超過這個數字人腦就難以有效處理。講者認為這是目前每位審計員都可以立即採用的最直接改善手段。

關鍵時刻

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