Web3Caff Research
  • 發現
  • 研究專欄
    • 研究報告
    • 投融周評
    • 風向周評
    • 精進指南
    • 零壹指南
  • 數據產品
    • Web3 項目融資數據庫
  • 成員夥伴
  • 開通 PRO 會員(註冊)
  • 會員登錄
  • 更多
    • 會員社群
    • Twitter
    • 研究員招募
    • 與我們聯絡
    • 繁體中文
      • 简体中文
PRO

智能合約安全分析工具賽道研究報告:不止面向開發者,觸角更是抵達 C 端用戶

1 2 月, 2023 0

根據慢霧科技發布的《2022 區塊鏈安全與反洗錢分析年度回顧》報告,2022 年安全事件共 303 件,損失高達 37.77 億美元。雖然今年的安全事件損失金額相比 2021 年的 97.95 億美元下降約 61%。但是在被攻擊事件中,智能合約漏洞仍然是重災區,原因是智能合約具有一旦部署上線,便立即生效,不能隨意改變的特性。因此智能合約審計,是每個項目上線前都需要進行的流程操作,即使是上線後,項目方也需要不斷監測項目情況,以便對意外情況及時做出反應,減少損失。

因為區塊鏈的黑暗森林法則,區塊鏈安全賽道也成為了資本重點關注的方向,同時智能合約安全分析工具這個分支賽道已經成為安全解決方案公司的競爭重點,比如近期 MetaTrust 就剛完成了約一千萬美元的種子輪融資,旨在為用戶提供全智能合約自動掃描服務。由此可見,整個區塊鏈安全市場都在朝著工具掃描與人工審計相結合的方向前進。那麼智能合約安全分析工具當前賽道的發展現狀如何,這些項目有哪些特性,當前存在哪些問題,未來發展如何演變… 帶著這些問題,本份研報為你逐項論述。

作者:Sissice,Web3Caff Research 研究員(研究方向為 Web3 及區塊鏈安全)

封面: Photo by Resource Database on Unsplash

字數:本份研報超 6500 字,預計閱讀時長 13 分鐘

目錄

  • 傳統安全和 Web3 安全的區別
  • 為什麼需要進行智能合約審計
  • 智能合約審計的流程
  • 智能合約分析工具的利弊
  • 智能合約部署前的安全分析
    • 自動分析方法
      • 靜態分析
      • 模糊測試
      • 符號執行
      • 形式化驗證
    • 開源工具
      • Slither
      • Echidna
      • Manticore
    • 安全服務公司
      • Certik
      • ConsenSys Dilligence
      • Quantstamp
      • 成都鏈安
  • 智能合約部署後的安全分析
    • Certik
    • Tenderly
    • Harpie
    • Go Plus
    • MistTrack
  • 未來展望
  • 參考文獻

隱藏內容,Web3Caff Research 订阅会员可見

开通 PRO 会员

Please login to comment
0 评论
Inline Feedbacks
View all comments
相關研報
比特幣 RGB 協議萬字研報:面向閃電網路和智能合約,能否引領新一輪技術變革? 全景式拆解其發展歷史、技術原理、生態現狀與 5 大風險挑戰
Intent-Centric 賽道萬字研報:「以意圖為中心」架構能否成為 Web3 大規模採用新引擎? 全景式拆解其概念原理、模組矩陣、生態現狀與未來挑戰
DeFi 利率衍生品賽道研究報告:CLOB、vAMM、債券 AMM、全鏈流動性等機制能否迎來新一輪鏈上繁榮? 全景式拆解其構成原理、交易機制、生態現狀與未來展望
ZK Bridge 賽道萬字研報:能否全面提升跨鏈橋隱私與安全性?全景式拆解其發展背景、技術原理、生態現狀與未來挑戰
全鏈遊戲賽道萬字研報:應用層爆發將在 Web3 原生遊戲中發生?全景式拆解其發展史、遊戲引擎、生態現狀與未來挑戰
Layer3 賽道萬字研報:走向獨立發展還是融合之路?全景式拆解其概念構想、技術原理、生態現狀與未來挑戰
推薦研報
PRO
市場風向週評:模組化 L2 區塊鏈 Eclipse 推出主網架構有何優勢、混合型 zk Rollup 隱私網絡 Aztec 迎來新進展、論 opBNB 推出主網、以太坊 ERC-7512 標準提案能否帶來智能合約審計新變革?
PRO
比特幣 RGB 協議萬字研報:面向閃電網路和智能合約,能否引領新一輪技術變革? 全景式拆解其發展歷史、技術原理、生態現狀與 5 大風險挑戰
PRO
融資周評:RWA 信貸協議 Helix 入場、論 Web3 原生 IP 基礎設施 Story Protocol、Mountain Protocol 引入基於質押模型的 Stablecoin 協議、跨鏈互操作性協議 Socket Protocol 能否有效破局、Glenen AI 能否提升 Web3 社群運營效率、GAM3S.GG 進擊 Web3 遊戲聚合與發行 …
PRO
市場風向周評:論 MetaMask Snaps 的推出有何價值、解讀入選以太坊基金會 Grant 的 18 個「賬戶抽象」項目、Polygon 佈局 Web2 再下一城、Intent-Centric 敘事風起
PRO
Intent-Centric 賽道萬字研報:「以意圖為中心」架構能否成為 Web3 大規模採用新引擎? 全景式拆解其概念原理、模組矩陣、生態現狀與未來挑戰
PRO
融資周評:閃電網路流動性質押協定 Stroom 入場、Web3 內容分發層 Tako 推出新經濟模型、Deform 進擊 Web3 原生 CRM、另類 NFT 市場 FirstMate 能否勝出、BuidlerDAO 能否讓 DAO “寒冬” 枯木生新芽
Copyright © 2023 Web3Caff Research. All Rights Reserved 海南外浦联动科技有限公司 增值电信业务许可证:琼B2-20230077 琼ICP备2022015754号 琼公网安备46902302000732号丨人才招募丨联系我们
搜尋
  • 發現
  • 研究專欄
    • 研究報告
    • 投融周評
    • 風向周評
    • 精進指南
    • 零壹指南
  • 數據產品
    • Web3 項目融資數據庫
  • 成員夥伴
  • 開通 PRO 會員(註冊)
  • 會員登錄
  • 更多
    • 會員社群
    • Twitter
    • 研究員招募
    • 與我們聯絡
    • 繁體中文
      • 简体中文
wpDiscuz
Comment Author Info
  • Web3Caff Research
忘記密碼?
丟失密碼?請輸入你的用戶名或電子郵件地址。您將通過電子郵件收到一個創建新密碼的鏈接。
:wpds_smile::wpds_grin::wpds_wink::wpds_mrgreen::wpds_neutral::wpds_twisted::wpds_arrow::wpds_shock::wpds_unamused::wpds_cool::wpds_evil::wpds_oops::wpds_razz::wpds_roll::wpds_cry::wpds_eek::wpds_lol::wpds_mad::wpds_sad::wpds_exclamation::wpds_question::wpds_idea::wpds_hmm::wpds_beg::wpds_whew::wpds_chuckle::wpds_silly::wpds_envy::wpds_shutmouth:
Share via
Facebook
Twitter
LinkedIn
Mix
Email
Print
Copy Link
Copy link
CopyCopied