The purpose of this manuscript is to describe the deterministic partially synchronous version of Bullshark in a simple and clean way. This result is published in CCS 2022, however, the description there is less clear because it uses the terminology of the full asynchronous Bullshark. The CCS version ties the description of the asynchronous and partially synchronous versions of Bullshark since it targets an academic audience. Due to the recent interest in DAG-based BFT protocols, we provide a separate and simple description of the partially synchronous version that targets a more general audience. We focus here on the DAG ordering logic. For more details about the asynchronous version, garbage collection, fairness, proofs, related work, evaluation, and efficient DAG implementation please refer to the fullpaper. An intuitive extended summary can be found in the "DAG meets BFT" blogpost.
翻译:本手稿的目的是以简单、干净的方式描述确定性的部分同步版《Bullshark》。这个结果在CCS 2022中公布,但是,由于它使用了完整非同步的《Bullshark》的术语,其描述不那么清楚。CCS版本将非同步和部分同步版的《Bullshark》的描述联系起来,因为它针对的是学术界的读者。由于最近对基于DAG的《BFT协议》的兴趣,我们单独和简单地描述了针对更广大受众的部分同步版。我们在这里侧重于 DAG 订购逻辑。关于非同步版本、垃圾收集、公平、证据、相关工作、评估和高效执行DAG的更多细节,请参见整页。“DAG Meach BFT”博客中可以找到一个直观的扩展摘要。