在分布式系统中,特别是在异步条件下运行的区块链网络中,在交易排序中实现完美的公平性基本上是不可能的。这种限制源于分布式计算的基本结果,例如 FLP 不可能定理,该定理表明在消息延迟无限的完全异步环境中无法保证确定性共识。
因此,各种区块链协议采用不同的公平性放宽来平衡活跃性、安全性和用户体验。例如,以太坊向包含列表和提议者与构建者分离(PBS)迈进,旨在通过确保一定程度的排序公平性来减轻 MEV(最大可提取价值)的利用。 Solana 采用领导者轮换和并行处理来减少抢先交易机会,而基于 Cosmos 的链通常依赖于特定于应用程序的公平机制。
这些方法反映了一种务实的认识:虽然绝对公平(每笔交易都根据其提交时间精确排序)在异步网络中是无法实现的,但实际的近似可以显着提高公平性并减少抢先交易和三明治攻击等掠夺性行为。
研究人员继续探索密码学和经济技术,例如提交揭示方案、时间锁谜题和公平排序服务 (FSS),以缩小理论极限和现实世界性能之间的差距。然而,每种解决方案都会在延迟、吞吐量或去中心化方面进行权衡。
最终,对公平交易排序的追求强调了区块链设计中更广泛的真理:完美是无法实现的,但深思熟虑的工程可以在现实约束下提供有意义的公平性。
