最终性的层次与二层扩容

区块链将分布式仅可追加日志与定义日志条目如何解释的虚拟机相结合。通过将交易视为虚拟机的状态变换函数，我们将状态的命名与其值的计算以及对该值达成共识分离开来。这一区分使我们能够将交易顺序最终性与状态值最终性概念分离。进一步考虑区块链治理如何处理诸如零日漏洞之类的灾难性故障，引出了检查点最终性的概念。对交易顺序的共识决定了 ground truth。其他一切——计算状态的值或处理诸如漏洞/基于零日的攻击等灾难性故障——都只是优化。