一种用于侧链的 secure 共识协议
密码学与安全
2019-11-19 v3 分布式、并行与集群计算
摘要
侧链技术已被设想为在可扩展性与互操作性方面加速当今公链的一种有前景的方案。通过依赖主链提供安全性，不同侧链可制定自身规则以达成共识。尽管文献已考虑在侧链中使用共识协议的可能性，但迄今为止尚未尝试过为侧链量身定制兼具高性能与形式化安全性证明的共识协议。为填补此空白，我们引入 Cumulus，一种低开销、高效且安全性可证明的侧链协议。Cumulus 利用智能合约确保每轮侧链中仅有一个被提议的区块被强制写入主链，从而高效地实现共识。我们给出了 Cumulus 的形式化规范，其在无需客户端任何在线要求的情况下保证安全性与活性。对于安全性分析，我们在通用可组合安全（UCS）模型下提供形式化的安全定义与证明。作为概念验证，我们实现了 Cumulus 并在以太坊测试网中对其进行了评估。
引用
@article{arxiv.1906.06490,
title = {A Secure Consensus Protocol for Sidechains},
author = {Fangyu Gai and Cesar Grajales and Jianyu Niu and Mohammad Mussadiq Jalalzai and Chen Feng},
journal= {arXiv preprint arXiv:1906.06490},
year = {2019}
}
备注
17 pages, 11 figures