85、分布式共识协议与区块链交易费用支付创新

分布式共识协议与区块链交易费用支付创新

1. 分布式共识协议基础

1.1 发送腐败相关引理

当经销商存在发送腐败问题时，如果有一个存活方输出的消息 $m \neq \perp$，那么每个存活方输出的消息 $m’$ 要么是 $m$，要么是 $\perp$。这一结论直接源于理想化签名方案的不可伪造性。

1.2 弱共识协议

1.2.1 弱共识定义

弱共识协议中，所有诚实方的输入 $b \in {\perp, 0, 1}$，期望输出值 $v \in {\perp, 0, 1}$，且需满足以下性质：
- (tsnd, trcv, tbyz)-有效性 ：在所有诚实方输入相同的 $b$ 且没有存活方输入 $1 - b$ 的 (tsnd, trcv, tbyz)-合规执行中，所有诚实方输出 $b$。
- (tsnd, trcv, tbyz)-一致性 ：在任何存活方输出 $v \in {0, 1}$ 的 (tsnd, trcv, tbyz)-合规执行中，没有存活方输出 $1 - v$。
- (tsnd, trcv, tbyz)-终止性 ：在每个 (tsnd, trcv, tbyz)-合规执行中，每个存活方输出 $v \in {\perp, 0, 1}$ 并在有限步骤内终止。

若协议同时满足上述三个性质，则称其为 (tsnd, trcv, tbyz)-安全的。

1.2.2 弱共识协议流程

弱共识协议 $\Pi_{WC}$ 是从弱共识到弱广播的简