论文2024/210
Rollerblade：在分类账上进行复制分布式协议仿真
酒神Zindros
斯坦福大学
阿波斯托洛斯·齐纳斯，雅典国立技术大学
戴维·提斯斯坦福大学
摘要
我们观察到，大多数固定方分布式协议都可以通过用账本（例如区块链系统）替换一方以及使用跨链中继在各方之间进行认证的信道通信来重写。这种转换很有用，因为区块链系统总是在线的，并且具有经过战斗测试的安全假设。我们提供了一个定义框架来捕捉这种类比。我们对转换进行了形式化建模，提出并证明了一个通用的元定理，该元定理允许将党派设置中的所有定理转换为模拟设置中的定理，同时保留党派诚实性和账本安全性之间的类比。我们证明的核心是基于简化的模拟论证。例如，我们的元定理可用于在其他区块链之上构建共识协议，创建一个可靠的汇总，该汇总假设只有大多数底层1是安全的。
注：添加资金确认
BibTeX公司
@misc{cryptoeprint:2024/210，author={狄奥尼西斯·齐德罗斯（Dionysis Zindros）、阿波斯托洛斯·齐纳斯（Apostolos Tzina）和大卫·谢霆锋（David Tse）}，title={Rollerblade:在分类帐顶部进行复制分布式协议仿真}，howpublished={Cryptology ePrint Archive，论文2024/210}，年份={2024}，注释={\url{https://eprint.iacr.org/2024/210}},url={https://eprint.iacr.org/2024/210}}
