论文标题
Giskard共识协议的规范
Specification of the Giskard Consensus Protocol
论文作者
论文摘要
Giskard共识协议用于验证Platon网络中的交易和计算。在本文中，我们提供了Giskard的严格规范，适合作为协议实施和正式验证的参考。使用我们的规范，我们证明该协议保证了几种显着的安全性能。
The Giskard consensus protocol is used to validate transactions and computations in the PlatON network. In this paper, we provide a rigorous specification of Giskard, suitable to serve as a reference in protocol implementation and in formal verification. Using our specification, we prove that the protocol guarantees several notable safety properties.
