币圈界报道：

交易排序的公平性困境：共识之外的价值分配新命题

当前主流区块链共识机制普遍聚焦一致性与活性，却忽视了一个关键维度——用户真正关切的，是多方提交的经济性交易在执行顺序上的合理性。当多个交易存在潜在利益关联时，其相对排序直接决定了价值捕获的归属。

异步环境下的公平性极限：先到先处理无法成立

在缺乏全局时钟与确定性通信的公共网络中，完美实现‘先看到即先执行’的接收顺序公平性在数学上不可行。即使无恶意节点，消息到达时间差异仍导致局部观察不一致，进而引发群体偏好冲突，形成无法调和的排序循环。

核心发现

研究揭示，基于事件有向无环图（DAG）并引入中位数时间戳的哈希图模型，可在保障因果关系的前提下，对并发事件进行受限排序，有效抑制恶意方操纵行为。而基于批量排序公平性（BOF）的协议通过将孔多塞循环折叠为批次，放宽了对线性顺序的刚性要求，从而提升系统的可用性与响应能力。

排序权力如何重塑价值流动

区块构建者或排序器若掌控执行顺序，便可能利用抢先交易、夹层交易等策略提取最大可提取价值（MEV），这种结构性权力使排序成为价值再分配的核心杠杆。

为此，部分研究提出将排序公平性列为独立共识目标，旨在限制特权角色偏离协议隐含排序的能力，增强执行过程的可预测性与抗滥用性。

孔多塞循环：多数意见也无法达成一致

理想中的接收顺序公平性（ROF）假设：若多数节点先感知到交易A再感知到B，A应优先处理。然而，在异步网络中，各节点本地观察可能存在矛盾组合——如多数认为A早于B，多数认为B早于C，多数认为C早于A，构成不可解的循环。

这一现象源自投票理论中的孔多塞悖论，表明在多轮比较下，不存在能同时满足所有成对多数偏好的单一线性排序。因此，任何追求绝对公平的协议都必须接受更弱但可实现的保证。

哈希图路径：因果结构与中位数时间戳的结合

Hedera采用无领导者、事件驱动的哈希图架构，将每笔交易转化为带加密链接的事件，并通过节点签名共同确认其因果依赖关系。具备祖先关系的事件依因果顺序排列，确保历史不可篡改。

对于无因果关联的并发事件，系统引入“收到轮次”概念，并以一组节点报告的本地时间戳中位数作为排序依据。该机制受哈希图祖先约束保护，防止节点伪造早期观测，即使在拜占庭容错条件下，也限制了对手任意偏移排序的能力。

然而，该方案仍受限于策略性传播行为——攻击者可通过选择中继路径与时机影响输入数据，且并发事件仍可能面临孔多塞风险，仅能通过轮次与中位数机制缓解张力。

BOF协议：用批次折叠化解排序循环

不同于严格定义顺序的方案，基于批次的排序公平性（BOF）主动接纳孔多塞循环的存在。它将形成循环的交易集合视为一个原子单元，称为“批次”，并在批次间强制公平性约束。

协议通过参数γ控制公平门槛：当足够比例的节点观察到批次b在批次b'之前，诚实节点不得将b排在b'之后。一旦出现循环，系统将强连通分量（SCC）合并为单一批次，放弃内部线性顺序的公平性要求。

虽然此举降低了公平性强度，但显著增强了系统活性。例如，原始的Aequitas协议因需等待完整循环闭合，可能导致确认延迟无限增长，存在“冻结”风险。

Themis作为改进版本，采用延迟排序与批次展开机制，在新交易持续流入时逐步输出已确定的批次，避免长时间等待。其优化版SNARK-Themis进一步引入简洁证明，将通信开销从平方级降至可扩展水平，显著提升实际部署可行性。

此外，该协议内置防御机制：若恶意提议者试图制造空区块进行阻挠，系统将接受部分排序结果，并交由后续诚实节点完成最终确定，从而将终结条件绑定于有界网络延迟，而非提议者的主观意愿。

未来焦点：公平性与系统成本的动态平衡

随着更多共识协议引入正式排序公平性设计，其核心挑战转向如何在公平保障、计算复杂度、通信开销与并发处理效率之间取得可持续的平衡。投资者与开发者应重点关注那些能在真实网络环境中实现有界延迟、抵御恶意重排序攻击的方案，推动公平性从理论走向实用。