这篇论文提出了一种名为 MEV-ACE 的新方案,旨在解决区块链世界中一个非常棘手的问题:“抢跑”和“插队”。
为了让你轻松理解,我们可以把区块链想象成一个繁忙的超级市场,把交易(Transaction)想象成顾客手里的购物清单,而区块生产者(Block Producer,通常是矿工或验证者)就是收银台的主管。
1. 核心问题:收银台主管的“特权”
在传统的超级市场里,顾客把购物清单交给收银台主管。主管在把商品装袋之前,可以偷偷看清单,然后做三件坏事:
- 插队(Front-running): 主管看到你要买“限量版球鞋”,他先用自己的钱买走,等你买的时候价格已经涨了,他再卖给你赚差价。
- 夹击(Sandwich attack): 主管在你买之前先买,把你买的价格推高,然后在你买完后立刻卖出,两头吃差价。
- 故意刁难(Censorship): 主管看你不顺眼,直接把你的清单扔进垃圾桶,不让你买东西。
这就是论文里说的 MEV(最大可提取价值)。因为主管能看到所有未处理的清单,并且有权决定谁先谁后,所以他能从中“吸血”。
2. 以前的解决方案为什么不够好?
以前的方法有点像:
- 信封法(Commit-reveal): 顾客先把清单装进信封(加密),等主管排好队了再拆开。但这有个漏洞:主管可以假装没收到你的信封,或者为了让自己插队成功,制造一堆假信封把池子填满。
- 神秘盒子(Threshold Encryption): 需要一群“解密专家”一起合作才能打开信封。但这太慢了,而且如果专家被主管收买,还是没戏。
核心痛点: 以前的方法无法证明“谁有资格排队”,也无法证明“主管真的收到了你的单子却没给你结账”。
3. MEV-ACE 的解决方案:三个“魔法道具”
MEV-ACE 引入了三个新机制,彻底改变了游戏规则:
道具一:实名制的“会员证” (Identity-Authenticated)
- 比喻: 以前进超市只要有个名字就行,现在必须持有实名制的、押了保证金的会员卡。
- 作用: 如果你想插队或者制造假信封(垃圾交易),你必须先花钱买会员卡并押上一笔钱(保证金)。如果你敢捣乱(比如制造假单或故意不结账),这笔钱就会被没收(罚没)。这让捣乱变得非常昂贵。
道具二:不可篡改的“取号小票” (Receipts)
- 比喻: 当你把购物清单交给主管时,主管不能只口头说“收到了”。他必须给你一张盖了多位保安印章的“取号小票”。
- 作用: 这张小票是铁证。如果你有小票,而主管最后没给你结账,你可以拿着小票去告状,整个超市的保安系统(其他验证者)会立刻发现主管违规,并拒绝承认他这一天的工作成果。这让主管不敢随意丢弃你的单子。
道具三:延迟的“随机摇号” (VDF-based Randomness)
- 比喻: 这是最精彩的一步。主管在收到所有“取号小票”后,不能立刻决定谁先结账。他必须把小票放进一个**“时间锁”**(VDF,可验证延迟函数)里。
- 作用: 这个时间锁需要花费一段固定的、无法加速的时间(比如 10 分钟)才能打开,里面会生成一个随机的排队顺序。
- 在锁打开之前,主管不知道谁排在第几。
- 既然不知道顺序,主管就无法为了自己的利益去“挑选”哪些单子该开,哪些不该开。他只能乖乖等锁打开,然后按随机顺序执行。
4. 整个流程是怎样的?
想象一下 MEV-ACE 超市的一天:
- 注册: 顾客先押钱办卡,拿到实名会员卡。
- 提交(Commit): 顾客把购物清单(加密)交给主管,主管和保安们验证后,给顾客发一张**“取号小票”**。只有拿到足够多保安盖章的小票,这个单子才算“有效排队”。
- 锁定与摇号(Order): 所有有效小票收集完毕后,放入**“时间锁”。时间锁开始倒计时,生成一个完全随机的排队顺序**。此时,主管虽然手里有小票,但不知道谁排第一,谁排最后。
- 揭晓与结账(Open): 时间锁打开,随机顺序公布。顾客根据顺序,把真实的购物清单(解密)拿出来。
- 执行: 主管必须严格按照随机顺序结账。如果谁的小票齐全却没钱结账(没收到货),他的保证金就会被没收。
5. 为什么这很厉害?
- 公平性: 主管再也无法“看人下菜碟”或“插队”,因为他在决定顺序之前,根本不知道顺序是什么。
- 防作弊: 主管如果想制造假单来稀释排队,他得花真金白银买卡押钱,成本太高,划不来。
- 可追责: 如果主管敢偷偷删掉你的单子,你手里的“取号小票”就是铁证,整个系统会惩罚他。
总结
MEV-ACE 就像给超级市场装了一套**“实名押金 + 保安盖章 + 时间锁摇号”**的三重保险系统。
它不再依赖主管的“良心”,而是通过经济惩罚(押金)和数学魔法(时间锁和随机性),强制主管必须公平地对待每一个持有有效“取号小票”的顾客。这样一来,那种利用信息优势“割韭菜”的黑暗森林法则就被打破了。
1. 问题背景 (Problem)
核心痛点:
最大可提取价值(MEV)是区块链公平性的结构性威胁。在传统区块链中,区块生产者(Block Producer)能够以明文形式观察待处理交易,并拥有对交易排序和包含的单方面自由裁量权。这种不对称性导致了三种主要的攻击模式:
- 抢先交易 (Front-running): 在生产者目标交易之前插入交易以捕获价格变动。
- 三明治攻击 (Sandwich attacks): 在目标交易前后分别插入买单和卖单,提取滑点。
- 审查 (Censorship): 选择性排除特定交易以损害用户利益或利好竞争对手。
现有方案的局限性:
现有的缓解方案(如承诺 - 揭示机制、阈值加密、公平排序服务、提案者 - 构建者分离 PBS)存在两个关键缺口:
- 缺乏身份认证: 承诺(Commitment)通常未通过可被惩罚(Slashable)的注册身份进行认证,导致生产者可以低成本地制造大量虚假承诺(Commitment Stuffing)来稀释排序池。
- 缺乏可验证的包含证据: 如果交易被遗漏,其他验证者缺乏可转移的、可独立验证的证据来证明生产者有义务包含该交易,导致“选择性不打开(Selective Non-opening)”攻击难以被追责。
2. 方法论 (Methodology)
MEV-ACE 提出了一种**单槽(Single-slot)**的公平排序协议,旨在消除提案者对已准入交易(Admitted Transactions)的排序控制。该协议结合了以下三个核心机制:
A. 注册的经济身份与认证 (Registered Economic Identities)
- 身份框架: 基于 ACE-GF(原子加密实体生成框架)框架。用户从根熵值(REV)确定性派生特定的认证密钥。
- 质押与注册: 用户必须在链上注册身份,并锁定可被惩罚的保证金(Bond, Dstake)。
- 准入认证: 只有由注册身份签名、且获得验证者阈值收据(Threshold Receipts)确认的承诺,才能进入“可准入集合”。这防止了低成本的身份伪造和承诺填充。
B. 认证的提交/揭示与阈值收据 (Authenticated Commit/Open with Threshold Receipts)
- 两阶段流程:
- Commit 阶段: 用户提交交易哈希(承诺),验证者验证签名并签发收据。当收集到阈值 qc 个验证者签名时,承诺变为“可准入”。
- Open 阶段: 在排序确定后,用户揭示交易明文。验证者验证哈希匹配并签发开启收据。当收集到阈值 qo 个签名时,交易变为“可执行”。
- 可问责性: 如果生产者遗漏了拥有有效收据集合的交易,任何参与者都可以提交遗漏证明(Omission Proof),导致区块无效。
C. 可验证延迟随机性 (Verifiable Delay Randomness)
- 机制: 使用 VDF(可验证延迟函数)生成随机种子。
- 时序约束: 交易排序(Permutation)仅在“可准入集合”锁定之后,经过 VDF 的强制延迟计算后生成。
- 作用: 确保生产者在知道最终交易内容之前,无法预测交易在区块中的具体位置,从而无法进行针对性的排序操纵。
3. 关键贡献 (Key Contributions)
- 形式化模型: 定义了基于阈值收据的强制准入机制,并形式化了三个安全属性:
- 排序不可预测性 (Order-Unpredictability): 一旦集合锁定,攻击者无法预测交易位置。
- 承诺真实性 (Commitment Authenticity): 基于签名方案(EUF-CMA)的安全性,防止伪造承诺。
- 可问责包含 (Accountable Inclusion): 拥有有效收据的交易必须被包含,否则可被证明。
- MEV-ACE 协议设计: 提出了一种无需阈值解密委员会、兼容后量子签名(如 ML-DSA-44)的单槽协议。
- 经济安全分析: 推导了生产者诚实执行是最佳响应的经济条件。证明了当用户和提案者的保证金惩罚超过其通过违规(如选择性不打开或填充)获得的单槽收益时,协议是安全的。
- 部署指导: 明确区分了密码学延迟参数与墙钟时间(Wall-clock time),为实际部署提供了延迟预算(Latency Budget)分析。
4. 结果与安全性分析 (Results & Security Analysis)
在 3f+1 验证者模型下,MEV-ACE 在标准假设下证明了以下性质:
- 排序不可预测性: 只要 VDF 的序列性假设成立,且可准入集合在 VDF 输出前锁定,生产者在知道交易内容前无法确定其排序位置。
- 抗 Sybil 攻击与填充: 通过注册保证金和每槽承诺配额(ℓ),攻击者若要注入 k 个额外承诺,必须控制 ⌈k/ℓ⌉ 个额外身份并锁定相应保证金。如果这些承诺未被打开,攻击者将面临明确的惩罚(Slashing)。
- 经济激励相容:
- 如果 δprod⋅Bprod>Ginvalid(违规收益),生产者不会篡改排序。
- 如果 δuser⋅Dstake>Gopen(隐瞒开启收益),用户/生产者控制的节点不会选择性不打开。
- 单槽执行: 协议设计允许在单个时间槽内完成所有关键步骤(提交、排序、揭示),无需跨多块延迟,降低了延迟开销。
5. 意义与影响 (Significance)
- 填补结构性缺口: MEV-ACE 解决了现有方案中“承诺未认证”和“遗漏不可证”的结构性弱点,将 MEV 缓解从单纯的“隐藏信息”提升到了“身份认证与可问责执行”的层面。
- 无需信任第三方: 不同于依赖外部预言机或解密委员会的方案,MEV-ACE 将信任边界保留在协议层,通过链上注册身份和可验证收据实现去中心化验证。
- 后量子兼容性: 通过集成 ACE-GF 框架,协议原生支持 ML-DSA-44 等后量子签名算法,为未来的量子安全区块链做好了准备。
- 明确的边界: 论文明确指出,该协议针对的是提案者控制的排序 MEV。对于基于信息的 MEV(如跨链套利、公开状态更新后的回跑),仍需结合批处理拍卖(Batch Auctions)等其他机制。
总结:
MEV-ACE 通过身份绑定的经济激励、阈值收据的可验证性以及VDF 延迟随机性的三重结合,构建了一个在数学上可证明、经济上可激励的公平排序系统。它有效地剥夺了区块生产者在已准入交易上的单方面操纵权,同时保持了单槽执行的效率,为区块链公平性提供了一套完整的解决方案。
每周获取最佳 computer science 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。