Sedna 机制设计概览

Sedna 是一种编码多提议共识协议，其中发送方将交易负载分片为 rateless 符号并跨越平行提议信道传播，从而实现高吞吐量和“直到解码”隐私。本文研究了此类系统中的一个尖锐激励失效。一组信道提议者可以阻止发送给其信道的捆绑，从而减慢链上符号的累积，同时私下地汇集缺失的符号。由于最终符号变为公开，信道提议者的多时段信息受制于链级别延迟事件，即链在诚实的时刻 $t^\star=\lceil \kappa/m \rceil$ 前未能累积足够 $\kappa$ 个捆绑进行解码。我们使用 KL 类型大偏差界限刻画结果延迟概率，并展示当松弛 $\Delta=t^\star m-\kappa$ 为零时，阻止单个捆绑即可以高概率将包含推迟到下一个时段的 knife edge 病态。我们提出了 \textsf{PIVOT-$K$}，一种 Sedna 原生的关键捆绑奖励，将奖励集中于实际触发解码的 $\kappa$ 个捆绑，并推导了针对部分和联盟偏离的明确的激励相容性条件。我们进一步表明，一个自适应的发送方“夹板”若排除其票据未被兑换的信道，$t^\star\ge 2$ 时，即可将多时段阻止简化为第一个时段赤字，从而将所需奖励降低数个数量级。我们最后对时段内不可约的解码竞争进行界限，并提供参数指导和数值示例。我们的结果表明，对于现实参数，Sedna 可将 MEV 成本降低到交易价值的 0.04\%。