KeyFrame內部研究專用

dApp Security: Creating a Trusted Web3 Space — Mike Krupin | Blockscout

Web3 Security Summit·8月9日週五·11 min英文

三句話摘要

BlockScout 如何透過鏈上安全分析與 DApp 市集,讓普通用戶在與智能合約互動前評估協議安全等級。 在資產操作前,透過聚合鏈上合約漏洞掃描與鏈下聲譽評分的 DApp 市集,是目前最可行的「讓非技術用戶自保」解法。 DeFi 智能合約是最高風險目標:Chainlink 統計顯示駭客次數雖略降,但每年被盜總額幾乎持平,DeFi 平台因智能合約攻擊損失近 2 億美元,形勢未改善。

重點整理

重點
  • 1

    DeFi 智能合約是最高風險目標:Chainlink 統計顯示駭客次數雖略降,但每年被盜總額幾乎持平,DeFi 平台因智能合約攻擊損失近 2 億美元,形勢未改善。

  • 2

    BlockScout 的定位是安全資訊聚合器,非開發者工具:目標用戶是一般零售用戶,讓他們在操作錢包前,能在同一個介面看到某協議的安全評分、漏洞類別與已驗證合約數,降低決策風險。

  • 3

    Solidity Scan 作為核心分析引擎:BlockScout 直接串接 Solidity Scan 的 API,自動抓取並分析已驗證智能合約的漏洞,再按類別聚合到 DApp 層級,讓用戶不需自行讀合約即可理解風險。

  • 4

    聲譽系統引入 Sybil 抵抗機制:計畫中只有實際與特定 DApp 互動過的地址才能留評,並結合 EigenTrust/OpenRank 等鏈上社會圖排序,讓 Vitalik 等高聲譽地址的評論排在前面。

實用技巧與重點

乾貨
  • 數字:Merket Finance 智能合約攻擊,損失 3,100 萬美元
  • 來源統計:Chainlink 數據顯示每年被盜總額「year by year 持平」,駭客次數略降
  • DeFi 平台智能合約攻擊損失提及 約 2 億美元(逐字稿原文 "almost 2 million dollar",疑為演講口誤,依上下文應為更大量級)
  • 分析工具:Solidity Scan(智能合約漏洞掃描平台,按漏洞類別分類輸出)
  • 演講中提及另一競品分析工具:Slither("similar to Solidity Scan")
  • 聲譽系統參考方案:EigenTrust / OpenRank
  • 目前安全資訊已上線鏈:Optimism、Gnosis Mainnet、Base、Zeta Chain、Light Link
  • 計畫擴展:Mode Network、ETC(Ethereum Classic)
  • DApp 介面功能:漏洞類別數量、已驗證合約數、合約總數、社交連結、直接互動入口
  • 後續計畫:加入審計報告資訊、漏洞類別詳細說明

結論

結論

在資產操作前,透過聚合鏈上合約漏洞掃描與鏈下聲譽評分的 DApp 市集,是目前最可行的「讓非技術用戶自保」解法。

完整解析

詳細

Web3 的安全問題並未因產業成熟而改善。根據 Chainlink 的統計數據,儘管近年駭客事件次數略有下降,每年被盜的資產總額卻幾乎維持不變,主要攻擊向量集中在 DeFi 平台,而 DeFi 平台中最常被利用的弱點就是智能合約本身。演講者以 Merket Finance 事件為例:協議 Telegram 群組中有開發者透露遭到漏洞攻擊,駭客聲稱已取得合約控制權,隨後又改口「只是示範,不會真的提款」,但最終資金仍被捲走,損失高達 3,100 萬美元。事後無人理解這些開發者為何擁有如此大的合約控制權,正是這種資訊不透明讓用戶無從預警。

BlockScout 本身是一個廣泛使用的開源區塊鏈瀏覽器,許多鏈在部署自己的網路時都直接採用其代碼,或與 BlockScout 團隊合作管理基礎設施。在此基礎上,BlockScout 正在打造一個 DApp 市集(Marketplace),目標不是服務智能合約開發者或安全研究員,而是讓完全不懂合約的普通用戶,能在把資產轉入某個協議之前,一眼看出這個協議的安全狀況。

技術實作上,BlockScout 串接 Solidity Scan 自動掃描並分析已驗證的智能合約,將漏洞按類別聚合到 DApp 層級後顯示在市集介面中。用戶可以看到某個協議共有多少已驗證合約、合約總數,以及各類漏洞的數量。若想深入了解,可以進入單一合約頁面查看完整的 Solidity Scan 分析報告。演講者也提到未來計畫整合第三方審計資訊,並增加每個漏洞類別的詳細說明,讓非技術用戶也能讀懂。目前這套安全資訊功能已在 Optimism、Gnosis Mainnet、Base、Zeta Chain、Light Link 等鏈的市集上線,並計畫延伸至 Mode Network 與 Ethereum Classic。

除了鏈上合約分析外,BlockScout 也在開發 鏈下聲譽系統:只有真正與某 DApp 互動過的錢包地址才能留下評分與評論,再透過類似 EigenTrust 或 OpenRank 的社交圖演算法,讓高聲譽地址(例如 Vitalik 等在社群中被廣泛信任的帳戶)的評論優先顯示,以此過濾機器人與虛假好評,讓市集的安全評分更貼近真實用戶經驗。

關鍵時刻

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