Governance Reconstruction as a Verification Primitive
Eethresear.chETH
ethresearch
AI 与 Web3/Crypto 双领域混合信息流，按来源轮替，优先服务 10 分钟扫读。
文章提出广义可提取价值（GEV）概念，认为MEV只是七种提取通道之一，单一通道的修复无法消除总提取价值，需要同时在所有层面对七种通道进行封闭。
研究者使用Lean 4对FOCIL（EIP-7805）进行形式化验证，证明了其抗审查安全性，并发现了规范中的三个细微问题，包括等价攻击、恶意有效修改和量化范围歧义。