Bullshark: The Partially Synchronous Version

09/12/2022
by   Alexander Spiegelman, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/14/2022

Bullshark: DAG BFT Protocols Made Practical

We present Bullshark, the first directed acyclic graph (DAG) based Byzan...
research
05/26/2018

A Theory of Encodings and Expressiveness

This paper proposes a definition of what it means for one system descrip...
research
07/11/2023

Comparing Social Network Dynamic Operators

Numerous logics have been developed to reason either about threshold-ind...
research
03/04/2020

Que Sera Consensus: Simple Asynchronous Agreement with Private Coins and Threshold Logical Clocks

It is commonly held that asynchronous consensus is much more complex, di...
research
03/15/2016

Modified Micropipline Architecture for Synthesizable Asynchronous FIR Filter Design

The use of asynchronous design approaches to construct digital signal pr...
research
01/25/2023

Interpreting Knowledge-based Programs (Extended Version with Proofs)

Knowledge-based programs specify multi-agent protocols with epistemic gu...

Please sign up or login with your details

Forgot password? Click here to reset