6、分布式账本与区块链公平性解析

分布式账本与区块链公平性解析

分布式账本基础规则与实现

分布式账本在数据记录和处理中有着严格的规则。以下是一些关键规则：
1. 追加记录顺序规则（S1） ：如果 appendp(r1) → appendp(r2)，那么 r1 必须在账本中先于 r2 出现。
2. 获取与追加操作规则（S2、S3）
- S2：若 getp() → appendp(r1)，则 getp 返回的序列 Vp 不包含 r1。
- S3：若 appendp(r1) → getp()，则 getp 返回的序列 Vp 包含 r1。
3. 获取操作顺序规则（S4） ：如果 π1 和 π2 是两个 getp() 操作，且 π1 → π2，分别返回序列 V1 和 V2，那么 V1 必须是 V2 的前缀。

下面是顺序一致的分布式账本的代码实现：

# 服务器端代码（Code 9）
1: Init: Si ←∅; pendingi ←∅; g pendingi ←∅
2: receive (c, get, ℓ) from process p
3:
    if |Si| ≥ℓ then
4:
        send response (c, getRes, Si) to p
5:
    else
6:
        add (c, p, ℓ) to g pendingi
7: receive (c, append, r) from process p
8:
    ABroadcast(c, r)