在区块 DAG 中嵌入确定性 BFT 协议
分布式、并行与集群计算
2021-06-08 v2
摘要
本工作形式化了近期利用区块 DAG 的分布式系统的结构与协议，区块 DAG 本质上编码了区块间的 Lamport happened-before 关系，作为其核心网络原语。我们随后给出任意确定性拜占庭容错协议 的嵌入，以利用区块 DAG 解释服务器间的交互。我们的主定理证明该嵌入保持了 的所有安全性与活性性质。从技术上讲，我们的定理基于如下洞见：区块 DAG 仅充当 各实例间高效可靠的逐点通信信道，同时利用 进行高效消息压缩。
引用
@article{arxiv.2102.09594,
title = {Embedding a Deterministic BFT Protocol in a Block DAG},
author = {Maria A Schett and George Danezis},
journal= {arXiv preprint arXiv:2102.09594},
year = {2021}
}