3.2 网络设计

如图 1，每次交易都有一个系统节点被指定为Checker⽣成信用检查序列，提供⽹络全局读取⼀致性和可验证的信用检查。Checker 对⽤⼾信用数据进⾏排序和加密计算（基于隐私计算），以便系统中的其他节点可以有效地处理它们，从⽽最⼤限度地提⾼吞吐量。它在存储在 RAM 中的当前状态上执⾏交易，并将交易和最终状态的签名发布到称为Verifier的验证节点。验证者在他们的状态副本上执⾏相同的交易，并发布他们计算出的状态签名作为确认。他们公布的确认消息作为共识算法的投票。

Figure 1. Network Design

需要特别指出：

1. Checker和Verifier只提供验证计算的能力，并产出结果，无权查看所校验的原始数据

2. 在⾮分区状态下的任何时间内，⽹络中都有⼀个Checker。每个 Verifier 节点都具有与 Checker 相同的硬件能⼒，并且可以通过基于 PoS 的选举成为 Checker