Giskard 共识协议规范
分布式、并行与集群计算
2020-10-06 v1 密码学与安全
摘要
Giskard 共识协议用于在 PlatON 网络中验证交易与计算。本文中，我们提供了 Giskard 的严格规范，适合作为协议实现与形式化验证中的参考。使用我们的规范，我们证明该协议保证了若干显著的安全性性质。
引用
@article{arxiv.2010.02124,
title = {Specification of the Giskard Consensus Protocol},
author = {Elaine Li and Karl Palmskog and Mircea Sebe and Grigore Roşu},
journal= {arXiv preprint arXiv:2010.02124},
year = {2020}
}
备注
15 pages plus 2 pages as appendix, 2 figures