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
  • 未來展望
  • 參考文獻
智能合約安全分析工具賽道研究報告:不止面向開發者,觸角更是抵達 C 端用戶-Web3Caff Research

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

开通 PRO 会员

Please login to comment
0 评论
Inline Feedbacks
View all comments
相關研報
以太坊 Layer 2 賽道萬字研報:全景式拆解其擴容方案、技術原理、生態應用與未來挑戰
以太坊賬戶抽象方案 ERC-4337 最新過審方案研究報告:Web3 用戶體驗之戰,DApp 若不兼容或將錯失下一時代
比特幣 Layer 2 賽道研究報告:全景式拆解其擴容方案、技術原理、生態應用與未來挑戰
比特幣 NFT 協議 Ordinals 萬字研報:比特幣生態的關鍵里程碑?全景式拆解其構成背景、技術原理、生態現狀與未來挑戰
NFT 交易聚合器 Blur 萬字研報:NFT 市場 “新霸主” 鋒芒展露,變局時刻已到?
以太坊新分片方案 Danksharding 及 EIP-4844 萬字研報:全新公鏈敘事已來?白話解讀「區塊鏈不可能三角」的變革性解決方案
推薦研報
PRO
融資週評:Radix 為 DeFi 打造 Layer1 區塊鏈、以太坊再質押協議 EigenLayer 拉起新敘事、論智能合約錢包 Versa、專注奇異期權的 DeFi 衍生品協議 Cega 入場、Web3 中間件平台 Particle Network …
PRO
市場風向周評:全鏈遊戲賽道風起、zkSync Era∎ 推出首個 zkEVM 主網,開啟 ZK & OP Rollup 全面較量時代、論 ERC-4804 成為 Web3 URL 訪問標準、美國國會為何支持比特幣挖礦…
PRO
融資週評:Soul Wallet 以「賬戶抽象」切入 Web3 錢包、Smooth 能否提升 5 倍 Layer2 和應用鏈性能、論資產跨鏈協議 TeleportDAO、NFT 社交化平台 Metalink 入場、CCP Games 能否加速 3A 鏈遊時代到來
PRO
以太坊 Layer 2 賽道萬字研報:全景式拆解其擴容方案、技術原理、生態應用與未來挑戰
PRO
市場風向周評:Filecoin 推出 FVM 進擊公鏈賽道、以 USDC 事件論 Web3 金融擠兌、OpenAI 推出 GPT-4 將如何影響 Web3、論 Euler Finance 被黑事件與安全審計
PRO
以太坊賬戶抽象方案 ERC-4337 最新過審方案研究報告:Web3 用戶體驗之戰,DApp 若不兼容或將錯失下一時代
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
Pinterest
Tumblr
Skype
Buffer
Pocket
VKontakte
Parler
Xing
Reddit
Line
Flipboard
MySpace
Delicious
Amazon
Digg
Evernote
Blogger
LiveJournal
Baidu
MeWe
NewsVine
Yummly
Yahoo
WhatsApp
Viber
SMS
Telegram
Facebook Messenger
Like
Email
Print
Copy Link
Powered by Social Snap
Copy link
CopyCopied
Powered by Social Snap