新聞熱度趨勢
相關新聞
a16z Crypto發文探討區塊鏈“抗審查性”與“低延遲”之間的根本性矛盾
a16z Crypto 發文探討區塊鏈“抗審查性”與“低延遲”之間的根本性矛盾，指出任何具備抗審查能力的拜占庭容錯（BFT）區塊鏈協議，在超過五分之一驗證者可能作惡的情況下，其最優 good-case latency 至少需要 5 輪通信，而傳統 BFT 共識最低僅需 3 輪。文章指出，傳統 BFT 協議中，區塊提議者同時掌握區塊構建與共識推進權力，因此可通過排除特定交易實施審查，這也是大量 MEV 問題的根源。爲解決該問題，以太坊正在研究 FOCIL / EIP-7805，Solana 則研究 Constellation 與 MCP 等機制，其核心思路均爲在區塊正式提議前，由驗證者提前收集不可被忽略的交易“包含列表（Inclusion Lists）”。a16z Crypto 表示，實現抗審查需要額外兩輪通信：首先用戶交易需廣播給所有驗證者，其後驗證者需確認並寫入 inclusion list，之後共識流程才能開始。因此，在部分同步網絡環境下，不存在僅用 4 輪即可同時實現 BFT 與抗審查的協議設計，5 輪是數學上的理論下限。文章強調，雖然抗審查機制會增加協議延遲，但它能夠顯著降低用戶實際面臨的“有效延遲”。在缺乏抗審查能力的系統中，交易可能因驗證者審查而被無限期延後；而在具備抗審查保證的系統中，交易最遲將在 5 輪通信內被納入區塊，從而讓交易確認時間更具可預測性。
Vitalik：AI 輔助形式化驗證或成以太坊安全與效率提升關鍵路徑
Vitalik 發佈文章《 A shallow dive into formal verification 》，介紹形式化驗證在以太坊前沿研發中的應用進展。文章指出，開發者可使用 Lean、EVM 字節碼或彙編語言編寫代碼，並通過可自動檢查的數學證明驗證其正確性，以同時提升代碼效率與安全性。他表示，形式化驗證特別適用於 STARK、拜占庭容錯共識、ZK-EVM、抗量子簽名等複雜但安全目標相對清晰的系統，並提及 Arklib、VCV-io、evm-asm 等相關項目。文章同時強調，形式化驗證並非萬能，仍可能受限於規格定義錯誤、未覆蓋代碼、硬件邊界與側信道攻擊等問題。