Security vs. Censorship-Resistance: Can We Optimize for Both?
三句話摘要
區塊鏈安全 vs 抗審查：L2 交易攔截的現實取捨，以及樂觀 Rollup 詐欺證明中的經濟審查攻擊賽局分析。 --- L2 的安全介入是人性與商業邏輯的必然，而樂觀 Rollup 的長期安全取決於讓誠實方的上鏈成本遠低於攻擊者的賄賂成本，利用少數「非 MEV Boost」提議者製造的高倍數不對稱，是目前最具體可量化的防禦槓桿。 1. 大多數 L2 團隊在現實中會選擇攔截惡意交易
重點整理
重點- 1
1. 大多數 L2 團隊在現實中會選擇攔截惡意交易
- 2
在面對安全事件時，鏈的運營方往往像人一樣做出直覺反應——看到錯誤就想糾正。當一條鏈的 TVL 有 70% 遭竊，幾乎沒有任何團隊能袖手旁觀，這是人性而非意識形態驅動的決策。
- 3
2. 「審查」語言本身製造障礙，換詞有助於推進討論
- 4
Forda 將「審查」改稱為「風險管理、威脅防禦」後，客戶接受度顯著提升。抗審查的優先順序在多數 L2 的產品路線圖中排在中間，遠低於找到 PMF 與用戶增長。
- 5
3. 安全機制應盡量推高至應用層，但底層目前仍是最有效攔截點
- 6
DeFi 協議層的智能合約只能看到 msg.sender 與 tx.origin，無法獲得完整交易上下文；應用層/錢包層的攔截對直接合約間互動無效；因此 L2 sequencer 層目前是最具實際攔截能力的位置。
- 7
4. 經濟審查可用數學賽局模型量化，且攻擊成本遠低於直覺預期
- 8
Ben Burgerer 的研究將「賄賂區塊提議者」行為建模為多輪競標賽局，證明攻擊者只需備妥防禦者預算的特定倍數即可獲勝。當約 2–5% 的 ETH 提議者使用本地排序（不走 MEV Boost）時，攻擊者若要審查誠實方的 BOLD 交易，需支付 119 倍費用，此不對稱性大幅提升防禦效率。
- 9
--
實用技巧與重點
乾貨- 數字與數據
- 166 條鏈中 35 條有凍結機制（Bybit 報告）
- SUI Cetus 攻擊：2.23 億美元被竊，部分資金被凍結
- Linea Velor 攻擊：金額較小，鏈暫停出塊並凍結攻擊者地址
- Arbitrum BOLD：單條 bisection 路徑約需 60 筆交易（n=60）
- 挑戰期：7 天 ≈ 50,000 個 L1 區塊（t=50,000）
- Arbitrum 一 TVL 約 150 億美元（攻擊者預算假設值）
- 無特殊輪次時防禦者最低預算：1,800 萬美元
- 引入特殊輪次後防禦者最低預算：550 萬美元
- BOLD 單筆交易 gas 消耗：約 500,000 gas
- Fusaka 升級後 Ethereum gas limit：約 6,000 萬 gas
- 本地排序提議者比例：2–5%
- 審查倍率 K = 59.5M / 0.5M = 119 倍
- 工具與產品
- Forda Firewall：嵌入 L2 RPC 或 sequencer，100% 交易掃描
- Arbitrum BOLD：Arbitrum 詐欺證明機制
- Optimism Stack / Arbitrum Stack：內建 L1 Inbox 旁路通道
- MEV Boost / PBS（Proposer-Builder Separation）：主流區塊構建框架
- MetaMask、Phantom：前端錢包警示機制
- 攔截機制分類（Bybit 報告）
- 公開黑名單（鏈上透明）
- 設定檔私有黑名單（驗證者共享）
- 第三方插件接入 sequencer 或 RPC
- 安全機制技術棧（由下至上）
- L1：Hard fork、公開黑名單、config 私有黑名單、Builder/Validator 篩選
- L2/App Chain：Firewall、Sequencer 黑名單（多為 OFAC）
- DeFi 協議：合約層 Firewall、Circuit Breaker 自動暫停、合約白名單
- 資產層：穩定幣黑白名單、可逆交易（研究階段，尚未普及）
- 應用層：KYC、交易模擬 API、UI 警示
- 賽局模型參數（Ben 的研究）
- T：挑戰期總輪數
- N：防禦者需贏得的輪數（需上鏈的交易數）
- A：攻擊者預算
- D：防禦者預算
- K：特殊輪次中攻擊者需超出防禦者的倍數
- G1 賽局勝利條件：A > (T − N + 1) / N × D
- 動態規劃計算複雜度：O(T × S)
- --
結論
結論“L2 的安全介入是人性與商業邏輯的必然，而樂觀 Rollup 的長期安全取決於讓誠實方的上鏈成本遠低於攻擊者的賄賂成本，利用少數「非 MEV Boost」提議者製造的高倍數不對稱，是目前最具體可量化的防禦槓桿。”
完整解析
詳細第一場：Andy（Forda）— 安全對抗審查的現實邊界
Andy 從安全服務提供商的角度切入，指出「抗審查」與「阻止惡意行為」之間的張力在業界普遍存在，但卻很少被公開討論——部分原因是加密社群中有一批聲音很大的人會立即批判任何「審查」相關討論。Forda 的解法是直接棄用「審查」一詞，改以「風險管理」、「威脅防禦」等商業語言取而代之，結果發現與客戶的溝通順暢許多。
他援引 Bybit 的調查報告指出，在 166 條主流 L1/L2 中，有 35 條已內建凍結機制，分為公開黑名單、私有配置名單、以及第三方 sequencer 插件三類。SUI 和 Linea 都是真實案例：SUI 在 Cetus DEX 被盜 2.23 億美元後，基金會聯合驗證者動用原生凍結功能鎖定部分資金，並最終由驗證者投票將資金歸還受害協議；Linea 則在 Velor 攻擊發生後選擇直接暫停出塊並凍結攻擊者地址，雖然引發社群批評，但也促使 Linea 加快推進 sequencer 去中心化。
Andy 的核心觀點是：當鏈具備介入能力時，九成的團隊面對安全事件都會選擇行動，這是人性使然，也是企業對用戶的責任感。他將整個安全機制技術棧從 L1 到應用層逐一拆解，結論是最理想的方向是將安全機制盡量推高到應用層，但現實中應用層和協議層的攔截能力均有嚴重侷限（智能合約視野有限、直接合約互動繞過錢包），所以 L2 sequencer 層目前仍是最具實際效力的攔截節點。長遠而言，他期待更多去中心化加上私有交易技術的成熟，讓底層鏈從「有能力介入」轉向「結構上無法介入」，從根本上解除這個兩難。
第二場：Ben Burgerer（Offchain Labs）— 詐欺證明中的經濟審查賽局
Ben 介紹的是他與 Offchain Labs 及 ETH Zurich 教授合作的學術研究。樂觀 Rollup 的安全性依賴詐欺證明機制：誠實方在挑戰期內必須把所有「移動」（moves）提交到 L1 才能獲勝，若任何一筆交易遭到排除，計時器就會耗盡，錯誤狀態被確認。傳統的安全假設針對的是擁有超過 50% L1 stake 的強審查者，但 Ben 的研究聚焦於更現實、門檻更低的「經濟審查」——攻擊者只需賄賂當前區塊的提議者，出價高於誠實方的優先費，即可讓那筆交易被排除在外。
研究將此建模為多輪競標賽局（G1 模型），並嚴格證明攻擊者保證獲勝的充要條件為 A > (T−N+1)/N × D。套用 Arbitrum BOLD 的實際參數（t=50,000、n=60、攻擊者預算 150 億美元），防禦者需要至少 1,800 萬美元才能確保勝利。
研究進一步引入「特殊輪次」（G1_K 模型）：約有 2–5% 的 ETH 提議者不走 MEV Boost，而是使用本地排序演算法，依優先費高低填滿區塊。由於 BOLD 單筆交易只消耗 50 萬 gas，而 Fusaka 升級後區塊上限達 6,000 萬 gas，攻擊者若要在這類輪次中成功審查，必須用更高優先費填滿剩餘的 5,950 萬 gas，即支付誠實方費用的 119 倍。這種不對稱性大幅提升了防禦效率，使得在相同攻擊預算下，防禦者所需最低資金從 1,800 萬降至 550 萬美元。研究還透過動態規劃建立遞推關係，可在 O(T×S) 時間內精確計算各參數組合下的最低攻擊預算比值。
---
關鍵時刻
Pipeline v2帶時間戳的重點，會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。
