一分鐘讀懂
快速洞察
Web3 安全中訊號量最高的重點影片,由新到舊排序。
373 KeyFrames
8 min72 min64 min5 min14 min18 min50 min7 min6 min11 min8 min13 min11 min8 min3 min7 min7 min7 min8 min6 min6 min25 min19 min52 min58 min15 min31 min86 min39 min6 min88 min10 min8 min7 min5 min3 min3 min3 min27 min9 min10 min38 min3 min6 min22 min48 min12 min44 min3 min7 min5 min21 min11 min30 min8 min21 min25 min9 min25 min29 min11 min35 min25 min14 min20 min36 min3 min9 min6 min14 min33 min7 min40 min5 min3 min3 min13 min12 min3 min19 min13 min6 min4 min5 min23 min39 min4 min4 min4 min4 min5 min5 min5 min5 min5 min5 min5 min16 min16 min18 min18 min18 min19 min19 min19 min19 min20 min20 min20 min21 min21 min22 min41 min41 min3 min4 min5 min5 min5 min5 min5 min5 min5 min5 min5 min5 min5 min6 min14 min14 min15 min15 min17 min18 min18 min19 min19 min19 min19 min19 min20 min20 min20 min20 min20 min21 min21 min21 min21 min21 min22 min24 min44 min45 min45 min81 min34 min41 min42 min45 min55 min59 min40 min46 min46 min50 min50 min54 min57 min58 min44 min47 min51 min57 min58 min64 min60 min50 min58 min60 min53 min59 min62 min61 min96 min62 min4 min20 min25 min26 min27 min9 min12 min14 min24 min24 min24 min10 min58 min8 min8 min10 min11 min11 min18 min21 min21 min24 min38 min4 min5 min10 min10 min11 min19 min23 min41 min20 min27 min38 min4 min5 min11 min12 min18 min20 min22 min23 min39 min44 min7 min10 min10 min15 min55 min60 min58 min52 min60 min113 min58 min65 min61 min63 min61 min11 min24 min26 min27 min28 min28 min35 min23 min28 min33 min68 min80 min59 min12 min13 min6 min6 min7 min6 min8 min7 min8 min8 min8 min8 min8 min9 min9 min10 min10 min10 min18 min19 min20 min21 min23 min43 min46 min58 min60 min3 min7 min9 min9 min9 min9 min10 min10 min10 min10 min10 min17 min19 min20 min21 min23 min7 min13 min16 min16 min18 min18 min19 min19 min20 min21 min21 min40 min43 min60 min62 min20 min23 min25 min26 min27 min28 min32 min33 min34 min36 min38 min40 min16 min16 min20 min22 min62 min17 min26 min4 min6 min7 min8 min8 min12 min13 min18 min19 min20 min21 min24 min5 min6 min9 min13 min15 min18 min18 min19 min19 min6 min6 min10 min10 min14 min14 min17 min17 min17 min18 min19 min20 min20 min21 min22 min22 min11 min
Web3 安全
IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️
- Ripple公司掌握大量XRP供應，在熊市提高價格下限
- 歷史對標：2024年7-11月在50美分區間震盪，後續上漲534%
- 預期當前在80美分至1.15美元間震盪
- 比特幣跌至60k以下時，XRP跌至85美分或更低
Web3 安全
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
- Commonware 是 Rust 庫，提供 40+ 可組合原始語讓開發者在棧的全層級自訂
- 容錯模型從 3F+1（33%）轉向 5F+1（20% Byzantine + 20% Crash）
- Minimet 實現更快視圖生成；Multimet 並行廣播，用戶定終縮至 200-300 毫秒
- 11 人工程團隊，大量使用 LLM 加速開發
Web3 安全
Private Information Retrieval (PIR) with Alex Hoover
- PIR 保護查詢對象，不是資料機密性
- 1995 年引入，經歷多伺服器→單伺服器→客戶端預處理三代演進
- 客戶端預處理分離離線和線上，線上無公鑰操作，伺服器時間 O(√n)
- Plinko 用可逆偽隨機函數加速索引查詢，處理動態資料庫
Web3 安全
駭客新戰術！82%審計過的跨鏈橋竟成最大漏洞？
- Q2跨鏈橋攻擊損失超去年全年，6月單月Hike抽走3.8億美元（季度環比+217%）
- 82%被攻擊的橋通過審計，打破「審計=安全」的幻想
- Solana生態首次超越以太坊成重災區，流動性每週蒸發15%
- 黑客租用量子計算破解加密成本降至3.2萬美元（較2021年便宜94%）
Web3 安全
The Battle for Digital Trust #Cybersecurity #Crypto
- 15億美元Bybit盜竊未破壞任何代碼，簽名皆真實，問題在供應鏈與視覺詐騙
- 代碼漏洞最常見但損失最少；密鑰泄露僅33件卻損失4.45億美元
- 密鑰泄露平均損失為代碼漏洞的18倍
- 北韓佔2026年盜竊66%，主要透過工作申請取得內部存取權
Web3 安全
Web3 Encyclopedia · Historical Events (34): The Nomad Bridge Chaos | Hackers? No, It Was an Open-...
- 2022年8月1日，Nomad橋因初始化漏洞被盜1.9億美元
- 根源：開發者將驗證根哈希設為0，等同於把金庫鑰匙掛在門口
- 攻擊方式極簡單：複製粘貼，不需技術高超，只需要知道門開著
- 演變過程：從單個黑客演變成數百個地址同時搶劫的混亂局面
Web3 安全
Smart Contract Auditing: A Beginner's Guide
- 分析 PasswordStore 合約發現訪問控制漏洞，任何人都能讀取宣稱私密的鏈上密碼
- 使用 Slither 靜態分析工具自動檢測，用 Foundry 與 Cast 命令本地驗證漏洞
- 完整演示專業審計報告結構：標題、描述、影響、概念驗證、修復措施
- 將十六進制存儲數據轉換為人類可讀格式，直觀證明漏洞真實存在
Web3 安全
I Built an AI Agent That Day Trades Crypto Using Claude Code (Tutorial)
- 部署 AI 交易機器人到以太坊區塊鏈
- 掃描 Uniswap 等交易所的待執行交易池
- 支付更高 gas fee 搶先執行交易，隨即反向交易鎖定利潤
- 最少投入 1 ETH，2-10 ETH 效果最佳
Web3 安全
KelpDAO Hack Explained: How ₹2,200 Crore Was Stolen (And What It Means for You)
- 駭客在47分鐘內從Kelp DAO竊取2.92億美元
- 攻擊方法：偽造Layer 0驗證器消息，騙過簽名驗證
- 根本原因：協議只使用單一驗證器而非多簽
- 零代碼漏洞，純粹社交工程；智能合約本身完全安全
Web3 安全
This DeFi Smart Contract Vulnerability Makes You Lose Everything Instantly
- 攻擊者用最小金額存入獲得唯一一份額
- 直接轉帳大量代幣到vault（不經過deposit函式）
- 份額價格被拉高，下一位存款者因整數四捨五入獲得零份額
- 攻擊者用1份額贖回整個vault，竊取受害者資金
Web3 安全
超強手已選擇不賣 他們正等待全新資金 準備推動BTC大週期
- BTC 在 61.5K、65.5K、69.3K 三個關鍵位置存在阻力與支撐
- 成交量縮小但價格創新低，跌破後快速收回，顯示賣壓減弱
- 6 月底至 7 月初，持有 1000~10000 BTC 的大戶持續加倉，籌碼集中
- 長期投資者盈利拋售比例下降，市場流通供應面緊縮
Web3 安全
追到 2 億台幣贓款！加密貨幣詐騙金流追蹤完整教學｜受害者必看
- 詐騙集團使用Tron鏈上的USDT進行資金轉移
- 使用Metals Loop視覺化工具可追蹤完整金流走向
- 資金通過多層轉帳分散到車手及交易所地址
- 受害者需向警方提交追蹤證據才能請求交易所凍結
Web3 安全
Web3新手最容易踩的是哪些坑？#Web3安全 #钱包安全 #钓鱼骗局 #恶意授权 #DeFi风险 #跨链桥风险 #土狗盘#Web3入门
- Web3資産損失通常不是被駭，而是用戶自己簽名授權。常見的九大坑包括釣魚鏈接、鏈上授權、惡意簽名、虛假高收益、土狗盤、合約漏洞、流動性不足、跨鏈橋風險、項目方跑路。進入前必做三層檢查：操作層、協議層、權力層。
Web3 安全
STOP Using These Crypto Wallets! [They're Getting Hacked]
- 部分軟體錢包自2018年起使用PRNG（非密碼學安全方法）生成種子短語，只產生數十億種組合
- 真正安全的種子短語由TRNG或CSPRNG產生，可能性數量等於宇宙原子數
- 硬體錢包（Ledger、Trezor等）使用安全方法；軟體錢包存在風險
- 24字種子短語比12字更安全
Web3 安全
The $611M DeFi Hack Nobody Expected to Get Back
- 駭客盜取Poly Network 611百萬美元加密貨幣（當時最大DeFi漏洞）
- 攻擊者在24小時內跨鏈轉移資金掩蓋痕跡
- 駭客主動返還超過6億美元，聲稱為白帽測試
- 攻擊者保留50萬美元作為漏洞揭露費用
Web3 安全
Blockchain Security Risks - 2/5 - Common Security Threats and Vulnerabilities
- 區塊鏈不可逆性使社會工程攻擊尤為致命——與傳統金融不同，用戶一旦簽署惡意交易就無法撤銷，詐騙者利用盲簽機制讓用戶在不知情下授權轉移全部資產，造成永久性損失。
- 智能合約的公開與不可變性為攻擊者提供充分的審計機會——任何邏輯錯誤、不安全外部調用或算術漏洞都可在單筆交易中被利用耗盡資金，2016年DAO重入攻擊就導致5000萬美元被盜。
- 共識安全依賴資源分散——一旦單一實體控制超過51%的算力或權益，就能重組鏈、雙花交易或審查新區塊，長距離攻擊則能利用舊私鑰改寫歷史交易。
- 錢包安全防禦分層——私鑰存儲方式決定便利性與安全性權衡，大額資產應用硬體錢包或紙質備份離線保管，日常交易可用熱錢包但需承受高風險。
Web3 安全
Blockchain Security Risks - 5/5 - Emerging Security Threats and Trends
- 新興攻擊：橋接漏洞、DeFi 複合風險、賬戶抽象漏洞、預言機操縱、跨鏈訊息利用
- 量子威脅：量子電腦可用 Shor 演算法破解 ECDSA 簽名，公鑰已在鏈上的資產風險最高
- 應對方案：現在開始遷移抗量子密碼學，採用混合策略同時運行傳統和抗量子簽名
- 最重要控制措施：持續威脅感知，建立組織化的安全更新制度
Web3 安全
Blockchain Security Risks - 1/5 - Introduction to Blockchain Security Risks
- 區塊鏈透過哈希、數位簽章、共識機制實現不可竄改
- 安全威脅跨越用戶、應用、節點、共識五個邏輯層
- 大多數實際損失來自應用層漏洞和人為錯誤，非協議缺陷
- 分散式架構優勢是消除單點故障，但引發治理困難和補修延緩
Web3 安全
Paid Twice, Lost Everything ($3M Vulnerability)
- 使用「發送資金→更新餘額」的順序導致漏洞形成
- 攻擊者通過 receive 函數反複進入 withdraw 調用
- 單筆交易中完成多次支付導致資金池被盜
- 調整一行程式碼順序（先清零餘額再發送）即可修復
Web3 安全
Token Burning Wrong = Pool Drained | AMM Reserve Crisis
- 代幣燒毀函數錯誤地從流動性池中扣除代幣，而非賣家賬戶
- 調用 sync 後池內儲備減少，價格記錄虛假上升
- 攻擊者利用虛假價格用少量代幣換取大量 WBNB，完全掏空池
- 修複方案：燒毀只能針對發送者，永不接觸流動性池
Web3 安全
Integer Overflow | Why Your Smart Contract Isn't Safe
- Solidity 0.8 預設對減法做下溢檢查，防止結果為負
- unchecked 關鍵字關閉此保護，通常為省 gas 費用
- 下溢時數字環繞到接近 2^256 的巨大值（如 1−2 在 unchecked 裡變成接近無限大）
- 攻擊者可虛造無限餘額，提空整個金庫
Web3 安全
Crypto Forensics Expert: Inside the Hunt for Stolen Coins | Let's Talk About Tech #69
- 加密取證專家透過鏈上分析追蹤被盜資產與犯罪者
- 隱私幣使用增加，但犯罪分子仍留下 IP、郵件等數位足跡
- 低於 10,000 歐元損失難獲執法重視，需達一定金額門檻
- 大多數交易平台願意配合凍結資金，追回成功率取決於及時介入
Web3 安全
破解3種難度的加密貨幣詐騙！第3種超級難防！【邦妮區塊鏈】
- 詐騙分三層：直接騙錢、騙授權控制權、假交易確認。
- AI能偽造視頻、人物，但無法入侵不聯網的冷錢包。
- Ledger冷錢包用Clear Signing防盲簽，Security Key防釣魚登入。
- 最終批准權必須在硬體裝置上執行，AI代理無法自動動用資產。
Web3 安全
CRYPTO TRADING: Don't Long Crypto Until You Watch This
- 比特幣目標區 57,700（宏觀 618 位置），預期流動性沖洗後反彈
- 準備隔離多單，設定停損在 57,000 下方
- 宏觀 618 在 29,500；若失敗則看 52,500、49,000
- 監控 BTC 主導地位轉紅，判斷山寨幣會否跟隨反彈
Web3 安全
CRYPTO TRADING: Saylor News Hit! Here Is What Happens To Bitcoin
- 比特幣技術面呈熊性分歧，關鍵支撐位 57,700（宏觀 618 比例）
- MicroStrategy 籌集 17 個月現金儲備，短期利多但長期風險依存
- Solana 進入超買區域，警惕破位假漲
- Ethereum、Ondo、XRP 等主流幣的反彈區間已給出具體目標位
Web3 安全
Learn Solidity | Reentrancy Attacks (And How To Fix It)
- 重入攻擊源於違反CEI模式（Checks-Effects-Interactions）
- 攻擊者透過receive函數反覆呼叫提款函數，掏空合約資金
- 修復方法：先更新狀態再進行外部呼叫，阻斷迴圈
- 不遵循CEI已造成數十億美元的協議被盜
Web3 安全
Why Bitcoin is Facing More Pain Ahead (Data)
- 比特幣位於200週移動平均線與牛熊支撐帶間，處於臨界位置
- 多數鏈上指標指向進一步下跌，預計目標區間40,000-55,000美元
- 加密產業面臨AI競爭、安全漏洞、身份危機等四大風險
- 預測熊市底部時間約在10月，距離現在尚餘50日
Web3 安全
貝格先生：比特幣 59K 不是底，還差「最後一跌」！鏈上數據與 Liquidity 分析 BTC 真底部在哪？
- BTC現處熊市末期，底部可能在59K下方
- 流動性列曲（STOP HUNT）是關鍵操作訊號
- 四大生蟲超底模型（MVRV改良版、Realized Price、Coin Time Price、AVIV）界定週期級別
- 週期操作用鏈上分析，中短線操作用技術面流動性
Web3 安全
Quantum Computing & Blockchain Security | Ian Smith | Cellframe
- 量子電腦破解現有加密的時間窗口：1-2年
- Bitcoin所有未花費的6.9百萬枚幣暴露於公鑰洩露風險
- Ethereum若不主動撤銷智能合約，全網合約所有者都可被控制
- Google已啟用後量子密碼學；Chrome瀏覽器正在部署
Web3 安全
Operation AudiA6: The $542 Million Money Laundering Network Behind Global Cybercrime
- 單一犯罪網絡一年內洗錢 542 億美元
- 美國、澳大利亞、德國、法國聯合執法，逮捕主嫌於喬治亞州
- MLaaS（洗錢即服務）是現代犯罪的 B2B 訂閱模式
- 主要客戶為 BEC（商業電子郵件詐騙）集團
Web3 安全
How Safe is Your Bitcoin?!
- 假 Ledger Live App 詐騙 50 人，盜走 9.5 million 美元，活躍期 2025 年 4 月 7 日至 13 日
- 詐騙 App 透過贊助廣告或刷評分衝排名，在 Apple App Store 與 Chrome Extension 商城上架
- 私鑰（12 個助記詞）一旦輸入聯網設備或交給任何人，資金必然遭竊
- 硬體錢包無顯示螢幕者易受地址掉包攻擊，需在設備上逐一確認收款地址與金額
Web3 安全
深度观察：Q2黑客攻击创历史新高，DeFi安全体系全面溃败 | 七十起攻击与7.46亿损失 | 从亡羊补牢到未雨绸缪
- Q2 發生約 70 起 DeFi 攻擊，總損失 7.46 億美元，創歷史紀錄
- 攻擊頻率達每天 0.7 起，較上季翻倍以上
- 廢棄三年的智能合約仍遭黑客利用，捲走 210 萬美元
- 問題根源：審計失效、保險覆蓋率低、融資重市場輕安全
Web3 安全
Crypto Wallets Security #CryptoWallet#CryptoSecurity#Bitcoin#MetaMask
- FBI 報告 2024 年加密詐騙損失達 16.6 億美元
- 加密錢包是私鑰管理工具，不是存幣的容器
- 熱錢包（連網）便利但高風險；冷錢包（離線）適合長期存儲大額資產
- Trezor 從 $59 起、開源；Ledger 從 $79 起、閉源但功能更豐富
Web3 安全
Smart Contract Audit: Framing a Comprehensive Audit — Forge College
- 審計前先做架構檢查，確認狀態存儲與升級機制是否穩固
- 定義明確範圍：哪些在審計內、哪些明確排除（如前端、第三方）
- 用六步工作流推進：傳遞目標、建立壓力領域、定義報告、定義證明
- 將客戶模糊需求轉化為可二元測試的具體問題
Web3 安全
Crypto's Greatest Security Lesson #bitcoin #cybersecurity
- 加密貨幣採 AES-256 軍事級加密，鏈上幾乎無法破解
- 犯罪者轉向「$5 板手攻擊」：直接脅迫人肉持有者交出私鑰
- 2014 年已有文章預測此趨勢，現已成主流犯罪手法
- 加密貨幣交易不可逆，一旦轉出無法追回，令受害者毫無救濟
Web3 安全
一个隐藏4年的漏洞，让百亿项目Zcash一天蒸发30%？
- Zcash（ZEC）單日跌幅超 30%，起因為 2022 年上線即存在的底層電路漏洞
- 漏洞理論上可憑空無限鑄造 ZEC，且偽造資產極難被偵測
- 直至 2026 年才由安全研究員在 AI 輔助下發現，潛伏近四年
- 因 Zcash 隱私特性，社群無法百分之百證明過去未被利用
Web3 安全
AI时代来临，区块链系统如何保障自身安全？
- AI 讓黑客幾分鐘掃描大量漏洞，代碼產量暴增同時漏洞數量同步增加
- 形式化驗證：用數學命題證明代碼在任何情況下都滿足安全規則
- 形式化驗證不是萬能，驗證目標本身寫錯仍會出問題
- AI 可輔助生成代碼與數學證明，與形式化驗證互補而非競爭
Web3 安全
Crypto Wallet Hacks Exposed! Protect Your Coins NOW!!!!
- 2014 年 Mt. Gox 遭駭，逾 85 萬枚 Bitcoin 被盜
- 2016 年 Bitfinex 遭駭，12 萬枚 Bitcoin 被盜
- 2022 年 DeFi Rug Pull 詐騙，投資者損失數億
- 中心化交易所與惡意智能合約是主要攻擊向量
Web3 安全
Blockchain Forensics: from Romance Scam to Crypto Recovery | AQ Forensics x ChangeNOW
- 受害者被騙失去加密資產後，應立即收集證據並向執法機構報案
- 聘請區塊鏈取證公司（如 AQR Forensics）追蹤資金流向，標記可疑地址
- 聯繫接收資金的交易所或錢包服務商凍結資金
- 執法部門與取證公司協調，透過傳票取得資金去向資訊並追回
Web3 安全
Issue 13: The Dust Attack Tragedy - Vulnerabilities from Small Change - Flash Loans DeFi's Destruct
- 收到不明小額加密貨幣勿轉移，否則暴露身份鏈
- Flash Loan 可無抵押借出億元資金，同區塊內攻擊 DeFi 協議
- 穩定幣背後存在複雜投資組合，監管缺失下隨時崩盤
- Rug Pull 4.0 專門在項目死亡時榨取投資者最後資金
Web3 安全
How to Keep Your Crypto Safe From Hackers | Beginner’s Security Guide
- 私鑰遺失或洩露等於資產歸零
- 多數加密貨幣損失源於使用者失誤，非系統漏洞
- 冷錢包（硬體錢包）是長期持有資產的最安全方式
- 啟用雙重驗證（2FA），優先選 Authenticator App 而非 SMS
Web3 安全
Over the Shoulder - How AI is Reshaping Web3
- AI 將駭客成本從數天人力降至「幾美分的 token 費用」
- 程式碼理解時間從 3 天壓縮至 1 天，但應把省下的時間用於提升覆蓋率
- Plummen 開源工具可並行啟動百個代理，單次跑 5-6 小時完成端到端審計
- LLM 核心缺陷：局部錨定偏差、無法建立全局系統理解
Web3 安全
區塊鏈新聞: 2026年5月11日 星期一 上午10:53 #QixNewsCrypto
- AI代理人可直接執行以太坊智能合約，推動鏈上轉帳與身份驗證自動化
- 比特幣長期分析師目標363,000美元，以太坊需守住2200–2330美元區間
- Digicert遭偽裝客戶竊取EV憑證，撤銷60張證書才堵住漏洞
- American Bitcoin Q1虧損8200萬美元仍逆勢加碼，儲備擴增至7300枚
Web3 安全
Blockchain security jobs in 2026 — salaries, roadmap, and how to get hired
- 2024年駭客從加密/DeFi平台竊取2.2億美元
- 區塊鏈交易12秒確認後永久不可逆，傳統還原機制完全失效
- Web3安全職位超過73,000個，填補率為所有科技領域最低
- FATF旅行規則、印度PMLA等法規強制企業招聘合規人才
Web3 安全
又一场加密劫案：350万美元一夜蒸发！Sui生态Volo遭攻击，你的DeFi资产还安全吗？
- 2026年4月22日，Sui生態的Volo Protocol遭精準攻擊，3個金庫（WBTC、XUM、USDC）共損失350萬美元
- 剩餘2800萬美元TVL未受波及，Volo承諾自行全額賠償用戶
- 2026年4月前18天全行業被盜超6.06億美元，是Q1總損失的3.7倍
- 2026年攻擊事件47起，較2025年同期28起增長68%
Web3 安全
DeFi史上最大坏账！Aave能撑住吗？一夜蒸发80亿！Kelp漏洞全解析小白必看：你的DeFi存款还安全吗？
- 攻擊發生於4月18日17:35，歷時1分鐘
- 攻擊者對LayerZero端點發送偽造跨鏈訊息，憑空鑄造116,500枚RSETH（市值2.93億美元）
- 將假RSETH抵押進Aave V3/V4，借出約82,650枚真實WETH（約1.91億美元）
- 實際獲利約106,466枚ETH，折合2.5億美元
Web3 安全
震惊！本月加密圈连续13起攻击，黑客在币圈卷走6亿美元，你的资产还安全吗？
- 4月單月黑客攻擊損失超6億美元
- Drift Protocol被盜2.85億美元，攻擊全程僅12分鐘
- KELP DAO跨鏈偽造消息盜走2.92億美元RSETH
- Lazarus Group改用AI強化社會工程學攻擊
Web3 安全
一夜被盗2.5亿美元！KelpDAO如何被黑客洗劫？DeFi史上最大LRT攻击！Aave惨遭牵连坏账危机你的rsETH还安全吗？KelpDAO漏洞全解析
- 黑客偽造跨鏈訊息，憑空鑄造 116,500 枚 RSETH（市值約 2.92 億美元）
- 將假 RSETH 抵押至 AAVE V3，借走約 2.36 億美元 WETH
- AAVE WETH 儲備池利用率瞬間衝至 100%，引發踩踏式拋售
- 三個鯨魚地址集中拋售約 6 萬枚 AAVE，總值超 600 萬美元
Web3 安全
What’s Broken In Web3 Security Today | Ben Sepanski
- 目前 Web3 安全審計集中在上線前最後階段，時間壓力大、決策品質差
- 安全責任完全外包給第三方審計員，信任過度集中於單一機構
- 開發者掌握最多系統知識，卻缺乏工具將此知識轉化為安全驗證
- 提早將安全測試納入設計流程，可減少上線前緊急修改
Web3 安全
7分钟搞懂 ERC20：从规范到安全与 Permit 实战
- ERC20 是以太坊代幣的統一標準，確保錢包與 DeFi 自動識別
- 必備函數：name、symbol、decimals、totalSupply、balanceOf、transfer、transferFrom、approve
- 兩種轉帳：Transfer（持有人主動）vs TransferFrom（第三方授權後執行）
- 安全審查三重點：可升級性、黑名單/暫停、核心函數邏輯
Web3 安全
Web3 重入漏洞讲解 | Solidity 智能合约安全 5分钟看懂重入攻击
- 重入漏洞成因：提款函數先轉帳、後更新餘額，攻擊合約可在餘額歸零前反覆呼叫提款
- 攻擊結果：受害者存入 10 ETH，攻擊者僅存 1 ETH，最終取走全部 11 ETH
- 防禦方法一：引入 OpenZeppelin `nonReentrant` modifier
- 防禦方法二：先清空餘額再轉帳（CEI 模式），測試驗證觸發 `balance == 0` revert
Web3 安全
Drift交易所如何被北韓駭客榨乾？12分鐘搬空2.85億美金！Web3史上完美犯罪！#Drift#DeFi#區塊鏈#Web3 #加密貨幣
- 2026 年 4 月 1 日，12 分鐘、31 筆交易抽乾 Drift Protocol 2.85 億美元
- 攻擊者為北韓國家級組織 UNC4736，潛伏滲透長達六個月
- 偽造量化交易公司人設，騙取核心成員硬體錢包盲簽授權
- Drift 自行取消時間鎖並降低多簽門檻，親手消滅最後防線
Web3 安全
Drift Protocol 史詩級黑客攻擊 What Happened？
- Drift Protocol 於 4 月 1 日遭攻擊，金庫從 3 億美元跌至 4,000 萬
- 攻擊者非技術漏洞入侵，而是透過半年人際接觸取得 Admin Key
- 用偽造 CVT 代幣搭配受控預言機虛增抵押品，再借走所有主流資產
- 全程不超過 15 秒，資金已跨鏈轉入以太坊，追回機率極低
Web3 安全
12分钟2.85亿没了！Drift Protocol遭遇2026最大DeFi劫案，朝鲜黑客如何攻破多签？
- 攻擊者滲透6個月，誘導簽名者預簽惡意交易
- 多簽設定未加時間鎖，攻擊者12分鐘內完成提款
- 偽造CVT代幣欺騙預言機，套取真實資產
- 鏈上痕跡指向朝鮮UNC4736組織（Tornado Cash提款、平壤時區部署）
Web3 安全
Blockchain Security Researcher & Auditor Course 2026 🔐 Ethical Hacking for Web3
- 區塊鏈安全市場 2024 年規模達 30.1 億美元，預計 2029 年大幅成長
- AI 工具普及反而加大安全漏洞風險，安全研究需求同步攀升
- 大量開發者用 AI vibe-coding 寫合約，卻不懂底層架構，留下漏洞空間
- 建議學習路徑：先學 Solidity 基礎 → 再進入安全審計模組
Web3 安全
Solana DeFi血崩！Drift凌晨被黑2.8亿刀，黑客狂买ETH砸盘
- 攻擊者提前9天佈局，利用持久化隨機數預簽名繞過多簽機制
- 僅兩筆交易、10秒內竊取2.85億美元資產
- 偽造CVT代幣並操縱自建預言機，將虛假資產充當高價值抵押品
- 被盜資金換成USDC後跨鏈至以太坊，累積逾13萬枚ETH
Web3 安全
2亿美金蒸发！Drift攻击真相DeFi安全危机：你的钱还安全吗私钥沦陷：DeFi最大隐患揭秘
- 2026年4月1日Drift Protocol遭駭，損失2.2至2.7億美元
- 黑客同時攻擊多個資金池，含JLP、SOL、BTC Super Staking等
- 資金透過跨鏈橋轉至以太坊，換成約19,913枚ETH（價值4,260萬美元）
- DRIFT代幣單日跌逾20%，TVL縮水40%至50%
Web3 安全
2.7亿美元瞬间蒸发！Solana头部DEX Drift遭史诗级攻击 | 深度拆解跨链桥安全漏洞与DeFi保险困局 | 你的资产还安全吗？
- 攻擊發生於 4 月 2 日，損失 2.2 億至 2.7 億美元
- 攻擊向量為跨鏈橋私鑰洩漏，非智能合約漏洞
- 攻擊者偽造 CBBTC 並在 Drift 市場套利，抽乾各資金池
- 資產轉至地址 HKGZ4K，購入約 2 萬枚 ETH（價值逾 4260 萬美元）
Web3 安全
2.7亿美元！Drift Protocol被黑Solana最大DeFi被盗真相Drift黑客如何卷走巨资？
- 2026年4月1日UTC 13:30，Drift Protocol主金庫遭未授權轉帳，損失2.2–2.7億美元
- 被盜資產含USDC 1.03億、SOL 5400萬、WBTC 1900萬等多幣種
- 攻擊者透過Jupiter換成USDC→跨鏈橋轉以太坊→兌換約19,913枚ETH（4260萬美元）洗錢
- DRIFT代幣24小時波動率超56%，JLP池單一損失達1.556億美元
Web3 安全
Crypto Isn’t Anonymous: Inside the World of Blockchain Forensics with Ralph Dahm
- 美國每年被詐騙 1,500 億美元，全球達 1 兆美元
- 每年 880 萬件舉報僅是實際案件的 1/20
- 加密詐騙資金回收率僅 2-5%
- 鏈上探索可追蹤資金路徑，但執法機構響應速度是最大瓶頸
Web3 安全
The Largest Crypto Heist in History: A Documented On-Chain Investigation
- 竊取15億美元ETH（逾40萬枚），為史上最大單次加密貨幣盜竊
- 攻擊手法：入侵開發者機器，篡改多簽介面顯示，誘使員工授權轉帳至攻擊者錢包
- 區塊鏈完整記錄每筆交易，鑑識人員48小時內完成資金流向追蹤
- FBI發布公告正式確認國家級行為者介入
Web3 安全
Launch of c4 Lab for Crypto Crime Investigation
- 發布 C4 Lab，定位為加密貨幣調查作業系統，印度製造、面向全球
- 支援 12–15 條主要區塊鏈，目標擴展至 60 條
- 核心功能：Seed 短語衍生掃描、BAD 地址目錄、C4 Field 現場取證 USB
- 提供免費警察版（多語言），付費版起價約 $29/月
Web3 安全
区块链大危机OpenClaw漏洞真相
- 360 安全團隊發現 OpenCloud 閘道器 WebSocket 無認證升級漏洞，可繞過權限直接控制智能體
- Venus Protocol 攻擊者耗費 9 個月佈局，造成 215 萬美元壞帳、代幣暴跌 17%
- Resolve Labs 攻擊者以 20 萬 USDC 鑄造 8000 萬美元穩定幣，USR 單日跌 47%
- SEC/CFTC 聯合認定 16 種數位商品，合規性成為機構資金進場的前提條件
Web3 安全
从Venus攻击看DeFi最危险的漏洞：不是代码，而是人性与时间
- 攻擊者從 2025 年 6 月起持續買入 TH1，積累至供應上限的 84%
- 利用「捐贈攻擊」繞過供應上限，將抵押品瞬間放大 3.67 倍
- 操控 TWAP 預言機將 TH1 價格從 $0.27 拉至 $0.53
- 借出 667 萬 CAKE、1 BNB、158 萬 USDC、20 BTCB
Web3 安全
他发现了5亿漏洞，只值5万？区块链安全的内幕比你想象的更黑暗！
- 發現可清空鏈上任意帳戶的底層邏輯漏洞，涉及資產超過 5 億美元
- Injective 官方承諾最高 50 萬美元賞金，實際僅出價 5 萬美元，差距 10 倍
- 三個月零溝通，賠付至今未到帳
- 同日 Venus Protocol 遭攻擊損失 370 萬美元，DeFi 安全風險同步升溫
Web3 安全
$75,000,000 Crypto Wallet Bulk Hack
- 攻擊目標晶片：STM32 F2 微控制器（Trezor Model 1 及 KeepKey 共用）
- 三階段攻擊：降低安全等級 → 透過除錯介面讀取快閃記憶體 → 解密取得 PIN 碼
- 取得 PIN 後，輸入新 Trezor 裝置即可還原 24 個助記詞（seed phrase）
- 協助找回資產案例從 17 萬至超過 150 萬美元不等
Web3 安全
Borrow MILLIONS in Crypto for 10 Seconds? | Flash Loans Explained
- 借款無需抵押品，金額可達數億
- 資金必須在同一筆交易結束前還清
- 未還清則智能合約自動撤銷整筆交易
- 主要用途：套利、抵押品管理
Web3 安全
比特幣憑空消失？揭秘區塊鏈最大的夢魘「雙花攻擊」！你的錢包真的安全嗎？#區塊鏈 #比特幣 #雙花攻擊
- 雙花攻擊：同一筆數位貨幣花兩次，是加密貨幣的核心安全威脅
- 區塊鏈以「最長鏈共識＋多重確認」機制防止雙花
- 51% 攻擊：掌控超過半數算力，秘密挖礦後廣播更長鏈覆蓋交易記錄
- 競爭攻擊：對零確認商家同時廣播兩筆衝突交易，高手續費那筆優先被打包
Web3 安全
How to Borrow MILLIONS with ZERO Collateral (Flash Loans Explained)
- 閃電貸允許在單一區塊鏈交易內借出數百萬美元，無需抵押
- 借貸與還款必須在同一筆交易中完成，否則整筆交易自動撤銷
- 主要用途：跨交易所套利，利用短暫價差獲利
- 2020 年 2 月，攻擊者透過閃電貸攻擊 bZx 協議，竊取約 100 萬美元
Web3 安全
⚠️ 7 Ways Hackers Steal Hot Wallet Crypto – How To Protect Trust Wallet, MetaMask & Phantom
- 熱錢包（Trust Wallet、MetaMask、Phantom）永遠連網，是最大攻擊面
- 私鑰外洩 = 錢包瞬間清空，無法恢復
- 惡意軟體、假授權、釣魚郵件是三大盜幣手段
- 冷錢包存放大額資產，熱錢包只留 2–5% 使用資金
Web3 安全
"Blockchain Crime Scene" | Guthrie Ransom Forensics Explained | Criminally Obsessed
- Bitcoin 交易記錄在公開區塊鏈，永久可查、不可竄改
- 執法路徑：勒索地址 → 交易所 → 傳票取得身份資料 → 交叉比對其他工具
- Coinbase、Binance、Kraken、Gemini 等交易所執行 KYC，留有真實用戶資訊
- 壞人用 AI 詐欺增加 500%，警方同步以 AI 分析海量數據
Web3 安全
區塊鏈：破解代碼 #區塊鏈 #blockchain #blockchainsecurity
- 比特幣整數溢位漏洞導致單筆交易憑空產生 1840 億枚幣，占總供應量 98% 以上
- 修復方式：強制回滾區塊鏈，打破「永不篡改」神話
- Verge 以不足 10% 算力發動 51% 攻擊，起因是三個正常功能組合成攻擊鏈
- 狗狗幣因未同步比特幣安全補丁，偽造幣量佔流通量 25%
Web3 安全
Crypto Startups Say They Take Security Seriously… But Do They?
- 80% 以上的協議沒有任何資安團隊，卻管理著用戶資金
- 新建 EVM 錢包在 8 分鐘內就會收到第一個釣魚代幣
- Web3 的「王冠寶石」是錢，一旦被盜不可逆轉，危害遠超 Web2 資料外洩
- 小型協議可從虛擬 CISO（vCISO）切入，不必立即雇用全職人員
Web3 安全
BNB Chain’s 2026 DeFi Landscape: Flashloan Growth Potential
- 前往 remix.ethereum.org 建立 flashloans.sol 檔案
- 將 Solidity 編譯器版本從 8.1 改為 0.50
- 透過 MetaMask 連接 BNB Smart Chain 部署合約
- 輸入 Token Name、Symbol，設定 1000 BNB 債務量
Web3 安全
Gmak! Flash loan hack hits DeFi platform Makina for $5M
- Machina DUSD 流動池（Curve Finance）遭閃電貸攻擊，總損失 510 萬美元
- MEV bot 搶先執行，取走 1,299 ETH（約 400 萬美元）
- 剩餘約 305 萬美元流向持幣地址，Machina 提出 10% 賞金要求歸還
- 同夜四小時內，AI 遊戲層 SynapLogic 因驗證漏洞損失 18.6 萬美元，但駭客實際獲利僅 8.8 萬美元（代幣無法變現）
Web3 安全
Tracking Large Ethereum Transfers | A Lightweight On-Chain Analytics Tool
- 使用 Alchemy Asset Transfer Endpoint 抓取以太坊大額轉帳數據
- 排除 NFT、Token 移動、合約內部呼叫，只保留純 ETH 外部交易
- 無需 Node、無資料庫、無背景排程，架構極簡
- Dashboard 顯示 Total ETH Moved、USD 即時換算、交易筆數
Web3 安全
Why Audits Aren’t Enough - Part 3: Mitigating Risk Beyond Audits
- 靜態分析持續捕捉到審計員遺漏的漏洞
- 未清除低難度漏洞直接降低審計效率，導致二次審計雙倍支出
- Web3 缺乏監管強制規範，安全文化須由 CEO 與董事會自主建立
- 單元測試要求最低 90% 分支覆蓋率
Web3 安全
V 神解鎖區塊鏈三難困境？ZK-EVMs 改變遊戲規則！
- V神宣告 ZK-EVM 與 PureDAS 技術組合已解決區塊鏈三難困境
- Jupiter 聯創質疑回購無效，社群討論轉向 25% APY 質押獎勵方案
- Flow 區塊鏈遭攻擊後恢復，99.9% 帳戶權限復原
- Coinbase 宣布暫停阿根廷出入金服務
Web3 安全
區塊鏈新聞: 2026年1月3日 星期六 下午04:03 #QixNewsCrypto
- 伊朗透過 Mindex 平台接受 BTC/USDT 購買導彈、坦克、無人機，繞過國際制裁
- XRP 漲至 3.66 美元，Franklin XRP Trust 在 NYSE 上市
- 跨鏈攻擊橫跨逾 100 個 EVM 錢包，累計損失超過 10.7 萬美元，疑與 Trust Wallet 擴充功能漏洞有關
- Pi Network 1 月解鎖 1.34 億枚代幣，供應壓力測試啟動
Web3 安全
How Blockchain Forensics Is Cracking Down on Rising Crypto Crime | Trending Tech | NewsX World
- 加密貨幣犯罪金額從 2023 年 24 億升至 2024 年 40–50 億美元
- 2025 年截至目前已有 34 億美元被盜，其中韓國交易所 Bybit 單次損失 15 億
- 60% 盜竊來自中心化交易所，其餘來自企業或用戶錢包
- 區塊鏈為假名制，非匿名，所有交易永久上鏈可追溯
Web3 安全
"STOP Using Cold Wallets!" [Web3 SCAM EXPLAINED]
- 詐騙者竊取知名加密貨幣 KOL 影片，重新上傳至 TikTok、Facebook、YouTube
- 誘導受害者下載真實錢包（如 SafePal），再連接至假冒 Web3 網站
- 受害者以為轉帳到自己錢包，實際是轉入詐騙者地址
- 詐騙者 BTC 地址 5 個月內收入約 $170,000，ETH 地址約 $50,000
Web3 安全
The 15-Second Digital Heist: How a SINGLE DeFi Transaction Can Steal Millions from You
- 閃電貸允許任何人在單一區塊鏈交易中借出巨額資產，無需抵押
- 核心原理：原子性（Atomicity），借款與還款必須在同一筆交易中完成，否則全部回滾
- 2020 年 11 月 18 日，攻擊者用閃電貸操控預言機（Price Oracle），單筆交易套利約 600 萬美元
- 倫敦帝國理工研究員分析指出，若攻擊者更精準，最多可獲利 1.1 億美元
Web3 安全
How Can You Tell Whether a Token Is Trustworthy?
- ERC20 代幣由任意程式碼實現，「持有即可轉移」是假設，非保證
- 用 Foundry 模擬轉帳可驗證當下是否收稅，但無法預測未來行為
- USDT 合約允許黑名單機制且可清空餘額，所有者權未放棄
- 無源碼時可用反編譯器將 EVM bytecode 轉成可讀格式進行審查
Web3 安全
Building a Solid Mindset for Auditing Move Contracts | DeFi Security Summit 2025
- Move（Aptos/Sui）資料存在帳戶或物件中，與 EVM 合約中心化儲存模型不同
- Move 編譯器在編譯期即攔截執行時錯誤，EVM 則在執行時才爆發
- Move 傳統上無重入問題（EVM 剛推出重入防護）
- Sui 使用 Capability Object 控制權限，等同 EVM 的 onlyOwner modifier
Web3 安全
Common Security Issues in Crypto Wallets
- 錢包面臨三大威脅：惡意網頁、實體存取攻擊、UI 欺騙用戶
- Post message 缺乏來源驗證，可繞過簽名確認步驟
- origin 欄位可偽造，需改用瀏覽器只讀 `MessageEvent.origin`
- 同形字符（homograph）可讓惡意域名視覺上等同受信任域名
Web3 安全
Can Standards Really Make Blockchain More Secure?
- 2026年5月發布四項標準：代幣整合、金鑰管理、節點操作、基線安全
- 標準設計為輕量可讀，非百頁法規文件，數分鐘即可讀完
- 近九成損失來自Web 2攻擊（密鑰洩漏、釣魚、CI/CD管線被注入），非智能合約漏洞
- 下一波標準：智能合約安全 + 交易生命週期安全，目前起草中
Web3 安全
How to Infiltrate a Web3 Project: The Hitchhikers Guide for Aspiring Black Hats!
- Web3 將「安全」窄化為「審計」，這本身就是系統性漏洞
- VC 跑道縮短 → 項目急速部署 → 出錯機率大增
- AI 驅動的 GitHub 項目是高風險目標
- 審計前的程式碼品質比審計本身更重要
Web3 安全
Enhancing Large Language Models for Smart Contract Security - DeFi Security Summit 2025
- 每年因惡意黑客攻擊損失約 20 億美元，業務邏輯漏洞最難防
- 開箱即用 LLM 有兩大問題：漏洞幻覺（誤報）、遺漏複雜邏輯（漏報）
- 建立調用樹狀圖縮小上下文，讓 LLM 只看相關函式
- 用審計競賽與事後分析報告標注語料，教 LLM 哪些是漏洞、哪些不是
Web3 安全
Modeling State Transitions to Find Unique Bugs
- 用 Excel 追蹤合約函數執行前後的狀態變化（橫軸 = 狀態快照，縱軸 = 函數呼叫）
- 對每個函數列出步驟邏輯、讀寫的狀態變數、合法參數範圍
- 建模一個「每年減半的水龍頭（halving faucet）」時發現：若呼叫時間晚 12 秒（1 個區塊），會觸發整數下溢
- 此漏洞在第六年必然讓協議永久停擺
Web3 安全
Transaction Simulation Spoofing (TSP): The Next Wave of Wallet Drains
- 錢包模擬結果正確，但交易上鏈前 DApp 可升級合約改變邏輯，導致資產被掏空
- 模擬到上鏈之間的時間差是所有 MEV、三明治攻擊、搶先交易的共同根源
- 攻擊可透過 npm 供應鏈感染合法錢包，不限於惡意 DApp
- 提案新 EIP 標準：以用戶意圖（資金流入流出）為基準，結果不符則交易不被打包
Web3 安全
Guarding the Safe - From Guardrail to Policy Engine
- Safe 在交易流程中加入 Guard，提供簽名之外的第二層驗證
- Guardrail：預設拒絕所有 delegate call，白名單制
- Fiducia：以 address + function selector + operation type 組成唯一識別，未配置交易自動進入時間延遲
- Policy Engine：對每個 access selector 可掛載自訂邏輯策略，限額、週期付款均可實現
Web3 安全
AI and the Future of On-Chain Trust & Safety: Building Security Detection at Scale for Web3
- 分析逾 100 條區塊鏈、每日數百萬筆交易
- 每日有數百個詐騙合約上線
- 分析 31K 合約，發現 178,024 個漏洞/行為訊號
- 平均 34% 為 Rug Pull，單日最高達 50%
Web3 安全
Red-Teaming Crypto Wallet Operations
- 傳統網路殺傷鏈無法直接套用至加密貨幣攻擊場景
- 加密攻擊目標是竊取資金，而非勒索或竊取資料
- 框架從「誰發起交易」出發，追蹤意圖→簽名→廣播→鏈上結果全流程
- Bybit 攻擊案例：問題出在簽名介面被入侵，用戶盲簽
Web3 安全
Common DeFi Invariants Every Protocol Must Respect
- 識別協議不變量是安全審計的核心工作
- 償債能力（Solvency）：合約能否如數償還所有 LP 資金
- 舍入方向錯誤會破壞回程不變量，導致狀態不一致
- 對稱不變量：mint/deposit 指定不同方向應得出相同結果
Web3 安全
Beyond the PDF: Building the Data Layer for On-Chain Trust
- Balancer 被攻擊後，10 份審計報告只有 2 份覆蓋受駭模組
- 靜態 PDF 缺乏版本對應、覆蓋範圍與標準化資訊，製造虛假安全感
- TrustBlock 將審計資料綁定 commit hash 或鏈上地址，使其可驗證
- 已整合 Etherscan、Blockscout，觸及數百萬用戶
Web3 安全
SCDS - Smart Contract Diagram Standard
- 審計報告中的圖表普遍過於複雜，淪為箭頭亂麻
- 工程師傾向塞入太多技術細節，讀者反而看不懂
- 講者提出 CDS 標準：規範節點/邊的類型 + JSON 語義編碼
- 解法核心：分層圖表，每張圖控制在 7–9 個概念以內
Web3 安全
Beyond the Audit: Building an Always-On Security Culture for Web3
- Web3 程式碼透明性讓駭客可隨時審視合約
- 分析 400+ 份審計報告：43% 團隊需要重新審計
- 重審平均成本約 $65,000 美元
- 每千行程式碼超過 3 個高危漏洞即觸發重審門檻
Web3 安全
Ethereum Forks And Their Impact On Smart Contract Security
- Fusaka 預計兩週內啟動，核心功能為 PeerDAS
- mod_exp 預編譯輸入上限改為 8,192 位元，超過者消耗全部 gas
- mod_exp gas 最低成本升至 500，整體翻倍
- 單筆交易 gas 上限從 4,500 萬降至 1,600 萬
Web3 安全
Real-Time War Rooms: Building Proactive DeFi Security Operations Centers
- 2023 年調查 20 個協議團隊，18 個從 Twitter 才知道自己被駭
- 安全負責人分兩種：協議工程師（懂合約邏輯）vs 安全從業者（懂威脅模型）
- 好的偵測需四支柱：模擬、多閾值警報、關聯調查、協調機制
- 多鏈環境下不同鏈的安全控制能力差異巨大，可差距數億美元損失
Web3 安全
Defunding North Korea - Onchain OpSec 101
- 散戶三大被盜途徑：豬仔騙局、釣魚攻擊（含冰釣魚）、地址污染
- 機構主要威脅：魚叉式釣魚與供應鏈攻擊（Bybit 事件、Ledger 套件被入侵損失 70 萬美元）
- 停止盲目簽名是單一最高效的防護動作
- 簽名設備與日常工作設備必須實體分離
Web3 安全
Providing Ground Truth for LLM-Based Bug Detection Tools Using Slither MCP
- Slither 2018 年建立，原為偵測 re-entrancy 漏洞，現轉型為程式碼導航輔助工具
- LLM 用 grep/read file 分析合約時錯誤率高、token 消耗巨大
- Slither MCP 提供確定性 API（get\_function\_callers、list\_functions 等），取代機率性搜尋
- 實測：移除 grep/read file、僅給 Slither MCP 時，LLM 任務完成率反而更高
Web3 安全
Building the War Room Before the War: Proactive Incident Response for DeFi Protocols
- 協議被攻擊時，第一個發現的往往是用戶，不是開發團隊
- PenPai 攻擊案例：首次攻擊後 51 分鐘，Arbitrum 鏈追加損失 $600,000
- 事先指派角色、準備 Runbook，可將響應時間壓縮至 15 分鐘內
- Ronin Bridge 因設定提款上限，避免額外損失 $80–90M
Web3 安全
Moving Access Control Away From Smart Contracts' Code
- 在 ERC 代理的 fallback 加三行程式碼，呼叫前先向 AccessManager 查詢 msg.sig 是否有執行權限
- 移除實作合約中所有存取控制修飾器，合約體積縮減 10–20%
- 測試時一鍵開放所有方法，專注業務邏輯，不再重複撰寫授權測試
- 所有權限規則儲存在鏈上 AccessManager，可程式化查詢，無需解析原始碼
Web3 安全
Dealing With a Hundred Million Dollar Live Vulnerability
- 2023 年 B2 Boosted Pool 發現 rounding 漏洞，$2.4 億 TVL 面臨風險
- 收到 Immunefi Top 100 白帽回報，搶在公告前升級代幣合約，保住 80%
- 近期第二次攻擊超過 $1 億損失，因合約 immutable 且無預警，無法提前阻止
- 兩次事件共同結論：Bug Bounty + 暫停機制 + 多層防禦缺一不可
Web3 安全
EIP-7702: Ephemeral Accounts and the New Security Paradigm for Ethereum Wallets
- EIP-7702 允許 EOA 帳戶透過一筆交易委託給智能合約代碼
- 錢包業者因安全責任疑慮，普遍硬編碼拒絕支援 7702
- DEX 已在內部使用 7702 管理臨時儲值地址，但不算正式採用
- 缺少：委託人（delegator）白名單機制、合約驗證標準、跨錢包統一通訊協議
Web3 安全
Layered Defense at Work: The Protocol Upgrade Saved by the Last Security Measure in the Toolbox
- Lido 是以太坊最大液態質押協議，所有升級須 LDO 代幣持有者投票通過
- 平均發布週期 8–9 個月，雙重治理機制耗時三年
- 七階段流程：概念 → 草稿 → 實作 → 審查 → 部署 → 投票 → 上線
- 累計審計費用超過 500 萬美元，共 78 份公開審計報告
Web3 安全
Full Web3 Security Stack - A Blue Team Perspective
- Kiln 管理 1.5B+ TVL 智能合約，需同時保護基礎設施、智能合約、員工與用戶
- 採用「分層迭代」思維：每一層安全失守後，下一層仍可限縮爆炸半徑
- 關鍵手段：簽名密鑰與應用邏輯分離、Security Proxy 過濾惡意請求、Governance-as-Code 強制多簽審查
- 智能合約事件發生時，優先確認影響範圍並立即暫停，不花時間找根因
Web3 安全
Ethereum: Trillion Dollar Security
- 以太坊自 2016 年累計損失超 150 億美元，2025 上半年單獨流失 20 億
- 訪談 500+ 研究者、機構、協議方，歸納出六大安全威脅領域
- 計畫分三階段：調研映射 → 執行里程碑 → 生態系溝通
- 六項具體執行方向已啟動，全部開源、不資助私人商業產品
Web3 安全
Storage Proofs Done Wrong: a Case Study
- 發現於 2024 年 3 月，由 Curve 白帽開發者負責任揭露
- 影響多個使用此函式庫橋接 L1 storage 值至 L2 的協議
- 攻擊者截斷有效的 inclusion proof，觸發隱性回傳，函式誤判為 exclusion proof
- 後果：可將任意 oracle 參數或投票權重偽造為零，潛在損失達數百萬美元
Web3 安全
The State of DeFi Security - 2025
- 私鑰盜竊損失從 $5 億降至 $1 億，價格預言機攻擊跌至第四名
- 新增兩大攻擊向量：多簽劫持（Bybit 損失 $15 億）與四捨五入漏洞
- 「水坑合約」攻擊：耐心型攻擊者靜待鯨魚授權後才出手
- 65 個五年以上舊合約鎖倉 $540 億，其中 50% 已發生重大事件
Web3 安全
Designing Resilient Stablecoins: Best Security and Stability Practices
- 穩定幣市場規模達 3,000 億美元，預期成長 10 倍
- M0 以 T-bill 為抵押，超額抵押率 99%，運行於 EVM 與 SVM
- 核心協議不可升級，Extension（擴展幣）合約可升級但風險隔離
- 已發行 USDA、MetaMask USD、Noble Dollar 等，接近 10 億美元規模
Web3 安全
Beyond the Cron Job: Eliminating Single Points of Failure With Automation
- Wintermute 因 Profanity 弱私鑰被暴力破解，損失 1.6 億美元
- Horizon Bridge 2-of-5 多簽金鑰直接被竊，損失近 1 億美元
- Ronin Bridge 5-of-9 簽名中 4 個由同一公司持有，社工攻擊後損失超 6 億美元
- 核心解法：任何人皆可執行合約邏輯（permissionless），金鑰洩漏只能暫停系統、無法盜走資金
Web3 安全
Future of Smart Contract Security: Neither Smart Nor Secure?
- 智能合約安全 = 合約完全按設計執行，任何偏差皆為漏洞
- 過去 24 個月多數重大黑客攻擊與智能合約漏洞無關，根源在整個技術棧（私鑰、前端、供應鏈）
- Bybit 級別黑客攻擊必將再現：軟體複雜度增加 + 鏈上資金增加 + 國家級威脅行為者
- SEAL 911 已挽救逾 1 億美元資產，但人員全為志願者
Web3 安全
War Room Chronicles: Stories, Scars, and Survival
- 作戰室需設獨立通訊頻道，指定技術、專案、溝通三種負責人
- 事先制定事件響應計畫，緊急時照單執行，人慌思亂照樣不出錯
- 提早知情（白帽報告）遠勝被動發現，爭取的是反應時間
- 白帽賞金行業標準約 90/10，但黑帽行動面臨法律風險
Web3 安全
Try to Catch This: Try-Catch in Solidity Reviewed
- try-catch 有三種子句：error、panic、低層級 catch
- 內部呼叫的參數若 revert，不會被捕獲
- 目標地址為 EOA 時，EXTCODESIZE 檢查失敗會直接 revert
- 回傳資料大小不符預期，同樣不被捕獲
Web3 安全
Rust-Proofing Your Chains: A Deep Dive into Secure Rust Development Workflows
- Rust 已成為 Web3 核心語言，相關鏈上 TVL 超過 1,000 億美元
- 安全漏洞根源是人為失誤，無關語言優劣
- 定義「不變量」：協議在任何狀態下都必須成立的條件
- 威脅建模：列舉所有可與協議互動的入口，評估可能造成的危害
Web3 安全
Auditing ERC-4337 Paymasters: Little Code, Big Risk
- ERC-4337 在以太坊交易上加一層抽象，用戶提交 UserOperation 而非直接發交易
- Paymaster 分兩類：ERC20 Token Paymaster（代幣付 gas）與 Verifying Paymaster（贊助模式）
- Post-op 收費有 gas griefing 風險：用戶可在執行階段撤銷授權讓 Paymaster 白付
- Validation 階段收費更安全，但需精確計算 5 個 gas limit 與 ERC20 換算
Web3 安全
Security in Privacy Applications
- 隱私洩漏如同資金被盜：一旦發生無法撤回
- 隱私應用可「追溯性失效」——用戶已退出系統後仍可能受害
- 元數據（IP、時間戳、時區）即使底層資料未洩漏也會侵蝕隱私
- 不同類型資料的隱私敏感度差異極大，需個別評估
Web3 安全
A New Way to Visualize Crypto Transactions
- 原始交易為 4 字節十六進制碼，普通用戶無法辨識
- 盲簽漏洞曾導致 190 萬美元被竊
- ERC 7730 靜態 JSON 方案無法解析合約內部真實意圖
- Anchorage 用 Rust 建立鏈無關框架，支援 Ethereum、Solana 等多鏈
Web3 安全
Rethinking Censorship Resistance: A Rateless Sharding Txs Approach
- Say 採用多并發提議者（multiple concurrent proposers），消除單一領導者審查風險
- 傳統抗審查做法需把交易廣播給所有提議者，導致交易被重複包含 N 次，費用 × N 或系統吞吐量 ÷ N
- Say 方案：用戶用 rateless encoding 把交易切片，每個提議者只收一個分片
- 結果：維持相同抗審查強度，費用趨近於單筆交易成本
Web3 安全
EIP-7702: Empowering EOA's, Expanding Attack Surfaces
- EIP7702 於 Petra 升級引入，允許 EOA 附加委託人合約代為執行交易
- 已有超過 550 萬次授權、1200 萬地址使用委託人
- 惡意委託比例偏高，Dune 面板橙色區塊清晰可見
- 主要攻擊向量：委託給惡意合約、重新委託導致儲存槽衝突
Web3 安全
Auditing DeFi in the Era of IntraBlock Loans: Preparing for the Next Wave of Exploits
- 閃電貸限制：借還必須在同一筆交易完成
- In-Block Loan：可在同一區塊內跨多筆交易持有無抵押貸款
- 技術基礎：Eureka Labs 身為區塊構建者（block builder），對整個區塊擁有原子性
- 預計 Q2 在以太坊主網上線，任何人皆可使用
Web3 安全
Scale Your DeFi Research with Static Analysis
- 傳統安全研究（賞金計畫、私人審計、競賽）以「單一專案」為單位，無法規模化
- 靜態分析工具可程式化查詢整鏈所有已驗證合約
- 演示工具：Glider（以太坊基金會贊助），支援鏈上全量資料庫查詢
- 展示案例：自動找出 Uniswap v2 現貨價格操縱漏洞（get amounts out → swap 資金流）
Web3 安全
Unconstrained Machines
- ZISK 是相容 64-bit RISC-V 的 ZKVM，主打低延遲並行證明
- 模組化元件設計讓安全審計介面清晰，易於獨立驗證
- 發現三個漏洞：LEQ 高位元檢查缺失、32/64-bit 高位元定義不一致、初始進位未約束
- 前兩個屬邏輯錯誤，第三個屬 under-constrained 錯誤，更難偵測
Web3 安全
ARGUZZ: Testing zkVMs for Soundness and Completeness Bugs
- 支援 6 種 ZKVM，已在其中 3 種發現 11 個嚴重漏洞
- 找到 3 個健全性（soundness）錯誤、8 個完整性（completeness）錯誤
- 核心流程：生成 Rust 程式 → 產生輸入 → 執行 ZKVM → 比對輸出與證明
- 引入「對抗性 ZKVM」技術，成功揭露 3 個無聲漏洞
Web3 安全
Mutation Testing with Slither - A New Way to Find High Severity Issues
- 代碼覆蓋率無法揭示測試遺漏的漏洞
- 變異測試向代碼庫注入刻意錯誤，檢查測試是否能偵測到
- 變異體通過測試 = 測試盲點，需追查
- Slither 內建 `slither-mutate` 工具自動化執行全流程
Web3 安全
Secure Governance for DeFi Companies
- 問題：Safe Multisig 介面顯示原始 calldata，CFO 等非技術簽名者根本看不懂
- 做法：自建「鏈集（chainset）」格式定義交易，搭配 GitHub Actions 自動建立提案
- 驗證：自建 Safe UI App 顯示友善摘要與交易 hash，Discord 通知獨立再次顯示 hash
- 三套系統相互獨立，攻擊者需同時攻破才能偽造簽名
Web3 安全
Raising the Bar: Security Leadership for Mass Adoption
- 建立內部安全流程與人員，而非全依賴外部審計
- 評估審計投資回報率，避免多家審計商發現相同漏洞
- 事前建立關係網絡（Seal 911、交易所、橋接運營商），事發時直接聯繫
- 向機構展示實際安全流程，而非堆砌認證標籤
Web3 安全
Stopping Multisig MEV with Harbour
- 多簽交易在鏈上等待簽名期間，內容對所有人公開可見
- 攻擊者可利用此窗口期進行夾單攻擊或搶跑緊急補丁
- Secret Harbor 用 X25519 加密交易內容，僅簽名者可解密
- 隊列 100% 鏈上，簽名協調透過 Waku 點對點協議完成
Web3 安全
From Manipulation to Mitigation: Rethinking Oracle Security in 2025
- RWA 市場 2024 年 12 月為 139 億，2025 年成長至 354 億（+155.8%）
- 潛在可代幣化資產規模超過 40 兆美元
- Oracle V1 服務加密原生資產；Oracle V2 須處理鏈下不透明資產
- Chronicle 推出「Proof of Asset Oracle」直連托管方，提供防竄改數據證明
Web3 安全
DeFi Security Starts at the Chain Level - DeFi Security Summit 2025
- Aave 資產規模已相當於全球第 42 大銀行
- 同一協議（如 Uniswap）部署在不同鏈上，安全假設完全不同
- L2BEAT 將鏈分三類：Rollup、Validium/Optimium、Others
- 風險輪盤（Roset）涵蓋五維度：狀態驗證、資料可用性、退出窗口、提案者失效、排序器失效
Web3 安全
State of Fuzzing: Closing the Circle From Machine to Human and Back
- 智能合約狀態空間龐大，暴力覆蓋率導向模糊測試效率低
- 人工引導模糊測試（Human-guided）透過「流程」定義執行路徑，配合 Python 模型比對合約輸出
- 過去一年高危漏洞近半數為邏輯錯誤，而非輸入驗證問題
- AI 輔助（Erase Fuzzing）用 LLM 生成樣板代碼，節省約 50% 機械工作
Web3 安全
Governance as an Attack Vector
- 以太坊生態中已有約 5 億美元透過治理規則內的操作被盜
- ENS DAO 國庫 1.2 億美元，但有效投票權僅 2400 萬美元，套利空間明顯
- Compound DAO 情況更危險：治理合約直接控制協議本身，非僅國庫
- 已知攻擊者 Humpy 單獨阻擋了監護委員會的資金提案
Web3 安全
Off-Chain But Not Off Radar - DeFi Security Summit 2025
- 基礎設施程式碼規模遠超智能合約：Reth 97K 行、Lighthouse 150K 行、FireDancer 340K 行
- 人工逐行審計不可行，需組合多種技術擴展覆蓋範圍
- 使用 AI（Almanax + Deep Wiki）補充人工無法覆蓋的代碼區域
- 差分模糊測試可發現不同客戶端實作間的分歧漏洞
Web3 安全
Understanding Math-Heavy Code
- Solidity 缺乏浮點運算，數學庫用定點數（Fixed Point）填補
- 先讀公式、不要逐行讀代碼
- 用「最少觸發分支」的測試案例反推大常數含義
- 核心演算法為「Square and Multiply」（平方乘法）
Web3 安全
Bounding Rounding Errors in Integer Maths
- EVM 只支援整數運算，除法永遠向下取整
- `a/b * c` 最大誤差為 c 個單位，非直覺的 1
- ERC-4626 的 OpenZeppelin 公式結果可能「高於」真實值，最高接近 2 倍
- Z3 求解器可窮舉反例，無反例即代表誤差上界成立
Web3 安全
Building Crosschain Bridge across VMs
- Coin Gecko 追蹤 275 條區塊鏈，流動性嚴重碎片化
- 跨鏈橋分三種架構：鎖定鑄造、銷毀鑄造、鎖定解鎖
- EVM 循序執行，SVM 可平行處理未衝突狀態
- 三大攻擊面：中繼層中斷、重放攻擊、私鑰洩漏
Web3 安全
Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts
- 發現 2021–2025 年以太坊上至少 104 起針對 MEV Bot 的攻擊，總損失 276 萬美元
- 攻擊者透過惡意代幣、惡意流動池、惡意退款地址三條路徑混入 MEV 供應鏈
- MEV Bot 合約因控制流混淆，現有靜態分析工具覆蓋率極低
- 提出去混淆 + 歷史交易驅動符號執行 + 汙點分析的三段式解法
Web3 安全
RISC Zero Security Deep Dive: Architecture, Risks, and Review Methodology
- RISC Zero 用 Rust 寫訪客程式，編譯成 ELF 執行於 ZKVM
- 證明者（Prover）執行程式，輸出「收據」作為數學證明
- 驗證者（Verifier）只讀收據，約 4 行程式碼 + BLS 運算，消耗約 10 萬 Gas
- 訪客程式碼是安全關鍵核心，所有輸入驗證必須在此發生
Web3 安全
When One Dependency Breaks Everything: Securing the Web3 Toolchain
- TimeLock Controller 漏洞：排程檢查在執行後才觸發，攻擊者重入插入交易取得管理員權限，白帽獲賞 $25,000
- OpenZeppelin Access Control 誤用：被封禁用戶可自行撤銷封禁，因角色設計本為特權用途
- Glassworm：VS Code 惡意擴充套件，用不可見 Unicode 隱藏 payload，以鏈上 C2 控制，竊取 50+ 錢包金鑰
- 防禦三原則：Document（記錄）、Deflate（精簡）、Delve（深挖）
Web3 安全
How dApps Can Stop Money Laundering
- 北韓駭客把竊得資金換成 ETH，跨鏈橋接、借貸協議暫存，再透過中國 OTC 套現
- Bybit 事件後六個月，相關地址達 12,000 個，黑名單追蹤永遠落後
- Mantle 靠「延遲窗口 + 瀏覽器地址黑名單」成功攔截 15,000 顆 MNT
- 1inch 建立前端、協議、後端三層防禦，與 Zero Shadow 直接串接黑名單資料流
Web3 安全
The CPIMP Backdoor: Anatomy of a Multi-Chain Proxy Attack
- 攻擊者搶在部署者之前初始化代理合約，植入秘密中間代理
- 受感染代理允許小額轉帳、攔截超過 90% 的大額提款
- 升級操作會被攻擊者代理自動重新安裝，無法正常替換
- Etherscan 被舊版 OpenZeppelin 代理標準欺騙，顯示錯誤的合法實現地址
Web3 安全
Going Beyond 100% Coverage
- 100% 覆蓋率無法保證找到 Bug，程式碼覆蓋率對 Bug 不敏感
- 講者今年透過有狀態模糊測試阻止以太坊主網 2000 萬美元被盜
- 擴展覆蓋率需加入：隱含程式行、約束行為、隱含狀態、元屬性、世界分裂
- 真正有效的做法是讓測試套件切入更多面向，而非只追求覆蓋率數字
Web3 安全
Designing DeFi Resilience: Inside Aave V4’s Security Blueprint
- 將流動性供應與借貸策略拆分為 Hub（中心）與 Spoke（輻條）兩個模組
- 引入浮動風險溢價：抵押品風險越高，借款人支付利率越高
- 捨棄加權平均除法，改以「溢價本金加法」消除累積舍入誤差
- 使用 Certora Prover 形式化驗證「share rate 不下降」，確保協議永遠有償付能力
Web3 安全
Adversarial ERC-4626: How Vault-Share Manipulation Still Bypasses Listing Screens in 2025
- ERC-4626 Vault 匯率可被閃電貸 + 捐贈攻擊人為拉高
- Venus（zkSync Era）被操縱匯率從 1.07 → 1.7，導致清算套利
- Resupply 空 Vault 被操縱至 2e18，LTV 計算結果歸零，攻擊者免抵押鑄造 1000 萬 USD
- Vault 設計端與整合協議端各有具體防禦措施可實施
Web3 安全
Secure Protocol Upgrades: Lido V3
- Lido 目前 TVL 860 萬 ETH，是以太坊最大流動性質押協議
- V3 新增 ST Vaults 層，允許任何人無許可創建自訂質押金庫
- 開發歷時 17 個月、15,000 行智能合約代碼、3,500 次測試
- 金庫彼此隔離，不影響核心池 stETH 持有者
Web3 安全
Permissionless Governance with Institutional-Grade Security: The Gearbox Approach
- 採用信用帳戶（智能合約錢包）取代傳統資金池鎖倉模式
- 建立跨鏈多簽控制器，DAO 決策可同步部署至所有 EVM 鏈
- 打造鏈上字節碼庫（Bytecode Repository），消除部署環節的開發者機器被駭風險
- 使用雙預言機取最小值策略，防止價格操控觸發惡意清算
Web3 安全
Solana: The Bugs You're Missing | DeFi Security Summit 2025
- Solana 所有狀態存於帳戶，帳戶可創建、轉讓、刪除，整個過程形成可被利用的生命週期
- 關閉帳戶後若仍有其他帳戶持有其地址引用，即產生「懸空指標」
- 垃圾回收器在 lamport 歸零時自動重置帳戶所有者為系統程序
- 同一地址可多次被重建，造成舊引用指向語義完全不同的新帳戶
Web3 安全
Differential Fuzzing of the Vyper Compiler
- ABI 解碼器允許指標指向 payload 內任意位置（寬鬆模式），非嚴格驗證
- 內建 `abi.decode()` 操作記憶體緩衝區，舊版未驗證指標合法性，可讀取緩衝區外資料
- 純隨機輸入無效：256-bit 指標空間太大，幾乎不可能隨機命中邊界
- 解法：用 Python 寫規格實作，再對「毒指標」加偏置做差異模糊測試
Web3 安全
Economic Censorship Games in Fraud Proofs
- Layer 2 樂觀 Rollup 依賴挑戰期（約一週）保護欺詐證明不被審查
- 攻擊者可賄賂 L1 區塊提議者排除誠實方交易，使其計時器歸零
- 研究建立多輪博弈模型，推導攻擊者保證獲勝所需的最低預算比率
- 引入「特殊輪次」（攻擊成本為防守方 119 倍）可讓防守預算從 1,800 萬降至 550 萬美元
Web3 安全
Bulletproof Protocol for Set/Not-Set Membership Proofs: Security and Implementation Considerations
- Bulletproof 支援範圍證明、成員與非成員三類 ZK 證明
- 成員證明：向量乘積技術將集合問題轉為內積方程式系統
- 非成員證明：利用乘法群單位元特性構造約束條件
- 集合小（<200）用 Bulletproof；集合極大才改用 Merkle Tree
Web3 安全
Smart Contracts Fuzzing: Current Problems and Proposed Solutions
- 智能合約漏洞本質為兩步優化：選對函數序列 + 找到正確輸入參數
- 現有模糊測試工具無法處理動態陣列、外部呼叫依賴、代理合約等複雜結構
- 提出三層框架：LLM 靜態分析 → 狀態池引導 → GPU 平行執行 EVM
- 以 Balancer、Core、Realt 三個真實攻擊案例驗證框架可行性
Web3 安全
DSS 2025 Panel: Financial Security Risks of DeFi
- 10 月加密崩盤引爆 DeFi 連鎖反應，Stream Finance 損失 9300 萬美元
- Stream 在鏈下不透明配置用戶資金，無第三方驗證 NAV
- 策展人（Curator）模式興起，風險責任歸屬仍無共識
- 高收益必伴隨高風險，DeFi 缺乏標準化收益與風險展示
Web3 安全
Security of L1 vs L2s - DeFi Security Summit 2025
- Arbitrum、ZK Sync、Zircuit、Plasma 代表同台辯論 L1 vs L2 安全取捨
- Balancer 被駭後，Bara Chain 硬分叉、Polygon 審查攻擊者、Arbitrum 不動作
- Zircuit 內建鏈上安全偵測器，可在交易上鏈前即時攔截已知駭客攻擊
- ZK Sync 彈性鏈（Elastic Chain）透過 ZK 證明實現跨鏈無信任橋接
Web3 安全
Security vs. Censorship-Resistance: Can We Optimize for Both?
- Forda Firewall 嵌入 L2 sequencer，100% 掃描交易，攔截惡意行為
- 166 條鏈中有 35 條內建凍結機制（Bybit 報告）
- SUI 凍結 2.23 億美元 Cetus 駭客資金，Linea 暫停出塊阻止提款
- 樂觀 Rollup 詐欺證明可被「賄賂區塊提議者」的經濟審查攻擊瓦解
Web3 安全
AI-Powered Auditing: Hype, Reality, and the Future of Web3 Security
- 採混合式方法：推理模型 + 工具調用共存，非零和競爭
- LLM 擅長發現邏輯漏洞（文件與程式碼不符），但驗證真偽成本高
- GPT-5 等高推理模型在漏洞驗證上突破明顯
- 約 80% 加密協議無正式安全團隊，且用戶默認其有
Web3 安全
Using Solidity for Infrastructure - DeFi Security Summit 2025
- 建立「陷阱（Trap）」合約，持續監控鏈上狀態並自動觸發響應
- 使用 Solidity 編寫，無需學習新語言，40–60 行即可完成
- 填補現有安全體系的空白：應對攻擊發生後的情況，而非僅預防
- 具備自己的節點網絡與 ZKVM，可用雙核 CPU / 4GB RAM 運行節點
Web3 安全
Locking Down Safe Smart Contract Deployments w/ Key Management Policies - DeFi Security Summit 2025
- Web3 超過一半的資金損失源於私鑰洩露或錯誤使用
- 將私鑰鎖在伺服器端 HSM（硬體安全模組）中，搭配前置策略引擎實現最小權限控制
- 以 WASM 撰寫自訂策略，在簽署任何交易前驗證合約 bytecode 是否通過 CI 構建與審計核可
- GitHub Attestations 作為鏈外信任錨，確保上鏈的 bytecode 確實來自受控 CI 流程
Web3 安全
Beyond Private Key Security: Cosigners and Advanced Policy Engines - DeFi Security Summit 2025
- 70% 駭客攻擊已針對多簽（Multi-sig）與 MPC 錢包，而非單一私鑰
- BTC Turk 14 個月內兩度被盜，合計損失逾 1 億美元
- Bybit 駭客透過篡改 UI 讓簽名者在不知情下簽署 15 億美元惡意交易
- Blockade Cosigner 以模擬引擎自動驗證每筆交易，不依賴 UI 顯示
Web3 安全
Autonomous Guardians: The Future of Smart Contract Auditing - DeFi Security Summit 2025
- 主網 70% 被駭專案從未審計，主因是審計費用過高
- AI 審計工具單獨覆蓋率達 53%，手動分類可拉高至 77%
- 三個代理並用覆蓋率可達 92%，媲美普通人工審計員
- Agent Arena 平台讓任何人部署代理參賽，鏈上發放賞金
Web3 安全
Concord: Automatically Checking EVM Bytecode Equivalence - DeFi Security Summit 2025
- Certora 開發工具 Concordance，解決 inline assembly 破壞靜態分析的問題
- LLM 自動改寫程式碼後，Concord 正式驗證兩版本行為是否等價
- 不等價時給出具體反例（哪個輸入讓行為不同），再餵回 LLM 重寫
- 等價定義：相同輸入 → 相同 revert 狀態、返回資料、外部呼叫順序、log 順序、儲存最終值
Web3 安全
Hunting DeFi Predators: Forensic Analysis of Multi-Million Dollar Hacks - DeFi Security Summit 2025
- 攻擊者為 UNC4736（Lazarus Group），隸屬朝鮮民主主義人民共和國
- 竊取金額：5000 萬美元，跨多條區塊鏈網路
- 入侵方式：惡意 npm 套件藏於 zip 壓縮檔，感染開發者設備
- 手法核心：在瀏覽器層攔截 Gnosis Safe 簽名流程，替換交易內容
Web3 安全
Streamlining Security Audits with AuditHub - DeFi Security Summit 2025
- 推出 Audit Hub：單一平台整合程式碼審查、工具執行、問題追蹤與客戶溝通
- 提供三款工具：ZK Vanguard（ZK 靜態分析）、DeFi Vanguard（DeFi 靜態分析）、Orca（規範模糊測試）
- 工具基於形式化方法，具備正式保證（formal guarantees）
- 用自製工具重現 Resupply Finance 1000 萬美元漏洞的偵測路徑
Web3 安全
The Art of Manually Guided Fuzzing - DeFi Security Summit 2025
- Wake 框架用 Python 撰寫 Solidity 模糊測試，支援主網 Fork、可重現種子、縮小序列
- 測試由「流程（Flow）」與「不變量（Invariant）」兩部份構成
- Flow 模擬合約交易，Invariant 在每次 Flow 後自動斷言狀態正確性
- 差異化測試：在 Python 中建立 Solidity 合約的數學模型，比對兩者狀態是否一致
Web3 安全
OpSec Fundamentals Web3: Hands-On Tools and Recom. for Everyday Security - DeFi Security Summit 2025
- 70% 個人加密資產損失來自釣魚與社交工程，不是鏈上漏洞
- Bybit 駭客事件因兩個 OPSEC 失誤疊加：開發者被惡意 PDF 感染、簽名者未在硬體錢包上驗證交易
- 使用 revoke.cash 定期撤銷無限 token 授權
- 用 Docker + Danger Zone 隔離開啟不可信 PDF/文件
Web3 安全
Workshop: Security Agents, Not Alerts:A New Metalanguage for Live Threat Detection in DeFi
- DWQL 是 PostgreSQL 變體，原生支援 EVM 堆疊幀與 Solidity ABI 解碼
- 查詢由新區塊資料觸發，以「單調遞增」方式持續輸出警報
- 代幣帳本採複式記帳，每筆轉帳記兩條，方便計算淨轉移
- 回填策略讓系統模擬「從創世區塊起就在執行」的效果
Web3 安全
What We Talk About When We Talk About DeFi in Europe - DeFi Security Summit 2025
- MiCA 將穩定幣分為兩類：電子貨幣代幣（EMT）與資產參考代幣（ART），Circle 已取得 EMT 許可
- 目前無已核准的 ART 發行機構，ART 是 MiCA 合規最困難的部分
- MiCA 第 22 條豁免「完全去中心化」服務，但「完全去中心化」定義由各成員國自行認定
- 《數據法案》9 月 12 日生效，意外成為 EU 首個智能合約法律定義來源，且要求存取控制與可終止性
Web3 安全
DeFi Security 101 2025 - How Can I audit ZK circuits?
- ZK 本質是用更少資料證明你知道一組方程式的解
- 入門需具備代數流暢度或傳統審計攻擊思維其中之一
- Rust 30 天可上手；密碼學需 10 週；數學是終身課題
- Circom 是最容易入手的 ZK 框架，Plonky3 是 ZKVM 主流
Web3 安全
Formal Verification of Uniswap v4 Hooks - DeFi Security Summit 2025
- 形式化驗證可找到漏洞、也能在假設前提下證明屬性永遠成立
- Certora 驗證語言（CVL）類似 Solidity，會 Solidity 就能上手
- 工具把合約與規格轉成邏輯公式，求解器窮舉所有可能輸入
- 實測 Uniswap V4 官方教學 Points Hook，發現整數溢出真實漏洞
Web3 安全
Demystifying MPC for coSNARKs: How to Collaboratively Prove Sumthing - DeFi Security Summit 2025
- ZK-SNARK 的 prover 計算量昂貴，成為效能瓶頸
- Co-SNARK（2021）將 proving 外包給 MPC 節點網路
- 每個節點只持有 witness 的「分片」（share），無法還原原始秘密
- Sum-Check 協議讓 verifier 從指數複雜度降至線性
Web3 安全
DeFi Security 101 2025 - Ethereum Protocol Security 101
- 以太坊基金會安全團隊 10 人，覆蓋執行層、共識層、密碼學
- 協議安全影響整個網路；智能合約安全僅影響單一應用
- Geth 佔 41% 份額，Nethermind 40%，Besu 15%
- 差異模糊測試用於比對多客戶端輸出，找出共識分歧
Web3 安全
DeFi Security 101 2025 - The Intersection of L2 and Bridge Security
- L2 的 75% 資產來自第三方橋，不受 L2 安全保障
- 交易排序是 L2 安全核心，由單一 Sequencer 控制，15 分鐘後上鏈才算確認
- Layer Zero 等第三方橋可在任意時刻凍結/拒絕資產，L2 無法阻止
- ZK 橋提款約 1 小時，樂觀橋需等 7 天
Web3 安全
DeFi Security 101 2025 - Find Bugs with Stateful Fuzzing, Alex the Entreprenerd, Recon
- 靜態模糊測試（Foundry fuzz）只隨機化參數，無法測試操作序列，製造假安全感
- 狀態模糊測試（Echidna）自動排列「捐款 + sync」序列，突破 Foundry 測試盲區
- 目標漏洞：LP 預言機使用天真定價公式（pool value / totalSupply），可被失衡操作欺騙
- 初始僅現 2 wei 差異，切換優化模式後找到 663,000+ 倍價格通膨
Web3 安全
DeFi Security 101 2025 - From Fuzzing to Formal Verification | Kevin Lotz, Certora
- 模糊測試：隨機生成百萬組輸入，找到違反屬性的反例，覆蓋率受限於隨機性
- 形式化驗證：將程式碼與規格轉成邏輯公式，數學求解器一次涵蓋所有可能輸入
- Demo 1：组合彙編實作的 popcount 函數，Forge fuzz 100,000 次未發現 bug，Certora Prover 直接找到反例
- Demo 2：ERC-4626 Vault 的 solvency invariant，Prover 找到 `convertToAssets` 應 round down 卻 round up 的漏洞
Web3 安全
DeFi Security 101 2025 - Web3 Operational Security 101
- 99% 的區塊鏈資金損失源自操作安全漏洞，非智能合約
- 所有攻擊幾乎以社交工程為起點
- 北韓（DPRK）滲透 Web3 組織，估計佔徵才來信 35–50%
- Google 生態系單點失守等於密碼、2FA、Passkey 全失
Web3 安全
DeFi Security 101 2025 - Smart Contract Auditing 101
- 審計核心是閱讀程式碼，理解後再破壞它
- 先建立深度專業知識，再橫向拓展廣度
- 限制社群媒體時間、保持專注是提升效能的基礎
- 協作審計效果大於單打獨鬥，溝通是最被忽略的軟技能
Web3 安全
DSS Webinar | Trillion Dollar Security
- 以太坊基金會針對整個Web 3生態進行安全調查，收集150人訪談與300份回覆
- 確定六大優先安全領域，其中錢包安全與用戶體驗成為最迫切問題
- 採用三階段方法：映射問題→執行解決→溝通進展
- 建立業界標準、漏洞數據庫、應急機制與人才培育機制
Web3 安全
DSS Webinar | Automation Security with Brahma, CoW Swap & Mimic
- Mimic 推出三層無需信任自動化協議（規劃層→執行層→安全層），已處理 70 億美元交易量
- Brahma 解決密鑰管理、交易並行化、狀態驗證三大難題，推出可編程錢包與交易卡防護
- 兩家共識：自動化必須通過鏈上強制執行和智能合約驗證，而非依賴服務商
Web3 安全
DSS Webinar | ZK Security with Starkware and Aztec Founders
- Aztec 支援完全加密交易和隱私狀態，使用本地客戶端證明模型
- Starknet 是驗證 rollup，強調可擴展性而非隱私，基於對稱密碼學假設
- ZK 系統有 4 個獨特攻擊面：密碼原語、協議安全、算術化、代碼實現
- 安全審計應聚焦高階語言和中間表示，無需掌握底層密碼學
Web3 安全
DSS Webinar on June 18th | Web 3 Security in Argentina
- 库函数审计≠系统安全，组合使用时攻击面会扩大
- 通过完整测试套件（单元、模糊、变异）在审计前把关，减少审计工作量
- 设计简洁优雅的系统比复杂系统更容易审查和维护
- 多链环境改变安全假设，需重新评估威胁模型
Web3 安全
DSS Webinar | Multisig Security, with Mudit Gupta, Taylor Monahan and Fredrik Svantes
- 社交工程是駭客入侵主要途徑，多層防禦可阻止單點失敗造成的損失
- 硬體錢包配合多簽是資金保護基礎，需根據金額選擇不同閾值（$50萬需2之3、$1千萬需3之5）
- 個人用戶最簡單防護：日常設備與加密簽署設備分離
- 企業需部署EDR/MDM監控與最小權限原則，月成本$5,000起
Web3 安全
DSS Webinar | Multisig Security, with Mudit Gupta, Taylor Monahan and Fredrik Svantes
- Lazarus（朝鮮駭客）所有攻擊皆以釣魚或社會工程為入口
- 多簽門檻建議：50萬美元以下 2/3、幾百萬 3/5、1000萬 5/7、5000萬以上 9/11 或更高
- 個人簽名者必須使用硬體錢包，禁用軟體私鑰
- 簽名設備應與日常設備分離，MDM/EDR 可攔截 90% 攻擊
Web3 安全
Operational Security in Web3: a review of major OpSec incidents
- Bybit 損失 15 億美元，源自第三方 Safe 前端被植入惡意程式
- 99% 重大攻擊以社交工程為入口，與技術能力無關
- 硬體錢包仍可被繞過：攻擊者在前端篡改待簽交易內容
- TOTP 驗證碼（Google Authenticator 等）可被釣魚頁面即時截取
Web3 安全
Smart Contract Security and On-Chain Fraud Prevention with AI | DSS Monthly Webinar (March 10th)
- AI加速開發效率（代碼生成、單元測試），但單獨用於漏洞檢測風險高：精度96.6%、召回率僅37.8%
- Olympics提供部署前檢測工具，需結合規則型基礎設施，不能純依賴LLM
- Hyper Native用實時AI監控逐塊上異常交易，已成功阻止多起攻擊與欺詐
- 鏈上欺詐（地址投毒、錢包排空、豬殺盤）年度損失達數億美元，AI圖譜模型可識別異常交互
Web3 安全
Ethereum Client Security | DSS Monthly
- EF 協議安全團隊管理最高 50 萬美元 Bug Bounty（Dencun 上線前兩週雙倍）
- Geth 有 12,446 條單元測試，執行時間不到 2 分鐘
- Shadow Fork 在主網流量下測試新功能，曾觸發 60 萬區塊 reorg
- 驗證者市佔超過 33% 的客戶端宕機會引發 inactivity leak，18.2 天內損失 60.7% 質押
Web3 安全
Demystifying Smart Contract Security: Facts & Fallacies | DSS Monthly Webinar (February 4th)
- 過去三年協議對安全重視度大幅提升，因駭客攻擊和投資者要求
- 每個協議應設置專職安全負責人，無法完全外包
- 審計仍以人工分析為主（80-90%），工具輔助發現明顯漏洞
- 行業缺乏統一術語標準，但需要軟性基準線而非硬性認證
Web3 安全
Aptos - DeFi Security Summit 2024 Gold Sponsorship Interviews
- 源自 Facebook Libra/Diem 計畫，目標支撐數十億用戶規模
- 使用 Move 智能合約語言，設計之初即以安全為核心
- 每兩週持續發版，從 devnet → testnet → mainnet 分層上線
- 目前達到數萬 TPS、次秒延遲
Web3 安全
Specification and Model-checking of the ZKsync Governance Protocol | Igor Konnov
- ZKGovernment 有四個實體：代幣大會、守護者、緊急升級委員會、安全理事會
- 用 Quint 語言將 Solidity 合約轉為狀態機規範，共約 40 個動作、45 個不變量
- 三種工具依序使用：隨機模擬器 → 隨機符號執行（Z3/Apalache）→ 有界模型檢查器
- 100,000 次隨機執行耗時 3 小時；有界模型檢查（9 步交易）耗時 10 天
Web3 安全
Web3 Security is Embarrassing: Why We Can and Must Do Better | Andrew MacPherson (Privy)
- Web3 在 2024 上半年因釣魚損失 3.14 億美元
- 功能完整的釣魚工具包在 Telegram 上只賣 600 美元
- 已知惡意網站中 68% 由 Cloudflare 託管
- App Store 充斥假冒應用，攻擊者靠一個 HTML 表單騙走數百萬
Web3 安全
Aave: evolving slow systems in the age of speed | Ernesto Boado (BGD Labs)
- Aave V3 已部署於 11 個網路，管理資產超過 100 種，市值達數十億美元
- 推出流動性模式（Liquidity Mode），允許單一資產加入多個 E-mode，解鎖 LRT/LST 用例
- 引入虛擬帳戶（Virtual Accounts），以內部會計取代即時餘額查詢，防禦通脹攻擊
- 所有協議變更須通過鏈上治理投票執行，BD Labs 僅負責審核而非單方決策
Web3 安全
Approaching security with Aave V4 | Emilio Frangella (Aave Labs)
- Aave V3 代碼庫約 7000 行，攻擊面大
- V1 到 V3 的流動性管理部分幾乎未變，借貸部分不斷演進
- V4 將流動性層抽離為獨立「流動性中心（Liquidity Hub）」
- 多個「輻條（Spoke）」模組可獨立從中心取用流動性
Web3 安全
Solving State Bloat with State Archival: Risks and Mitigations | Garand Tyson (Stellar)
- 區塊鏈狀態永久儲存導致資料庫無限膨脹，Merkle 結構使傳統快取無效
- 引入 TTL 機制：到期未續費的狀態自動歸檔並從驗證節點刪除
- 歸檔狀態以不可變 Merkle Trie 存於鏈外，可透過存在性證明隨時恢復
- 三種攻擊：雙重恢復、惡意歸檔、雙重 Nonce，各有對應防禦方案
Web3 安全
The challenges of non-custodial embedded wallets | Thibault de Lacheze-Murel (Dfns)
- 嵌入式錢包用郵件/生物辨識取代助記詞，底層用 MPC 或 Secret Sharing 分散私鑰
- 恢復流程依賴 DApp 儲存的身份驗證令牌（auth token cookie）
- 若 DApp 持有該 token，任何能讀取 cookie 的人皆可還原私鑰
- 安全測試方法：清空本地存儲後刷新頁面，若錢包自動恢復則代表設計不安全
Web3 安全
Hacking on Solana | Robert Reith (Accretion)
- Solana 禁止跨程序重入，但允許程序呼叫自身
- 多簽合約（Multisig）、EVM-on-Solana、橋接合約、閃電貸均為潛在攻擊目標
- EVM-on-Solana 的重入漏洞可導致 ERC20 雙花，屬 Critical 級別
- 修復方式：先寫效果到鏈上再執行互動（Checks-Effects-Interactions）
Web3 安全
Dynamic Restaking Security | Tarun Chitra (Gauntlet)
- Restaking 本質是去中心化配對市場，驗證者（供給）對接 AVS 服務（需求）
- 同一份 Stake 可同時為多個服務擔保，遭 Slash 時全面受損
- 攻擊成立條件：利潤 > Slash 損失，且持有足夠門檻比例的 Stake
- 過度重疊的 Stake 分配會引發「級聯攻擊」，最壞情況燒毀 100% Stake
Web3 安全
The 2016 Shanghai Attacks: History and Technical Deep Dive | Hudson Jameson (Polygon Labs)
- 攻擊發生於 2016 年 9 月 18 日，Devcon 2 開幕前 6 小時
- 攻擊利用 EXT code hash opcode 定價過低，大量呼叫導致 Geth 記憶體耗盡崩潰
- 第二波攻擊透過 SUICIDE opcode 建立 1,900 萬個空帳戶，造成狀態膨脹
- Parity 客戶端（RocksDB）撐住，維持網路不中斷
Web3 安全
AI-Driven Prevention of Malicious Blockchain Transactions | Carlos Salort Sanchez (Forta)
- 偵測攻擊≠阻止攻擊，既有監控系統反應太慢
- 開發「無狀態防火墻」：只看單筆交易本身，不依賴歷史鏈上狀態
- 訓練深度學習模型輸出 0–1 風險評分，用戶自設攔截閾值
- 9 月實測：偵測到 99.8% 攻擊損失交易，理論可防禦 4000 萬美元中的 3990 萬
Web3 安全
Not a Walk on the Block: A CISO’s Journey from Web2 to Web3 | Haim Krasniker
- Web3 攻擊在數分鐘內上鏈執行，傳統事件響應窗口消失
- 北韓 Lazarus 集團等國家級行為者是最高等級威脅
- 惡意內部人員動機更強，因可獲取私鑰或執行 Rug Pull
- 事件響應計劃必須去中心化、預先寫好劇本
Web3 安全
Using Forta Firewall to block exploit transactions | DSS Monthly Webinar (January 7th)
- 在交易進入區塊前進行實時掃描與風險評分
- 使用自訓練 AI 模型檢測惡意行為，準確率 93%
- 誤報率千分之二（每 50 萬筆交易一次誤判）
- 與 RPC 層集成，對 L2 無額外開發成本
Web3 安全
Transient storage, a transient trend? | Valerian Callens (Quantstamp)
- Transient Storage 源自 EIP-1153，於 Dencun 升級正式上線
- 比持久存儲便宜，交易結束後自動清零
- Uniswap V4、Balancer V3 已用於 Flash Accounting
- 主要安全風險：槽衝突、並發訪問導致的 DoS
Web3 安全
Stellar - DeFi Security Summit 2024 Gold Sponsorship Interviews
- Stellar 為 2015 年成立的 L1 區塊鏈，聚焦跨境支付與金融普惠
- 今年推出 Soroban 智能合約平台
- 從協議層面禁止重入攻擊，並內建開發者測試工具
- 建立「審計橋」計劃協助小團隊獲取審計資源
Web3 安全
Common Vulnerabilities in Bridges | Kirk Baird (Sigma Prime)
- 重放攻擊：隨機數轉型不當會洩露200+位元給攻擊者，導致資金被盜
- 未限制外部調用：允許呼叫任意代幣合約，攻擊者可直接轉移橋接資金
- ERC20 問題：不同鏈小數位數不同（USDC 在以太坊 6 位、其他鏈 18 位），轉進轉出會增長 10^12 倍
- 多簽攻擊：線下攻擊或直接接觸簽署者可構造假的可信根，竊取全部存款
Web3 安全
AAVE - DeFi Security Summit 2024 Gold Sponsorship Interviews
- Aave 為最大 DeFi 協議，用戶可用加密貨幣抵押借入穩定幣
- 從中心化開發演變為多方貢獻的去中心化模式
- 使用 Seatbelt 工具分析治理提案防止漏洞與惡意執行
- Smart contract 應採用 NASA 級航太產業的安全標準
Web3 安全
Bug bounty horror stories | Joran Honig (Consensys)
- FA 錢包漏洞直接在主網自毀，事後才用 GitHub issue 回報
- Kraken 安全公司盜走 300 萬美元「測試」漏洞，數週後才通報
- Skyers Swap 被駭 5,500 萬美元，黑客隔天才提出「整間公司」的荒唐要求
- DAO 論壇參與賞金分配會演變成互相謾罵，降低已談妥的賞金
Web3 安全
Firewalling Decentralized Protocols | Assaf Eli (Ironblocks)
- 2018 年首次 DeFi 駭客事件，Benor 成功阻擋，守住 35 億美元
- 現有安全工具（審計、fuzzing）只保護部署前；鏈上防火牆保護部署後的執行期
- 鏈上 hook + 鏈外去中心化驗證節點組成完整防護架構
- 測試範圍：22 個月以太坊數據（2023/01–2024/09），涵蓋 60-70 起駭客事件
Web3 安全
Securing Crypto-Economic Systems - Anto (EigenLayer)
- Eigenlayer 在以太坊上引入再質押機制，允許已質押代幣的驗證者保護其他網絡
- 透過共享安全模型提高資本效率，多個 AVS（虛擬安全系統）共享經濟安全保障
- 新發佈的懲罰機制引入「唯一權益」與「總權益」概念，確保攻擊成本更高
- 設定分配延遲與取消分配延遲，防止惡意運營商快速攻擊與提取質押
Web3 安全
Formal Verification of the INTMAX2 Protocol | Denisa Diaconescu (Nethermind)
- Inmax 2 是無需許可的 Validium Rollup 擴容方案，鏈上數據僅需 5 字節
- 當前可處理 7500 TPS，區塊大小增加後可達 Visa 級別交易量
- 使用拉蒂斯有序群設計余額函數，自動防止雙重支付
- NetherMind 用 Lean 4 完成約 3300 行形式化驗證代碼
Web3 安全
Rust in Peace: Breaking Rust-based blockchains | Luis Quispe Gonzales (Halborn)
- 講者介紹Rust區塊鏈交易完整生命周期：錢包→全節點→驗證者→共識→執行→虛擬機→儲存
- 審計重點在各層組件邊界防護，因為任何人可運行全節點，惡意行為者可在多環節攻擊
- 真實案例：Sui的批次交易繞過驗證、Rollup的序號驗證不全導致無限免費交易、反序列化漏洞能癱瘓整條區塊鏈
- 審計方法：手動審查、Fuzzing測試、形式化驗證缺一不可
Web3 安全
Web3 Security: Revolution or Evolution of Web2 Security Principles?
- Web3安全非獨立領域，必須應用1969年起的安全原則（Saltzer-Schroeder原則）
- 最薄弱環節是人（釣魚、社工），非代碼，需用U2F金鑰取代密碼培訓
- 協議預算集中審計智能合約，忽視Web2層面（域名、Twitter帳號控制）
- 應採漸進式部署、限額發布、自動應急機制，而非靜止等待完全安全
Web3 安全
Quantstamp - DeFi Security Summit 2024 Gold Sponsorship Interviews
- Quant stamp 是 Web3 原生安全公司，審計以太坊、Ton、ICP 等的智能合約
- 開發 ERC-4337 檢查工具、貢獻 ERC-6900 模塊化標準、進行開源研究
- 自身運營面臨第三方代碼風險、全球遠程員工、背景審查等挑戰
- 業界需轉向全面安全策略，補齊 Web2 側面（私鑰、DNS 劫持等）缺口
Web3 安全
Eigen Layer - DeFi Security Summit 2024 Gold Sponsorship Interviews
- EigenLayer 是共享安全協議，用 ETH/ERC20 代幣為新網絡和跨鏈橋接提供經濟安全保護
- 採用多點存儲策略：Fireblocks、Coinbase、保險庫分散密鑰，避免單點故障
- 4 家以上頂尖審計公司（含 Sora）進行代碼審查，並舉辦審計競賽
- 經濟層安全與代碼層安全同等重要，需兼顧 DeFi 數學模型的堆疊邏輯
Web3 安全
Risk isolation - Building Single Purpose Protocols | Merlin Egalite (Morpho Labs)
- DeFi 已被駭客竊取 65 億美元，現有範式無法支撐 470 兆美元金融市場
- 減少協議治理層級與可升級空間，降低攻擊面
- 風險隔離於各自池子，一個池子故障不波及整體
- 刪除非核心功能，外包給上層構建者而非協議本身
Web3 安全
A deep dive into DeFi liquidations | Viktor Yurov (MixBytes)
- 閃現崩潰導致資產價格急跌，觸發連鎖清算
- 傳統清算逐個執行，成本高且易積累壞賬
- Curve LLAMA用帶狀分段、Fluid用Tick分組實現批量清算
- 改進方案包括優化gas架構、靈活閾值、多重預言機
Web3 安全
Security Lifecyle for DAO Proposals | Michael Lewellen (OpenZeppelin)
- 無許可治理機制增加協議攻擊面，需嚴格安全流程
- 審計不足以保障安全，需加入鏈上模擬驗證
- Proposal 117 因配置錯誤導致市場凍結，審計無法發現
- Humpty 事件顯示單一大戶可能操縱投票，需多重簽名防範
Web3 安全
A cat-and-mouse game: how to frontrun a transaction in the future | Qi Su (FuzzLand)
- 識別Flash Bot採用兩階段攻擊模式（部署合約＋觸發交易）
- 採用模糊測試快速探索合約執行路徑，在12秒內找出漏洞
- 模糊測試相比符號執行快速得多，無誤報，易於建置原型
- 局限：多參數時搜尋空間指數增長、依賴輸入生成品質、覆蓋路徑不夠徹底
Web3 安全
500 days of Security Summer | Sara Reynolds (Uniswap)
- 採用單例合約架構而非 V3 工廠模式，集中存儲管理資金池
- Hooks 權限從 1 個標誌細粒度化為 4 個，防止惡意鎖定流動性
- 使用 Foundry 框架進行單元、模糊、集成測試，對比 V3 數學運算驗證
- 進行 9 次專業審計 + 220 萬美元漏洞競賽，歷時 5 個月
Web3 安全
Battle of the Languages
- Move 於 2018 年創建，融入形式驗證與類型安全，字節碼可完全驗證與反編譯
- Solidity 因簡潔和易用性贏得市場，安全問題源於應用邏輯而非語言本身
- Rust 強制記憶體安全，消除整類安全漏洞，但陡峭學習曲線需開發者轉變思維
- 編譯器錯誤防止靠模糊測試、斷言檢查和多代碼生成管道驗證，無銀彈方案
Web3 安全
The Current State of Audit Contests | Jack Sanford (Sherlock)
- 審計競賽 2024 年達 221 場（創紀錄）、獎金 $10M+，安全研究員數翻倍
- 審計競賽 = 傳統審計 × 漏洞賞金的混合體
- 新趨勢：市場出現「審計型」（固定報酬、全覆蓋保證）與「漏洞賞金型」（變動報酬、無保證）兩種
- 必須區分術語，勿將漏洞賞金競賽誤稱為「審計」
Web3 安全
The State of DeFi Security - 2024 | Peter Kacherginsky (Coinbase)
- 智能合約安全已成熟，Price Oracle/Reward操縱損失下降75-90%
- 72%損失源自運維安全（私鑰被盜$450M、內部人士$95M），非代碼漏洞
- 威脅行為者分層升級：個體開發者→犯罪APT→民族國家APT，拉撒路集團造成$3.5B損失
- 補救方案：多簽時間鎖、鏈上監控、人員反釣魚、簽名專用機
Web3 安全
The challenges of building, scaling and securing DeFi protocols
- 六年來DeFi已成熟，Aave發現編譯器LLVM漏洞
- Morpho從上層優化器演進為獨立借貸協議
- Oiler V2經歷700天審計、Cantina競賽472個issue
- Uniswap V4建立完全不可升級的新架構
Web3 安全
Hexens - DeFi Security Summit 2024 Gold Sponsorship Interviews
- Hexin 是專注區塊鏈的全面網路安全公司，提供智能合約、網站、網絡等整體防護
- 主要產品 Glider 是一個合約查詢框架，可在 EVM 鏈上搜尋符合邏輯描述的已部署合約
- 公司內部採零信任架構、應用安全團隊把關，充分利用內部安全資源進行審查
- 2025 年計劃提升 Glider 速度與功能、舉辦 CTF 比賽、推行高級集成測試
Web3 安全
Sigma Prime - DeFi Security Summit 2024 Gold Sponsorship Interviews
- Sigma Prime成立8年，專門提供區塊鏈安全評估與研究
- 開發Lighthouse共識客戶端，支撐以太坊三分之一的區塊
- 業務跨越智能合約審查與多層級區塊鏈協議工作
- 2025年重點為以太坊Pectra升級做技術準備
Web3 安全
Introduction to SEAL | samczsun
- Seal 是保護加密貨幣安全的非營利組織，使命確保生態系統安全
- 實施解決方案是最難的一步，需要取得共識、說服他人參與
- Viper 零日漏洞事件（超過 5000 萬美元損失）催生了 C91 應急平台
- C91 已處理超過 12200 個工單，成功應對 Radiant Capital 攻擊、Tapioka 社交工程攻擊等重大事件
Web3 安全
The Bug Hunter’s Guide to High-Quality Reporting | Arbaz Hussain (Immunify)
- 優質報告需具備：清晰標題（攻擊向量+源頭+最終影響）、完整描述（正常行為 vs 惡意行為對比）、深度影響分析（超越表面漏洞講後果）、實用PoC（含依賴、設置、輸出演示）、誠實可行性分析（成本、限制、繞過方案）。
Web3 安全
Enhancing Test Coverage: A Framework for Effective Protocol Security | Dmitry Zakharov (MixBytes)
- 100% 代碼覆蓋率無法保證捕獲嚴重漏洞
- 應用三種思維方式編寫測試：黑客思維、形式驗證思維、系統架構師思維
- 單元測試和集成測試只是基礎，需要額外的安全層防止已知漏洞
- Mix Bites 累計 250+ 審計案例，驗證此框架有效
Web3 安全
Story time! A Year of SEAL War Games | Kelsie Nabben & Isaac Patka
- 演練分三階段：開源情報收集、桌面推演、分叉網絡真實模擬。檢驗監控、通訊、應急流程有效性。涉及開發者、審計人員、通訊法務等跨職能參與。提供開源工具包、免費演練和付費加急服務。
Web3 安全
Security Considerations when using Pull Oracles | 0xmonsoon (OpenZeppelin)
- 區塊鏈無法原生存取外部數據，需用預言機導入
- 推送預言機由網路主動更新，安全性高但成本極高
- 拉取預言機由用戶負責提交價格，支持更多鏈但需驗證有效負載
- 拉取預言機按執行模式（原子 vs 延遲）分類，也按驗證方式（外部 vs 內部）分類
Web3 安全
Enhancing Protocol Security With ZK-Oracles | Victor Petrenko (Lido), Eugene Kolpakov
- 使用sp1 ZK虛擬機驗證從共識層提取的數據
- 消除Oracle委員會單點信任，引入零知識第二意見機制
- 將beacon state驗證壓縮為鏈上可驗證的proof，削減計算量
- 完成Sepolia測試，待主網啟用
Web3 安全
The White Hat Safe Harbor: A deep dive in protecting white hat rescue ops
- 白帽安全港是法律框架，保護在協議遭攻擊時刻進行善意干預的人員
- 提前簽署協議取消「未授權訪問」指控的法律基礎
- 采取行動的白帽獲得責任豁免與獎勵承諾
- 已有5個協議採用，包括Balancer
Web3 安全
What your auditor REALLY thinks but is afraid to tell you...
- 安全責任歸項目方，審計只是輔助，不能保證安全
- 設計階段要做安全評估，不要等到部署前才審計
- 常見失誤：測試不足、多重簽名配置差、依賴管理缺失
- Frameworks 網站 security alliance.org 提供行業最佳實踐文檔
Web3 安全
Enhancing L2 Security with Sequencer-Level Protection | Phillip Kemper (Zircuit)
- 二層網路需在序列器層引入安全驗證
- 使用AI預言機進行交易風險評估
- 危險交易被隔離而非拒絕
- Circuit已上線運行，分析40萬+交易，零誤報
Web3 安全
Why DeFi Security Matters | Mooly Sagiv (Certora)
- DeFi 每年因 bug 損失數十億美元，密鑰管理問題損失超過 50 億美元
- 威脅涵蓋智能合約漏洞、DNS 攻擊、供應鏈攻擊、Twitter 被盜等跨 Web2-Web3 問題
- DSS 是免費年度會議，連接 Builders、Tool Providers、Auditors 三大社區進行協作
- 安全防禦需要 shift left、artifacts、tools、process 四管齊下
Web3 安全
Capture the Spec (Competition) | Tomer Ganor (Certora) - DSS 101 2024
- 舉辦Solidity合約開發比賽，為期三天（今明後天）
- 提供CVL規範和不變性定義，參賽者只需編寫Solidity代碼
- 前三個完成驗證的團隊各得1000美元
- 最高效實現額外獲500美元獎勵
Web3 安全
Security considerations when building Hooks in Uniswap V4 | Jota Carpanelli (OpenZeppelin)
- Uniswap V4 讓任何人部署鉤子合約在交換、流動性操作前後執行自定義邏輯
- 鉤子函數完全公開，任何人可呼叫；單個鉤子可被多個池使用
- 主要風險：多池衝突、訪問控制缺失、邏輯錯誤、操作回滾、可升級性問題、DoS、預言機操縱
- 需使用映射隔離池狀態、添加權限修飾符、防止任意外部調用
Web3 安全
Leveraging knowledge to transition between blockchain stacks | Jonatas Martines - DSS 101 2024
- Ethereum和Solana架構根本不同：單一智能合約 vs 程序+帳戶分離、18小數 vs 9小數(Lamports)、單一交易函式 vs 多函式調用
- 不看教學影片，直接閱讀真實專案程式碼配合文檔查詢，在實踐中循環學習
- Rust語法基礎可在一周內掌握，重點是理解Anchor框架的lib.rs入口、instructions目錄和state定義
- Ethereum安全知識可直接複用，加學Solana特有漏洞(帳戶生命週期、型別交叉、重初始化)
Web3 安全
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
- Lean 是交互式定理證明工具，由 Leonardo de Moura 於 2012 年創立
- 支援依賴型別、函數式編程與形式驗證的整合
- 將命令式語言語法嵌入 Lean，定義語義並證明優化的正確性
- 應用於 StarkNet L2 智能合約驗證工具 Egis
Web3 安全
Secure development of smart contract systems | Elliot Friedman (Solidity Labs) - DSS 101 2024
- 智能合約按治理程度分三類：不可變、最小化治理、高度治理依賴。
- 安全成本分層：單元測試＜集成測試＜符號測試＜形式化驗證＜代碼審查＜審計＜漏洞賞金。
- 部署腳本與治理提案常成盲點，因開發者聚焦複雜邏輯而忽視參數設置。
- Forge 提案模擬器可測試治理提案，捕捉儲存槽位錯位、參數不匹配等難發現的缺陷。
Web3 安全
Foundry-based Formal Verification | Juan Conejero (Runtime Verification) - DSS 101 2024
- Control是Runtime Verification開發的形式化驗證工具，為以太坊智能合約提供形式化方法
- 使用符號執行而非具體執行，能探索完整狀態空間
- 基於Foundry框架，支持K語言編寫引理
- 通過符號執行樹和循環變體驗證複雜邏輯，達到完全數學保證
Web3 安全
Smart Contract Security Through Damn Vulnerable DeFi v4 | Tincho (The Red Guild) - DSS 101 2024
- Damn Vulnerable DeFi是Red Guild開發的免費開源學習平台，包含18個真實DeFi漏洞
- 無需登錄、無需付費、無需外部服務，僅需Foundry即可本地運行
- 涵蓋Flash Loan、重入攻擊、任意調用、治理漏洞等常見攻擊向量
- 講者現場用Solidity編寫exploit code，示範Thruster和Side Entrance兩個挑戰的完整解法
Web3 安全
Finding Bugs: 42 Tips from 4 Security Researchers | Desmond, Joran, Nat, 0xRajeev - DSS 101 2024
- 大多數漏洞源於未驗證的假設和代碼不一致性
- 需同時看有什麼、缺什麼、行外的三個層次
- 從資產、行為者、行為三角度系統性思考
- 通過深入和廣泛的多維度分析方法
Web3 安全
The Road to Venn Network Testnet | DSS Monthly Webinar (October 30th)
- 填補智能合約部署後、交易執行前的安全漏洞
- 鏈上防火牆模組 + 去中心化運營者網路即時驗證交易
- 測試網已上線，誤報率遠低於 1%、漏報率遠低於 10%
- 延遲低於 200ms；支援自訂防護邏輯與靈活開關
Web3 安全
How to diagnose a faulty compiler: the LLVM bug | DSS Monthly Webinar (September 23rd)
- 發現：Aave 在 zkSync 激活時允許用戶不清償借款就提取全部抵押品
- 根因：LLVM 最佳化器用 64 位魔術常數最佳化 256 位運算，導致位旋轉錯誤
- 症狀：清除一個儲備的借用位會連帶清除之前所有儲備的借用與抵押位
- 修復：LLVM 上游已更新常數生成方式，更新編譯器即解決
Web3 安全
Restaking Security: Challenges and Best Practices | DSS Monthly Webinar (September 4th)
- Restaking 使已質押的資本為其他協議提供經濟安全，獲得協議費用獎勵
- Eigenlay 已吸引逾 100 億美元質押資產，支援任意 ERC20 代幣
- 安全防線包括 7 天提款延遲、24/7 監控、多簽治理、200 萬美元 Bug Bounty
- Symbiotic 強調網路完全自主控制質押基礎設施，引入「可遷移性」設計避免中心化升級
Web3 安全
Restaking Security: Challenges and Best Practices | DSS Monthly Webinar (September 4th)
- Restaking 讓已質押的 ETH 為外部協議提供經濟安全，無需分散資本
- Eigen Layer 已承載 10+ 億美元，支持任意 ERC20，具 7 天提取延遲與多層監控
- Symbiotic 採可遷移合約設計，確保網路完全控制升級路徑
- 兩協議都強調安全責任在網路端，需評估抵押品風險與多樣化來源
Web3 安全
Fuzzing vs Formal Verification — Panel discussion | Web3 Security Summit
- Fuzzing 2-3 天可上手，形式驗證需數週甚至更長學習曲線
- 有限預算優先選 Fuzzing，覆蓋率高且迭代快
- 形式驗證擅長找多條件交叉的深層邏輯錯誤，Fuzzing 找不到
- 寫出正確的 invariant（不變量）是兩種方法 80-90% 的難度所在
Web3 安全
dApp Security: Creating a Trusted Web3 Space — Mike Krupin | Blockscout
- Web3 每年被盜金額維持不變，DeFi 平台為主要攻擊目標
- Merket Finance 因智能合約漏洞被盜 3,100 萬美元
- BlockScout 整合 Solidity Scan 分析鏈上合約，顯示漏洞分類與驗證合約數
- 目前支援 Optimism、Gnosis、Base、Zeta Chain、Light Link 等鏈
Web3 安全
Zero Knowledge security for beginners — Laurence Kirk | Extropy.io
- ZK 系統由「Prover（證明者）」與「Verifier（驗證者）」兩角色構成
- 核心安全屬性：completeness（正確證明被接受）與 soundness（錯誤證明被拒絕）
- 最常見漏洞：under-constrained circuit（電路約束不足），讓攻擊者提交假證明
- 有限域（finite field）運算若忽略模數邊界，導致 overflow/underflow 攻擊
Web3 安全
Unveiling WasmCov — Noah Jelich | Independent Security Researcher
- wasm 環境缺乏原生 coverage 工具支援，整合測試無法量測覆蓋率
- Rust 巨集只在編譯至 wasm32 時觸發，本地單元測試根本打不到
- 解法：插樁 → 從 VM 記憶體提取 profraw → 跨編譯至 x86 繞過 wasm 的 llvm-cov 缺陷
- 移除 wasm 特定記憶體操作（以 unreachable 替換）後覆蓋率報告成功產生
Web3 安全
Novel on-chain oracle manipulations — Pietro Carta | ChainSecurity
- 以太坊 PoS 下，Proposer 可預知自己的出塊時間，得以策劃跨區塊操控
- 攻擊者可花約 1 ETH 賄賂未來出塊者自我 Slash，換取一個「無人套利」的空窗區塊
- 採用 FIFO 排序的 L2（如某些 Rollup）允許任何人對未公開的交易進行時序夾擊
- Uniswap V3 TWAP 對此類攻擊無上限防禦，Curve EMA 限制單次影響最多 2 倍
Web3 安全
Why Forks Fail Often: Changing Risks with Unchanged Code — engn33r | yAudit
- Fork 安全代碼不等於繼承安全性
- 代碼本身沒變，但鏈上環境、治理決策、依賴協議都在變
- 安全範疇不只是合約本身，還包含所有鏈上互動
- 審計後不能當安全護符，部署後仍需持續監控
Web3 安全
Crypto Sentry: Threat Modelling Web3 Infrastructures — Rahul Saxena | zkSync
- 內部安全團隊≠審計，核心職責是威脅建模、跨團隊橋接、PR 安全審查
- ZKSync 為 Type 4 ZK EVM，使用自研 Bujam 證明系統，非通用 Circom
- 最大挑戰：工程決策在孤立團隊間做出，安全組負責打通跨組溝通
- 漏洞賞金提交多為「廣撒網」式，需有全系統視角才能正確分級
Web3 安全
Detecting real-world Vulnerabilities — Yannis Bollanos | Dedaub
- 現有自動化工具僅偵測 20-30% 漏洞，誤報率高導致工程師棄用
- 分析管線由 Gigahorse（EVM 反編譯）+ Symbolic（路徑敏感符號分析）+ Datalog（查詢引擎）組成
- Sturdy Finance 被盜 80 萬美元：Balancer LP token 讀寫重入導致抵押品價格膨脹
- Arcadia Finance 被盜 50 萬美元：「部分所有權」重入繞過健康度檢查
Web3 安全
Wake Framework: Swiss Knife to Ethereum tooling — Josef Gattermayer | Ackee
- Wake 由布拉格審計公司 Akt 開發，目標取代停止維護的 Brownie
- 提供靜態分析（約 20 個精準檢測器，誤報率趨近零）
- 測試框架以 Python 撰寫，透過 PyTypes 生成合約中間表示
- 引導式模糊測試（非黑盒），本地幾小時內完成
Web3 安全
Writing and Auditing ZK Circuits — Petr Korolev | OXORIO
- ZK 電路用 `<--`（賦值）vs `<==`（賦值＋約束），混淆即產生嚴重漏洞
- 未約束的訊號讓攻擊者偽造合法證明，卻插入非法參數
- BN254 橢圓曲線的 Prime Field 若溢位，可導致雙重花費
- 編譯器會自動移除未使用的輸入訊號，破壞 Soundness
Web3 安全
Solidity Debugging meets Formal Methods — Raoul Schaffranek | Runtime Verification
- 已驗證以太坊存款合約、Uniswap、Optimism、Lido、EigenLayer
- 發布 VS Code Solidity 符號調試器（測試版，需 API 金鑰）
- 推出 Kontrol：以 Foundry 語法寫測試，後端跑 KEVM 形式驗證
- 符號測試可達到「證明不存在任何反例」的數學級正確性保證
Web3 安全
Next-Gen DeFi Protocols with Aave and Balancer | DSS Monthly
- Aave GHO採用模糊邏輯自動調整借貸利率維持挂鉤，改進PID控制器的簡陋不足
- 模糊邏輯基於人類可讀規則，gas成本極低，規則可無限擴展
- Balancer V3分離路由層、保險庫層、池層，統一會計管理
- 分離結算與會計邏輯，使所有操作完全可查詢
Web3 安全
Securing DeFi protocols | DSS Monthly [FEBRUARY] with Merlin from Morpho and Mounir from Paraswap
- 協議設計優先選擇極簡主義，減少代碼行數與攻擊面
- 單位測試、集成測試、變異測試應與開發並行，而非事後補測
- 安全審計應順序執行（先審計、修復、再進行第二輪審計）
- 部署前舉辦代碼競賽與漏洞賞金計畫，部署後持續監控與incident response
Web3 安全
DSS Monthly: Liquid Staking Security with Lido, Stakewise, Frax
- Lido 提倡「無人操作」(UNM)，逐步移除信任與手動維護
- StakeWise V3 採分層架構（Vaults + OST 代幣），允許任何人部署金庫
- 兩者都在解決驗證者退出、預言機數據聚合的去中心化困難
- 智能合約安全、形式化驗證、多重治理是核心風險控制手段
Web3 安全
MarkToda
- Uniswap V4 將所有流動池集中在單一合約（Singleton）而非獨立合約
- 採用 Flash Accounting 模式，操作產生的代幣變化（Delta）延遲結算，末尾統一驗證
- 依賴 EIP-1153（Transient Storage）存儲臨時記賬數據，大幅降低 gas 成本
- 各池不變量驗證維持獨立嚴格，重新進入攻擊風險不變
Web3 安全
IreneWu
- 跨鏈協議需遵循三大原則：不可升級性、無許可制、抗審查性
- 大多數橋接黑客源於智能合約升級，而非架構缺陷
- Layer Zero 用「端點可升級」而「合約不可升級」的設計突破困局
- Pre-crime 模塊在交易前本地驗證，達 Stargate 2 週內吸資 44 億美元
Web3 安全
Electric Capital - DeFi Security Summit 2023 gold sponsorship interviews
- Electric Capital 是專注加密貨幣的風投公司，以工程師主導見長
- Web 3 缺乏專門安全會議，因此舉辦 D5 安全峰會
- 最大機會：前端安全、DeFi 教育、審計標準化、AI 監控
- 需要降低安全學習門檻，讓工程師像寫 React 一樣輕鬆寫安全程式
Web3 安全
Polygon - DeFi Security Summit 2023 gold sponsorship interviews
- Polygon是以太坊Layer 2擴展方案，用零知識證明和權益證明技術
- 安全團隊15人：半數負責組織安全，半數負責應用安全
- Web 3安全是Web 2安全的超集，不能放棄基礎防護
- 當前狀態攻擊者更多針對Web 2漏洞，Web 3威脅相對較少
Web3 安全
Lido - DeFi Security Summit 2023 gold sponsorship interviews
- Lido提供150億美元TVL的液態質押解決方案，採用設計文檔→代碼審查→外部審計→三小時部署會議的多層安全流程，未來DeFi安全重點轉向形式化驗證與鏈下安全工具。
Web3 安全
Trail Of Bits - DeFi Security Summit 2023 gold sponsorship interviews
- Trail of Bits是專注於區塊鏈和密碼學的安全公司
- 提供Slitter（靜態分析）和Echidna（不變性檢查）兩大工具
- Slitter可在CI/CD流程中每個拉取請求上運行，防止已知漏洞
- 基於不變性的開發思維能提升團隊安全成熟度
Web3 安全
Sigma Prime - DeFi Security Summit 2023 gold sponsorship interviews
- Sigma Prime 是 7-8 年的區塊鏈安全公司，提供安全評估而非審計
- Lighthouse 是以太坊共識層 Rust 實現，占市場 35% 份額，永久承諾開源免費
- 好的安全評估需項目方預先完成內部審查、文檔化、代碼注釋
- 行業缺乏公開標準，靠時間投入發現問題，時間越多 bug 越多
Web3 安全
Quality of Auditors or Quantity? - Jack Sanford, DeFi Security Summit 2023
- Sherlock 混合模式結合傳統審計師與社區競賽
- 過去 10.5 個月進行 85 場競賽，發現約 1000 個漏洞
- 關鍵漏洞：頂級審計師 66%，社區 76%
- 沒有其中任一方會各漏掉 1/4～1/3 的關鍵漏洞
Web3 安全
DeFi security Summit 2023 - Session 17: Focused Talks 3 - Marc Weiss
- 審計員在開發、測試、審計、上線、事件應對各階段都能提供幫助
- DeFi駭客根本原因分為六類：知識缺乏、外部威脅、合約維護、架構錯誤、邏輯錯誤、部署腳本問題
- 雇用審計員成本遠低於應對嚴重漏洞賠償
- 部署腳本中的權限設定錯誤可導致全額資金被盜
Web3 安全
DeFi security Summit 2023 - Session 17: Focused Talks 3 - Zeeshan Meghji
- Euler Finance缺失健康檢查導致2.06億美元損失
- 市場配置錯誤造成2500萬美元損失
- 參數驗證缺陷引發授權濫用攻擊
- 只讀重入攻擊至少造成四起重大事件
Web3 安全
DeFi Security Summit 2023 - Session 18: Focused Talks 4 - Fabrizio Genovese
- 智能合約審計中最多錯誤發生在接口設計（合約互動、多鏈交互、鏈上鏈下互動）
- 現有類型理論不足以應對複雜接口問題
- Category Theory 是 40 年代創立的數學理論，專門研究不同結構如何相互作用
- Functor 概念能將一個結構的對象與變換映射到另一個結構，保持邏輯一致性
Web3 安全
Automated Flash Loan Attack Synthesis, Martin Derka - DeFi Security Summit 2023
- 閃電貸攻擊造成 2020-2023 年間 3 億美元損失
- 傳統符號執行和形式驗證方法效果差，無法實際應用
- Quantum 工具採用純數值分析和多項式建模發現攻擊
- 自動測試隨機操作序列，評估攻擊者潛在利潤
Web3 安全
DeFi Security Summit 2023 - Session 17: Focused Talks 3 - Felix Wegener
- 功能測試覆蓋率與安全性無關
- 安全測試需驗證「不應被執行的操作無法執行」，而非功能是否存在
- 將exploit概念驗證（POC）整合為測試案例
- 今年代碼漏洞已造成2.5億美元損失，早期測試成本遠低於部署後修復
Web3 安全
DeFi security Summit 2023 - Session 18: Focused Talks 4 - Antonio Viggiano
- 模糊測試器通過隨機輸入尋找漏洞，但性能波動取決於種子、環境、運行時長
- 科學衡量不能用平均時間，應比較中位數、標準差，進行多種子長時間運行，搭配統計檢驗
- 在 Uniswap V2 注入 12 個漏洞，用 30 種子測試 Echidna 和 Foundry
- 同漏洞不同種子相差 100~1000 倍；不同工具各有優劣
Web3 安全
DeFi security Summit 2023 - Session 17: Focused Talks 3 - Yaniv Nissenboim
- DeFi 系統複雜、攻擊向量多元，安全漏洞會導致一筆交易內資金被竊
- 安全不是「是否被黑」而是「何時被黑」，需要預先準備
- 轉變從獵漏洞改為獵黑客，持續監控鏈上惡意活動
- 應急響應包括三層面：早期檢測、高精準度、快速反應
Web3 安全
Honeypots – Hacker traps on the blockchain - Noah Jelic, DeFi Security Summit 2023
- 智能合約蜜罐是看似有漏洞實際無法提取資金的合約，設計來騙黑客投入資金。常見手法包括雙owner變數、Unicode字符混淆、隱藏函數。已檢測到300個蜜罐產生500萬美元交易量，Etherscan透明度不足是主要利潤來源。
Web3 安全
DeFi security Summit 2023 - Session 17: Focused Talks 3 - Ren crypto Fish
- 審計在部署前完成，但用戶只關心鏈上實際代碼
- 只有不到2%的審計報告引用部署地址
- 用戶因此依賴TVL而非審計報告評估安全性
- 智能合約升級會重置安全指標，但這點往往被忽略
Web3 安全
DeFi Security Summit 2023 - Session 17: Focused Talks 4 - Alon Ram
- 過去三年DeFi詐騙造成20億+美元損失，100,000+詐騙代幣流通
- 符號執行是程式分析技術，能探索程式的所有可能執行路徑並識別隱藏後門
- 通過設置約束條件（如無限鑄造、未授權轉帳）檢測詐騙功能
- 無需原始碼，直接分析位元碼層運作
Web3 安全
Securing Web3 Through Proactive Threat Prevention - Yajin Andy Zhou, DeFi Security Summit 2023
- DeFi 攻擊日益頻繁，代碼審計耗時昂貴且不足以防禦
- 區塊鏈的開源特性、匿名性、閃電貸機制放大了攻擊威力
- 開發 Falcon Block 系統自動監聽、重構攻擊合約、發起防禦交易
- 已成功挽救多起攻擊，包括 5 億美元的 Platypus 事件
Web3 安全
Towards Adoption of Symbolic Execution for DeFi Security - Palina Tolmach, DeFi Security Summit 2023
- 符號執行遍歷所有代碼路徑，找出單元測試和模糊測試遺漏的漏洞
- 主流工具：MythRil、Manticore（靈活可調）、HEVM、IVM（速度快但調整選項少）
- Python工具更易用，Rust工具更快，性能差異可達20倍
- 符號測試是新趨勢，提高了工具的實用性和集成難度
Web3 安全
DeFi security Summit 2023 - Session 14: Formal Verification - Netanel Rubin Blaier
- PRBMath 庫的 mulDiv 函數存在四捨五入邏輯錯誤，影響版本 1.0-4.0
- 負數計算時錯誤向零舍入而非向負無窮舍入，導致精度損失
- 使用 Certora Prover 形式驗證工具，只需寫幾行邏輯規範即可自動檢測
- 四捨五入錯誤被攻擊者利用導致流動性提供者資金流失
Web3 安全
DeFi security Summit 2023 - Session 13: Monitoring & Incident Response -Adrian Hetman
- Immunify 處理超過 15 個 EVM RPC 節點漏洞，耗時 5 個月協調
- Moonbeam 漏洞賞金超過 200 萬美元，拯救 3 億美元資產
- 95% 技術報告相同，但 5% 細節差異決定補償方案
- 介入調解時，需評估每項假設、分析概念驗證、區分灰色地帶
Web3 安全
DeFi security Summit 2023 - Session 13: Monitoring & Incident Response - Heidi Wilder
- 定義「被攻破」為用戶資金的意外、突然且重大損失
- Web 3 事件響應與 Web 2 的差異：所有攻擊公開、修復複雜、生態系統共同學習
- 項目需提前準備十項關鍵工作：監控、法律、保險、團隊分工、文檔
- 實際案例(Nomad、Multi-Chain)的應對都很混亂且反應遲緩
Web3 安全
DeFi security Summit 2023 - Session 15: Bridges Panel
- Multi-chain、Ronin、Harmony等重大攻擊損失均超1億美元，根源於驗證者密鑰集中化
- Layer Zero採不可變合約、預言機/中繼器分離、應用層自主安全定價設計
- Pre-crime監控模塊在攻擊執行前阻截異常交易，速率限制限制損失規模
- 無信任協議優於可信加強，客戶端多樣性與驗證者獨立性審查至關重要
Web3 安全
DeFi security Summit 2023 - Session 14: Formal Verification Panel
- 形式驗證嚴格證明智能合約滿足預期條件，防止邏輯漏洞
- Web3適合應用形式驗證：代碼量小、開源透明、損失成本高、修復困難
- 形式驗證應與審計、模糊測試、靜態分析配合使用，不可單獨承擔全部驗證責任
- 開發者應編寫屬性測試和模糊測試，安全審計員應使用形式驗證工具深化審計
Web3 安全
DeFi security Summit 2023 - Session 16: Audits Conventional vs Community Panel
- 傳統審計（Trail of Bits、Sigma Prime、Consensus Diligence）提供全面性專業諮詢與架構設計評審。
- 競賽審計（Code Arena、Sherlock）以去中心化方式徵求多人審查，費用更低、時間更快。
- 漏洞賞金（Immunify）為最後防線，持續監控已上線的合約。
- 安全堆棧建議順序：內部開發 → 傳統審計 → 競賽審計 → 漏洞賞金。
Web3 安全
DeFi security Summit 2023 - Session 8: Wallets Panel
- 钱包是用户的最后防线，需要完全信任
- 核心功能：密钥管理和交易授权，绝不能委外
- 模块化账户带来便利但引入安全隐患
- 生态需要标准化、模块化合规审查、用户教育
Web3 安全
DeFi security Summit 2023 - Session 9: Focused Talks 1 - Liyi Zhou
- 發布DeFi論文三篇。
- 檢測攻擊、模擬、奪利返還。
- LLM識別異常，命中49/124。
- 自動審計識40漏洞，誤報高。
Web3 安全
Mitigative Measures for Bridge Exploits, Andres Monty - DeFi Security Summit 2023
- 橋接因為鎖定大量資金而成為攻擊目標
- 大多數橋接漏洞來自實現缺陷，而非設計問題
- 速率限制（Rate Limits）是生產環境中的第一個標準防護工具
- Cosmos 已部署兩套 IBC 速率限制實現
Web3 安全
The Superpower of Code Search for Deployed Contracts, Gary Thung - DeFi security Summit 2023
- 以太坊验证合约自 2020 年增长 5 倍，共 290 万行代码
- 平均交易调用复杂度增加 3.3 倍，存储操作增加 4.1 倍
- Code Saw 是公开代码搜索工具，可快速定位重入漏洞、只读重入漏洞、不当 Merkle 证明实现
- 通过函数签名搜索能批量识别易受攻击的合约分叉版本
Web3 安全
DeFi security Summit 2023 - Session 10: Focused Talks 2 - Kang Li
- Move語言提供強類型系統和資源導向編程特性
- 安全性高度依賴驗證器實現的正確性
- 發現Vec pack/unpack類型追蹤缺陷、Panic崩潰、無限循環三類漏洞
- 攻擊者可手工製作字節碼繞過編譯器檢查，直接攻擊驗證器
Web3 安全
DeFi security Summit 2023 - Session 9: Focused Talks 1 - Gal Sagie
- 智能合約審計不足，代碼審計過但部署時仍可能出錯
- 安全需多層防禦，借鑒雲安全「假設被攻擊」的思路
- 利用區塊鏈透明性檢測攻擊者部署合約、資金流向等異常信號
- 以太坊歷史上 98% 的攻擊可在首次觸發前幾分鐘被檢測到
Web3 安全
DeFi security Summit 2023 - Session 10: Focused Talks 2 - Picodes
- 穩定幣損失高達數百億美元，主要因監管風險、儲備資產品質、智能合約漏洞
- 中心化穩定幣缺乏透明度：銀行身份、鏈上監管機制、簽署者身份通常未公開
- 需要獨立評級機構對穩定幣進行標準化評估，用戶無法自行判斷風險
- 風險敞口控制是評估穩定幣的關鍵指標，尤其在資產價格下跌的最壞情況
Web3 安全
No Silver Bullet: A Brief Survey of Key Management Technology - Riad Wahby, DSS 2023
- Web3 一切操作都需要密鑰簽名，密鑰管理困難度高
- 攻擊者模型決定安全假設；需明確定義攻擊者能做什麼
- 秘密分享、閾值簽名、多方計算可提升安全性但增加複雜度
- 硬體安全模組隔離密鑰物理存取，但信任依賴軟體實現與備份策略
Web3 安全
DeFi security Summit 2023 - Session 10: Focused Talks 2 -Justin Jacob
- Cairo 1.0從低階汇編改為Rust風格高階語言，內存模型完全抽象化
- 引入Sierra中間表示層，採用線性類型系統確保內存安全
- 新增Gas計量機制與錯誤分支處理，杜絕DOS攻擊機會
- 開源Caracal靜態分析工具，提供7個檢測器掃描常見漏洞
Web3 安全
DeFi security Summit 2023 - Session 9: Focused Talks 1 - Andrew Beal
- 威脅情報是收集分析的數據，用於阻止攻擊並了解攻擊者的行為
- 分為操作性（具體攻擊身份與技術）、戰術性（TTP 戰術技術流程）、戰略性（高層趨勢）三類
- Forta 網絡作為 Web3 安全系統，運行 1100+ 個檢測機器人監控鏈上活動
- 檢測技術包括啟發式規則、機器學習、關聯推斷、相似性分析
Web3 安全
DeFi security Summit 2023 - Session 10: Focused Talks 2 - Yaron Velner
- DeFi 市場 LTV（貸款價值比率）目前由 DAO 治理投票決定，決策緩慢且受政治因素影響
- 提議基於波動率、流動性等客觀參數的統一數學公式自動計算 LTV
- 智能合約執行此公式可消除治理延遲，提升市場可預測性
- 已與 Block Analytics 等風險供應商合作驗證方案
Web3 安全
Menpo – DeFi Incident Database, Herman Junge, DeFi security Summit 2023
- Metama安全團隊開發Memphis，統一管理DeFi攻擊事件
- 採用STIX標準（網絡安全領域12年歷史方案）記錄數據
- 存儲在GitHub，社區通過pull request貢獻，支持自動化處理
- 用圖形關聯攻擊者、漏洞、受害者、資產損失等信息
Web3 安全
Security Challenges of Aave Governance V3 - Andrei Kozlov, DeFi Security Summit 2023
- AAVE 跨鏈擴展面臨單一橋接提供商的中心化風險
- BGD Labs 通過聚合多個橋接、存儲證明、多層容錯解決跨鏈安全問題
- V3 治理將投票移至低成本鏈，使用存儲證明驗證以太坊餘額，投票成本從數十美元降至 20-30 美分
- 支援多鏈投票機制備份、衛士和預言機雙重控制的緊急模式
Web3 安全
Breaking Digital Asset Custody Solutions, Hossam Mohamed - DeFi Security Summit 2023
- 企業級數字資產安全基於MPC、TSS等多方計算協議
- Web3比傳統金融更易被攻擊：控制基礎設施直接盜取私鑰
- 審計紅旗：自定義加密實現、缺乏可信執行環境（TEE）、上下文管理失效
- 內存安全漏洞（C++）常見，攻擊者可繞過加密協議直接利用
Web3 安全
DeFi Security Summit 2023 - Session 12: Vulnerabilities & Exploits - Xin Wang
- 操縱 AMM Oracle 的成本與攻擊者控制的區塊數成反比——控制越多區塊成本越低
- PoS 後驗證者可預知後續 32 個區塊，使 Oracle 攻擊更易執行
- Oracle 設計本質是受限優化問題：在固定流動性下權衡實時性與抵抗力
- Uniswap V4 Hooks 提供集中流動性、截斷機制、跨池設計等新防守工具
Web3 安全
DeFi security Summit 2023 - Session 12: Vulnerabilities & Exploits - Dmitry Khovratovich
- ZK-SNARK 運行於素域而非 256 位整數，導致溢位行為完全不同。電路用約束關係而非執行指令編程，容易在模運算、除法、範圍檢查中引入漏洞。bug 隱蔽難追蹤，資金損失風險高。
Web3 安全
DeFi security Summit 2023 - Session 12: Vulnerabilities & Exploits - Matthias Egli
- Chain Security 提出部署驗證文件（DVF）標準，描述合約應該部署的正確狀態
- 解決錯誤配置、未審計代碼、惡意部署、升級時舊狀態干擾等部署風險
- 文件記錄合約地址、字節碼哈希、關鍵存儲變數、重要事件
- 用戶可驗證代碼是否被審計、部署是否如預期、配置是否正確
Web3 安全
DeFi Security Summit 2023 - Session 9: Focused Talks 1 - Or Dadosh
- 2018 年 Iron Blocks 遭遇重大安全事件，72 小時內 2000 萬美元流動性被掏空
- 團隊即時應對挽回 1000 萬美元，避免 3 億美元被盜
- 發現 Web3 缺乏實時安全機制，所以創建 Iron Blocks
- 模仿信用卡公司在交易前驗證異常活動的做法
Web3 安全
Opening DeFi Security Summit 2023 - Mooly Sagiv
- 非營利基金會舉辦第二屆 DeFi Security Summit，去年 400 人現場、4,000 人遠端參與，今年 800 人註冊
- 收到 170 篇論文投稿，集結頂級安全公司與學術機構參與
- 承認即使努力仍無法完全防止 DeFi 漏洞，但目標是開發讓普通開發者都能用的安全方法
- 下年改進：增加並行場次、改進審查流程、新增月度虛擬會議
Web3 安全
DeFi Security summit 2023 - Session 1: DeFi Protocols 1 - Anton Permenev
- 智能合約的外部調用本質上是yield操作，會交出執行權給不信任的代碼
- 重入問題源於開發者按順序思維寫代碼，未考慮並發執行
- 解決方案：確保合約滿足線性化特性（並發執行結果等於某種順序執行）
- 需要比對合約規範與操作衝突，才能準確檢測風險
Web3 安全
DeFi Security summit 2023 - Session 3: Network & VM - Alex Manuskin
- StarkNet 安全由三支柱組成：有效性證明、智能賬戶、Cairo 語言
- 智能賬戶提供簽名抽象和多重調用，防止私鑰洩露和無限授權風險
- Cairo 語言內建內存和類型安全，編譯器強制檢查避免常見漏洞
- 無 EOA 回退使智能賬戶成為唯一交互方式，重塑安全模式
Web3 安全
Formally verifying Morpho - Quentin Garchery, DeFi Security Summit 2023
- 形式化驗證是用數學嚴謹方式證明代碼符合規範的技術
- Morpho 是點對點借貸層，通過配對供應者和借款者降低利差
- 使用 Certora、Why3、Halmos 三種工具直接驗證 Solidity 代碼和協議邏輯
- DeFi 因合約管理大量資金、區塊鏈無法改寫歷史而必須形式化驗證
Web3 安全
Safe Upgrades, The Most Dangerous Game - Daniel Von Fange, DeFi Security Summit 2023
- 升級運行中的協議與編寫新協議本質不同，必須考慮現存狀態和外部依賴。關鍵做法：檢查存儲槽位不被誤用、設計原子化部署流程、使用分叉測試驗證整個環境。Ave 和 Compound 的升級失敗都源於代碼本身無誤但與環境不兼容。
Web3 安全
DeFi Security Summit 2023 - Session 3: Network & VM - Yoav Weiss & Oren Fine
- 隱藏7000行無用代碼來掩蓋關鍵漏洞
- 利用代理模式顯示錯誤實現地址
- 用fallback委託機制偽裝成普通合約
- 函數選擇器碰撞覆蓋合法函數
Web3 安全
DeFi Security Summit 2023 - Session 1: DeFi Protocols 1 - Peter Kacherginsky
- 區塊鏈被盜300起事件卻損失40億美元，攻擊利潤是傳統安全6倍
- 預言機操縱和獎勵操縱是最常見攻擊向量（週40+起 vs 重入攻擊年9起）
- 審計人員和開發者過度關注防禦工具，忽視設計時威脅建模
- Euler等五大事件都靠外部檢測，內部監控無法自主發現攻擊
Web3 安全
DeFi security Summit 2023 - Session 1: DeFi Protocols 1 - Eugene Pshenichnyy
- Lido V2 升級耗時7個月，代碼量增加3倍，涉及25名貢獻者
- 升級通過代理模式單筆交易執行，由 DAO 投票控制，花費800萬 gas
- 採用並行開發、多輪審計、快照測試、正式驗證、Gate Seal 應急機制
- 協議安全是分層蛋糕：代碼→規範→測試→部署→應急→人員，人員是最底層基礎
Web3 安全
DeFi security Summit 2023 - Session 2: DeFi Protocols 2 - Mikhail Lazarev
- 去中心化槓桿交易協議，用戶通過隔離智能合約獲得借貸
- 建構完整監控系統追蹤協議、流動性、價格預言機風險
- 每3小時運行樂觀清算測試確保清算邏輯無缺陷
- 前端定時機械人檢測惡意代碼防止Supply Chain攻擊
Web3 安全
DeFi security Summit 2023 - Session 3: Network & VM - Hari Mulackal
- 以太坊信標鏈存款合約存入500億美元，餘額只升不降，造成供應量難以計算
- RETURNDATACOPY在越界訪問時返回獎勵，違反EVM其他指令的零值規則
- 瞬態存儲若省略解鎖步驟，交易內會產生短期死鎖，不同於永久死鎖風險
- 移位指令操作數順序與除法相反，是為節省gas的設計決策
Web3 安全
DeFi security Summit 2023 - Session 5: Economic Risks Panel
- 經濟風險源於技術觸發點的系統級連鎖反應，不同於純安全漏洞
- 參數配置失誤（缺借貸上限、預言機延遲）導致Rari Capital 2億美元、Mango Markets 1億美元損失
- 跨鏈世界引入橋接風險、預言機同步失敗、流動性碎片化、共識層MEV攻擊
- 解決方案需結合實時數據監控、智能化參數調整、社區最佳實踐
Web3 安全
DeFi Security Summit 2023 - Sponsor Interviews
- Slither 静态分析工具已预防 1.15 亿美元损失；Echidna 模糊测试检查智能合约不变量
- Sigma Prime 强调「安全审查」而非「安全审计」；Lighthouse 客户端保持永久开源
- Lido 采用多阶段审查流程：设计审查→内部交叉审查→外部审计→三小时严格部署
- Polygon 指出 Web2 安全基础与 Web3 安全缺一不可；国家级攻击仍主要针对 Web2
Web3 安全
DeFi security Summit 2023 - Session 7: Monitoring Panel
- 可檢測大多數攻擊，但需在誤報與有效檢測間取平衡
- 關鍵在於及早預警，讓協議有時間反應而非事後才發現
- Web3 的開放性和閃電貸等機制讓攻擊者易於得手
- 需要事件響應計劃、多層安全架構、跨組織協作
Web3 安全
DeFi security Summit 2023 - Session 6: Tools Panel - Tools
- Web3工具生態領先Web2的形式化驗證和靜態分析，但多鏈生態仍有缺口
- 開源代碼與高額資金激勵推動工具迭代，以太坊工具成熟度最高
- 誤報率高達90%在Web3可接受，置信度分級才是關鍵
- 新項目應從規範定義開始，按序整合Slither→Echidna→形式化驗證
Web3 安全
DeFi Security 101 2023 - 06 - Tincho
- 智能合約安全不只是代碼檢查，涉及應用層的多個組件
- 任何人都可以進入Web3安全領域，無背景限制
- 保護區塊鏈應用比保護底層共識層更脆弱且關鍵
- 長期留在生態靠目的感驅動，非金錢或名聲
Web3 安全
DeFi Security 101 - 2023 - 04 - Dimitri Kamenski & Richard Skinner
- 代理合約透過委托調用借用其他合約代碼，允許邏輯升級而保留存儲。透明代理在代理層處理升級，有 gas 開銷；UUPS 在實現層處理，gas 更低。初始化函數必須保護防止直接調用。同時使用兩種代理模式是常見誤區。
Web3 安全
Can Code be Trusted?, Kurt Barry - DeFi Security 101 2023
- 加密貨幣基於「信任代碼而非人」的假設，但完全信任代碼不可能
- 編譯器、依賴、開發者都能引入漏洞，需要多層防禦
- DeFi開發要用金字塔型方法：哲學→流程→測試→驗證→運營
- 形式化驗證、審計只是上層，基礎是正確的開發思維和實踐
Web3 安全
DeFi Security 101 2023 - 01 - Rajeev
- Securium 是 Discord 上的以太坊安全教育社群，每月舉辦免費線上競賽（200+ 人參加，16 分鐘內 8 題選擇）
- 排名前 16 名獲邀參加專家工作坊，內容涵蓋 Fuzzing、靜態分析、審計技術
- 此次 CTF 有 8 個挑戰，由簡到難涵蓋 ERC20、Flash Loan、Create2、EIP712 簽名、Oracle 操縱等核心安全概念
- 每個挑戰對應真實黑客事件（ERC20 銷毀漏洞、Mango Markets 借貸攻擊、Optimism 代幣失敗），強調「安全左移」
Web3 安全
DeFi Security 101 - 2023 - 05 - Joran Honig
- 掌握EVM和Solidity基礎知識佔成為安全專家的80%，深度理解優於表面懂得
- 培養攻擊者思維需要刻意練習，建立2週至數月的反饋循環來提煉通用漏洞模式
- 追蹤漏洞賞金報告和審計報告（每週或每月），快速瀏覽並深入研究重點案例
- 深入理解Foundry、Echidna等工具原理，而非停留在基礎教程層級
Web3 安全
DeFi Security 101 - 2023 - 03 - Jaroslav Bendik
- 形式驗證透過邏輯公式檢驗代碼的所有可能執行路徑。需要提前寫規範定義合約應滿足的性質。若規範正確，工具給出數學保證或找到反例。不能替代測試審計，應在開發初期集成到CI流程。
Web3 安全
DeFi Security 101 - 2023 - 02 - Nat Chin
- 將所有代碼假設與預期行為明確記錄成規範文檔
- 編寫達 100% 分支覆蓋率的單元測試，涵蓋邊界情況
- 用 Slither 靜態分析快速檢查 87 項最佳實踐違規
- 用 Echidna 模糊測試自動發現單元測試遺漏的複雜漏洞
Web3 安全
DeFi Security 101 2023 - 12 - Tomer Ganor
- CVL 是類似 Solidity 語法的形式化驗證語言
- 編寫屬性規則測試所有可能狀態、邊界情況和輸入組合
- 在 CI 流程中自動運行，每次 PR 提交都重新驗證
- 已識別真實漏洞：代幣無限增發、委託邏輯錯誤、提案狀態破損
Web3 安全
DeFi invariants: Examples and Challenges, Anton Permenev - DeFi Security 101 2023
- 講者Andrew來自Chain Security，在智能合約審計領域從2017年耕耘至今
- 介紹「不變式」（Invariants）：程序始終保持為真的屬性，是審計代碼的核心工具
- 以Compound V2為案例，分析供給、借款、清液機制中的不變式設計
- 推薦基於屬性的測試（Property-Based Testing）用隨機輸入尋找邊界情況
Web3 安全
DeFi Security 101 2023 - 09 - Mudit Gupta
- 攻擊向量分為傳統安全（密鑰管理、員工培訓）與智能合約層面，傳統漏洞導致實際損失更多
- DAO 重入攻擊：提現函數先轉帳後扣餘額，攻擊者在回調中循環提現
- 防守需全面防護，攻擊只需一個弱點——審計數量不代表質量
- 橋接類型（去中心化/MPC/中心化）決定主要風險向量
Web3 安全
DeFi Security 101 2023 - 11 - Ernesto Boado
- Aave 協議複雜度遠超流動性協議，包含治理、激勵、安全模組等多層系統
- 傳統測試與審計無法覆蓋所有邊界情況，形式驗證能捕捉「隱蔽錯誤」
- 形式驗證最適用於有會計邏輯和複雜資產流動的協議
- 在開發流程中定義屬性、早期檢查，比事後審計更有效
Web3 安全
DeFi Security 101 2023 - 08 - Josselin Feist
- Echidna是Property-Based Testing工具，定義不變量後隨機測試合約
- 比Unit Test更能發現邊界情況與複雜交互場景的漏洞
- 不變量是「無論用戶如何操作，系統應始終保持為真」的條件
- 開源免費，支援多智能合約組合測試，已在業界生產使用五年以上
Web3 安全
Discussion - Security 2, Session 9, DeFi Security Summit 2022
- TWAP Oracle 可用中位數、異源備份、波動限制、流動性均衡防護，但現有 DEX 實施成本高
- 風險評估需完整的概率模型，基於鏈上數據模擬所有借貸者，測試極端流動性情景
- 常見浪費：Solidity 0.8+ 重複使用內置 safe math、ZK 實現偏離論文、治理代幣無實際用途卻超高估值
Web3 安全
Discussion - Bridges, Session 11, DeFi Security Summit 2022
- 預防性驗證系統已部署運作，檢查所有消息但尚無實際攔截紀錄
- Library upgrades 讓應用自主選擇是否採納新版本，而非強制升級
- 完全抗審查需在協議層設計時實現，後加入困難
- 多簽與外部管理賬戶的橋接都有單點故障風險
Web3 安全
Discussion - Security, Session 8, DeFi Security Summit 2022
- MKR 治理經歷閃電貸攻擊後升級，現采委托系統、2天延迟、緊急關閉多層防御
- 貿賂等鏈下協議無法代碼防止，需依靠社區誠實性和結構化角色（分布式董事會、錯開選舉）
- 以太坊合並後權力轉至驗證者，社會共識成為隱性治理基礎
- Maker 對 USDC 黑名單風險備有轉移、打折清倉、負利率三套方案
Web3 安全
Discussion - White Hat Hacking, Session 7, DeFi Security Summit 2022
- 區塊鏈最大威脅來自運營安全（DNS攻擊、私鑰洩露、前端劫持），而非智能合約
- 防守應從威脅建模與安全文化開始，遠優於事後的漏洞賞金
- 漏洞賞金目前採10% TVL標準，但需更精細的定價機制來平衡白帽激勵與項目永續性
Web3 安全
Discussion - Auditors, Sessions 3 & 4, DeFi Security Summit 2022
- 改用「安全評估」替代「審計」，避免誤導客戶期望完全保證
- 審計有時間預算限制，不可能發現所有漏洞，審計員不應對駭客攻擊負責
- 開發者應提前運行靜態分析工具、編寫測試、準備文檔，而不是依賴審計解決一切
- EthTrust標準分階段檢查：靜態分析→人工審核→質量評估
Web3 安全
Discussion - Protocols, Session 2, DeFi Security Summit 2022
- 通過注入已知bug測試審計人員發現能力，而非尋求發現最多bug
- 費米估算法粗略估計總bug數量，但無法精確衡量嚴重程度差異
- 建立多維度評分體系（測試覆蓋率、代碼審查、部署準備度）根據歷史事件調整
- 鏈上延遲機制設最少5天，給予時間發現問題、升級系統、集結簽名者
Web3 安全
Discussion - Protocols, Session 1, DeFi Security Summit 2022
- Create2 允許預知部署地址，提議者可先獲得權限而無人知曉代碼功能
- 安全（防止惡意）與保障（保護所有用戶）是不同的層級，後者更廣
- 複雜協議需持續治理維護；簡單協議可接近不可篡改
- 測試驅動開發在智能合約最有效，Foundry 是最適合的工具
Web3 安全
What Should the Scope of the Web3 Audit Look Like?, Denis Ivanov - DeFi Security Summit 2022
- 審計行業缺乏統一定義，社區期望與實際服務範圍不符
- 不同利益相關者對審計有衝突期望（社區要100%安全、客戶要快速低成本、審計師只想對範圍內負責）
- 無統一標準，任何人都可聲稱提供審計服務，無門檻控制
- 營銷誇大審計效果，加劇期望管理困難
Web3 安全
V for Verification, Kostas Ferles - DeFi Security Summit 2022
- 區塊鏈 bug 成本高，Veridis 開發形式方法工具驗證代碼
- 推出驗證即服務，用 V 語言描述程式規範
- 支持靜態分析、形式驗證、系統測試等技術層級
- 計劃推出 ZK 系統工具和電路驗證工具
Web3 安全
DeFirewall: Putting an End to “Blind Signing”, Jesse Tasman - DeFi Security Summit 2022
- 用戶在簽署 DeFi 交易時無法看見實際發生的操作，容易被誘導損失資金。Redefine 開發了 D Firewall Chrome 擴展程式，通過交易模擬與風險分析檢測惡意交易。現場演示顯示該工具能識別注入的惡意負載並警告用戶簽署時會喪失全部資金。
Web3 安全
Privacy and Security, Sebastian Bürgel - DeFi Security Summit 2022
- 區塊鏈驗證器在點對點網路上運作，IP位址可被關聯到公鑰
- 攻擊者可針對性地DDoS家用驗證器節點，具有經濟動機
- Hopper是混合網路，節點緩存並混合數據包，比VPN和Tor提供更強隱私
- 節點運營商因轉發數據包獲得代幣獎勵，形成經濟激勵
Web3 安全
Tools For Supporting Manual Auditing At Scale, David Tarditi - DeFi Security Summit 2022
- 6 個月完成 1217 次審計，發現 4938 個中等以上嚴重級別問題
- 工具自動化處理編碼層缺陷；人工審計聚焦設計與邏輯漏洞
- 積累 60000+ 個審計發現，用機器學習聚類優化工具開發優先順序
- 規模與數據形成正反饋，提升審計質量與效率
Web3 安全
Breaking Down Bridge Security Models, Layne Haber - DeFi Security Summit 2022
- 橋接黑客規模擴大，影響甚於直接交互用戶
- 原生驗證橋：基層驗證者驗證交易，經濟安全最高
- 外部驗證橋：第三方驗證者組成，實現簡單但依賴驗證者
- 樂觀驗證橋：內建延遲窗口供監視者提交詐欺證明，實現和環境安全最優
Web3 安全
Pre-Crime: The Future of Omnichain Security, Ryan Zarick - DeFi Security Summit 2022
- 傳統跨鏈協議若可升級，協議方能任意修改程式碼導致用戶資金風險
- 用戶應用自身漏洞可被利用竊取跨鏈轉移的資金
- Layer Zero 採「庫升級」讓用戶可選擇加入新功能，而非被迫升級
- 引入「預防犯罪」機制在訊息發送前鏈外驗證，阻止異常轉帳
Web3 安全
Probabilistic Liquidity Attacks in DeFi, Tarun Chitra - DeFi Security Summit 2022
- Aave和Cream金融協議因衍生資產定價機制，容易遭遇閃電貸操縱攻擊
- 攻擊者利用遞迴借貸放大頭寸、操縱交換率、最後掠奪協議
- Cream被攻擊成功，Aave因流動性分佈而逃過；無法用靜態形式驗證，必須用動態概率估計
- 建立濃度不等式確保攻擊利潤為負，但這依賴市場實時條件，無法先驗保證
Web3 安全
Securing a Cross-Chain Bridge, Chris Whinfrey - DeFi Security Summit 2022
- 橋接已被盜近20億美元，佔DeFi被盜事件比例逐年攀升
- 主要風險源自智能合約漏洞、密鑰泄露、節點故障、重組機制
- 無信任型橋接（完全抵押的信使）優於可信型橋接（多重簽名）
- Hop Protocol的中心輻射型模型隔離風險，防止單一鏈故障波及全系
Web3 安全
From High-Level DeFi Properties to Concrete Security Bugs, Nurit Dor - DeFi Security Summit 2022
- 定義清晰的屬性（properties）是檢測合約漏洞的關鍵
- 屬性分為 6 類：單元測試、有效狀態、變量轉換、狀態轉換、高級屬性、風險評估
- 漏洞注入測試可衡量屬性的實際覆蓋率
- 沒有單一屬性能捕捉所有漏洞，需要多維度組合覆蓋
Web3 安全
Breaking Bridges - An Incomplete Sampler of Bridges Hacks, Yoav Weiss - DeFi Security Summit 2022
- 橋接攻擊根本原因是錯誤信息被傳遞到另一條鏈
- 常見漏洞類型：驗證不足、證明可重放、網絡假設錯誤、密鑰洩露
- 資產失衡、協議被劫持、用戶資金被盜是後果
- 多數攻擊涉及多個小漏洞組合才能成功利用
Web3 安全
The Unreasonable Effectiveness of Audit Contests, Jack Sanford - DeFi Security Summit 2022
- Sherlock 保險覆蓋金額 3500 萬美元，經營鏈上協議保險
- 審計競賽（Code Arena）已執行 154 場，涵蓋 110 個協議，無代碼漏洞導致黑客事件
- 推出新審計模式：75K 美元費用（50K 競賽獎金 + 頂級審計師固定費 + 修復審查）
- 任何人可通過競賽表現成為頂級審計師，每兩週獲 20K 美元
Web3 安全
Scribble in a Nutshell, Joran Honig - DeFi Security Summit 2022
- 手寫單位測試耗時且易遺漏邊界情況
- 定義屬性規則取代列舉具體案例
- Scribble轉譯屬性為運行時檢查代碼
- 相容Fuzzing、符號執行、形式驗證等工具整合
Web3 安全
Formal Verification of Foundry Tests, Everett Hildenbrandt - DeFi Security Summit 2022
- Foundry 是 Solidity 測試框架，支持屬性測試與模糊測試
- KEVM 將 Foundry 測試自動轉換為可驗證的 K 規範
- 目前 KEVM 比 Foundry 慢 3-4 個數量級，但性能改進將縮至 1 個數量級
- 正在補齊剩餘功能並優化符號執行性能
Web3 安全
How to Understand a Smart Contract Hack, Daniel Von Fange - DeFi Security Summit 2022
- 研究已發生的百萬級別攻擊案例，從攻擊路徑反推自己代碼的風險。
- 使用執行追踪、資金流分析找出攻擊的起點與異常狀態。
- 練習速度越快越好，每次攻擊都能新增一層防禦機制。
Web3 安全
TWAP Oracle Manipulation Risks, Mudit Gupta - DeFi Security Summit 2022
- TWAP（時間加權平均價格）oracle 用於從 AMM 池取得資產價格。
- 所有主要使用者皆遭駭客攻擊（Inverse Finance、Rari Fuse、Euler）。
- 攻擊成本僅 $15k（51% 攻擊），遠低於理論假設。
- 流動性隨時可撤出，多區塊平均的數學基礎也不成立。
Web3 安全
Smart Contract Governance, Tina Qian - DeFi Security Summit 2022
- DeFi治理分鏈下（論壇）與鏈上（智能合約投票）兩種
- Beanstalk利用24小時延遲漏洞執行緊急提案，損失流動性
- Binance Finance因投票期過短、代幣分佈集中遭攻擊，Bill代幣跌99.7%
- 安全治理需高法定人數、長投票期、執行延遲、守護者否決權
Web3 安全
The Big Red Button, Emiliano Bonassi - DeFi Security Summit 2022
- Web3 協議需要「大紅按鈕」——鏈上操作、鏈下警報、人工作戰室的多層次機制
- 採用隔離資產池和多角色權限控制（操作員、守護者、治理者）
- 設計三級安全級別，協議在緊急狀態下禁止充值但允許用戶提現
- 必須充分測試與模擬協議的正常到緊急狀態轉換
Web3 安全
How Do You Even Write Secure Code Anyways, Samczsun - DeFi Security Summit 2022
- NASA Curiosity Rover 耗資 32 億美元、250 萬行 C 代碼，採用 JPL 編碼標準確保質量
- 應用靜態分析、禁用遞迴、60 行函數限制等標準到 Solidity
- 使用編碼標準、單元測試、主動測試、基礎函數加固、污點分析五個方法提升安全性
Web3 安全
Security Incentives, Mitchell Amador - DeFi Security Summit 2022
- Bug Bounty預算四年內從400萬美元成長到近5000萬美元
- 預測2025年將達到數十億美元規模
- 驅動力：高ROI（100-1000倍）與地緣政治惡化導致的網絡威脅升級
- 大規模漏洞賠償示範效應推動企業投資審計、監控、保險等全棧安全
Web3 安全
Price Manipulation Exploits, Christoph Michel - DeFi Security Summit 2022
- 借貸協議需要從AMM獲取資產價格決定抵押品價值
- V1用現貨價格，被閃電貸輕易操縱
- V2改用TWAP，但LP代幣價格仍被池深度操縱
- V3公式雖理論完美，仍可通過循環借貸+價格操縱漏洞被利用
Web3 安全
Formal Verification with the Certora Prover, Michael George - DeFi Security Summit 2022
- 開發者用 CVL 語言寫規格，定義合約的預期行為
- 驗證器將程式碼轉換成邏輯公式，委交 SMT solver 求解
- 可產出具體反例或完全證明，查驗所有可能的變數組合
- 不同於模糊測試，涵蓋無限多個測試情境
Web3 安全
Runtime Threat Detection and Automated Response, Jonathan Alexander - DeFi Security Summit 2022
- OpenZeppelin 推出 Forta 網絡，三個月前上線。Scan nodes 收集區塊鏈數據，Bots 執行偵測邏輯並發出警報。已有 10,000+ scan nodes、1,000+ bots 運行。提供 JavaScript/Python SDK，可整合自動化防禦。
Web3 安全
TWAP Oracles After the Merge, Mark Toda - DeFi Security Summit 2022
- TWOP 使用時間加權平均價格防止閃電貸攻擊，需要多個區塊才能奏效
- 權益證明引入區塊生成可預測性，大幅降低多區塊操縱的難度
- PoW 下操縱價格需要 23.7 兆美元資金，PoS 下連續三個區塊需 95 億美元
- 中位數 TWOP 要求攻擊者操縱超過 50% 的區塊窗口，大幅提升安全性
Web3 安全
Clear as Mud, Gonçalo Sa - DeFi Security Summit 2022
- 別隱藏代碼：複雜且難以閱讀的代碼無法被審計，無法被審計就更容易被破解
- 別在協議裡留後門：去掉不必要的升級功能，不可變的合約比可升級的更安全
- 別在安全工具之間選邊站：靜態分析、形式驗證、審計、變異測試，全部都要用
- 別盲目堆砌安全措施：不是每個函數都需要 nonReentrant，過度設計反而破壞代碼品質
Web3 安全
Static Analysis for Zero-Knowledge Programming Languages, Filipe Casal - DeFi Security Summit 2022
- 零知識證明用於驗證計算而無需重複執行，具高擴展性
- Cairo 和 Circum 是新型零知識編程語言，存在大量設計缺陷
- 開發 Amarna（Cairo 靜態分析器）和 Circumspect（Circum 靜態分析器）來檢測漏洞
- 兩個工具開源可用，支援 GitHub Action 和 Sarif 格式整合
Web3 安全
Searching Outside the Streetlight, Yuchen Lin - DeFi Security Summit 2022
- Trust Token 在發放 17 億美元貸款後，發現審計與代碼審查仍遺漏漏洞
- 主動注入已知漏洞，測試審計人員發現率
- 用捕捉-重捕捉統計模型估計未發現的漏洞總數
- 建立基準測試機制，決定何時發布、何時替換審計員
Web3 安全
Towards Verifiably Secure Governance, Nicolás Venturo - DeFi Security Summit 2022
- 智能合約需要特權訪問以應對現實複雜性。權限基系統比地址基系統更可擴展但引入複雜性。引入時間延遲可防止社交工程攻擊。行業缺少綜合工具來審計和理解整個治理系統的設計邏輯。
Web3 安全
MakerDAO Smart Contract Safety - When Billions are at Stake, Kurt Barry - DeFi Secuirty Summit 2022
- 採納瑞士奶酪纵深防御，每層防線都有漏洞但共同防護
- 實施雙簽字審查、事後分析形成反饋循環
- 測試、形式化驗證、審計、漏洞賞金四層並行驗證
- 部署即時訪問模塊和預先編碼機制處理生產問題
Web3 安全
Favorite DeFi Vulnerabilities, Mehdi Zerouali - DeFi Security Summit 2022
- Sigma Prime（澳洲區塊鏈安全公司）分享近年審計發現的DeFi漏洞
- 主要漏洞類：符號錯誤、代理初始化、內部會計、非原子部署、重放攻擊、BLS簽名流氓公鑰攻擊、默克爾樹證明處理不當
- 強調自編測試、代碼審查細節、密碼學實現的關鍵性
Web3 安全
Not Quite Water Under the Bridge, Jan Gorzny - DeFi Security Summit 2022
- 跨鏈橋接包含三層：L1託管合約、L2資產發行方、鏈下通信器
- 託管層可被函數選擇器碰撞和權限簽名重放攻擊
- 資產發行方可被欺騙超額鑄造代幣
- 通信器易受事件重複和預言機污染
Web3 安全
Secure by Design, Jared Flatow - DeFi Security Summit 2022
- 設計區塊鏈協議需投入更多前期努力，因部署後難以修改
- 採四階段流程：規格撰寫 → 程式編碼 → 測試驗證 → 正式部署
- 核心重點在於規格文件的品質與不變量（invariance）的定義
- 使用形式驗證、場景框架、社群審計多層次防禦確保安全
Web3 安全
Billion Dollar Bugs, Neville Grech - DeFi Security Summit 2022
- 結合靜態分析與動態區塊鏈數據，開發自動化漏洞檢測工具Watchdog
- 披露Multi-Chain橋300萬美元漏洞等9個重大安全事件
- Solidity常見陷阱：`.foo()`內部調用vs`foo()`外部調用改變msg.sender、Permit機制濫用、閃電貸回調驗證不足
- 易審計代碼需記錄時間/功能/結構不變性，搭配持續監控方案
Web3 安全
The Butterfly Effect, Emilio Frangella - DeFi Security Summit 2022
- 過去 2 年智能合約漏洞導致 40 億美元損失
- 不可變性與治理延遲使修復困難
- 預防錯誤需從代碼編寫階段開始，不只是測試階段
- 採用 NASA 級別的內部規範、失敗路徑設計、100% 測試覆蓋率
Web3 安全
Alpha for Auditors: The Vulnerabilities of Tomorrow, Anton Permenev - DeFi Security Summit 2022
- DeFi協議以不完全的標準相互連接，審計無法覆蓋所有外部依賴；代幣行為差異大且假設易失效（USDC黑名單、價格反轉、費用變更）；Ethereum協議升級（自毀碼、燃氣成本、賬戶抽象）會影響所有合約；當前審計模式無法預測跨協議與跨鏈的連鎖風險
Web3 安全
Risk Management Approach to Security, storm0x, DeFi Security Summit 2022
- 部署 153 個金庫、325 個策略，每週推出 34 個合約
- TVL 高峰期達 60 億
- 核心問題：策略需頻繁更新應對收益機會變化，但每次部署都帶來風險
- 解決方案：運營風險評分系統（量化審計、代碼審查、複雜性、團隊知識、協議安全性）
Web3 安全
Securely Scaling Decentralized Governance, Michael Lewellen - DeFi Security Summit 2022
- 隱性治理（如EIP協議升級）無法擴展；顯性治理（鏈上投票DAO）可擴展但引入治理攻擊風險。
- 治理三難困境：需要分權、安全、規模同時達成，實務上難度極高。
- Beanstalk因快閃貸款攻擊遭損失7700萬美元，揭示governance attack的威脅。
- 解決方案：長投票期、時間鎖定、最小化治理控制、加強監控、定義離鏈規則。
Web3 安全
DeFi Security Summit 2022 - Welcome and Overview
- DeFi 損失數十億美元，主因代碼複雜性與開發者經驗不足
- 建立三支柱協作：協議開發者、安全審計人員、工具開發商
- 缺乏關鍵代碼的正式部署規範與流程
- 明年改為更學術化模式，開放論文提交與外部講者