由于最大可提取价值 (MEV) 每年从用户那里吸走数十亿美元，因此实现真正公平的交易处理仍然是区块链中的一个重要挑战。核心问题围绕着交易顺序公平性，它规定交易应根据到达时间进行处理，防止恶意重新排序以获取利润。虽然理想的“先进先出”似乎很直观，但去中心化网络使得完美的公平性成为一个难以实现的目标，需要创新的协议设计。
难以捉摸的理想：为什么完美的顺序是一种悖论
几十年来，分布式系统研究一直专注于一致性和活跃性。一致性确保所有节点就相同的交易序列达成一致，而活跃性保证连续处理。然而，这些属性并不能从根本上阻止不良行为者在接收后操纵交易顺序。在公共区块链中，这种差距已成为一个重大漏洞。验证者、区块构建者或排序者可以利用他们在区块排序中的特权地位来获取经济利益，这种做法被称为 MEV。这种操纵通常涉及有利可图的抢先交易、回溯交易和三明治攻击，其中交易执行顺序对于 DeFi 应用程序的盈利能力至关重要。
最直观和严格的公平性定义，即接收顺序公平性 (ROF)，非正式地声明“先接收，先输出”。这意味着如果大多数节点在交易 B 之前收到交易 A，则 A 必须在 B 之前排序。然而，在异步网络中，甚至在具有显着外部延迟的同步网络中，普遍接受的 ROF 从根本上来说是不可能的。这种不可能性根植于社会选择理论，特别是孔多塞悖论。这个悖论说明了即使各个节点保持一致的内部排序，系统中的集体偏好也可能导致非传递循环。例如，大多数人可能在 B 之前看到 A，另一多数人在 C 之前看到 B，还有另一多数人在 A 之前看到 C，从而形成一个不可打破的循环 (A→B→C→A)。这样的循环阻止任何单一、一致的全局排序同时满足所有多数偏好。
中值时间戳：一种有缺陷的交易顺序公平性方法
一些协议试图近似强接收顺序公平性。例如，Hedera Hashgraph 采用其独特的共识算法为每笔交易分配一个最终时间戳，该时间戳源自所有参与节点的本地时间戳的中值。虽然表面上是一种中立的方法，但这种方法自相矛盾地容易受到操纵。
考虑一个具有五个共识节点的网络，其中一个节点恶意行事。如果所有诚实节点在 tx₂ 之前收到交易 tx₁，则预期顺序为 tx₁ → tx₂。但是，单个对抗节点可以故意扭曲其这些交易的本地时间戳，为 tx₁ 分配较晚的时间戳，为 tx₂ 分配较早的时间戳。当协议计算所有节点的中值时间戳时，这种操纵可能会扭曲结果，导致 tx₂ 接收到比 tx₁ 更早的中值时间戳。因此，协议输出 tx₂ → tx₁，有效地颠倒了诚实参与者观察到的真实顺序。这个“玩具示例”揭示了一个关键缺陷：中值函数尽管表面上具有中立性，但即使是单个不诚实的参与者也可以利用它来偏向最终交易顺序，这表明 Hashgraph 的“公平时间戳”是一种令人惊讶的弱公平性概念，更多地依赖于许可的验证者集，而不是强大的加密保证。
实用解决方案：重新定义可扩展区块链的公平性
为了规避孔多塞悖论突出的理论上的不可能，实用的公平排序方案必须采用更宽松的公平性定义。像 Aequitas 这样的协议引入了区块顺序公平性 (BOF)，也称为批量顺序公平性。 BOF 规定，如果足够数量的节点在 tx′ 之前收到交易 tx，则 tx 必须在 tx′ 之前或同时交付在一个区块中。这放宽了 ROF 的严格“必须在之前交付”规则，改为“必须不迟于交付”。
当面对孔多塞循环（例如，不同多数人观察到的 tx₁ → tx₂ → tx₃ → tx₁）时，BOF 通过将所有相关交易分组到同一批次或区块中来解决冲突。例如，协议不是强制执行不可能的线性顺序，而是输出 Block B₁ = {tx₁, tx₂, tx₃}。在这个区块中，确定性的决胜局（例如哈希值）确定最终执行顺序。这种方法通过将冲突交易视为同时发生来确保每对交易的公平性，同时为所有节点维护一致的线性交易日志。在没有此类冲突的情况下，协议仍然可以实现更强的 ROF 属性。
虽然 Aequitas 成功实现了 BOF，但它面临着一些限制，包括高通信复杂性和弱活跃性，这意味着如果循环“链接在一起”，交易交付可能会被任意延迟。随后引入了 Themis 协议，以通过改进的通信效率来强制执行相同的强大 BOF 属性。 Themis 通过批量解包、延迟排序和更强的批内保证等技术来实现这一点。其优化版本 SNARK-Themis 利用简洁的加密证明来验证公平性，而无需每个节点之间的直接通信，从而将通信负载减少到随网络规模线性增长，从而为更大的网络实现高效扩展。
去中心化网络中公平排序的未来
实现稳健交易排序的旅程表明，由于网络延迟和孔多塞悖论，完美的公平性作为绝对的“先进先出”理想，在现实世界的分布式系统中从根本上来说是无法实现的。不同的节点不可避免地以不同的顺序感知交易，导致没有协议可以在不妥协的情况下普遍解决的冲突。早期的尝试（例如 Hedera 的中值时间戳）被证明容易受到操纵，这突出表明“公平时间戳”通常更多地依赖于对验证者的信任，而不是可验证的保证。
像 Aequitas 和 Themis 这样的协议代表着一个关键的演变，超越了不可能的理想，以在实际网络条件下保持订单完整性的方式重新定义公平性。这种转变清楚地区分了感知的公平性和可证明的公平性。确保去中心化系统中的真正交易顺序公平性不能依赖于声誉、验证者信任或许可控制。相反，它必须通过强大的加密验证直接嵌入到协议中，从而提供透明度和可预测性。
随着加密生态系统的不断成熟，帮助用户驾驭这些复杂动态的工具变得越来越有价值。了解交易如何排序和处理是有效参与的关键。对于那些希望更深入地了解市场动向和链上活动的人来说，像 cryptoview.io 这样的应用程序可以提供全面的视角，帮助您随时了解情况并做出更具战略意义的决策。 在 CryptoView.io 上寻找机会
