Crate zksync_consensus_bft

Consensus

This crate implements the Fastest-HotStuff algorithm that is described in an upcoming paper It is a two-phase unchained consensus with quadratic view change (in number of authenticators, in number of messages it is linear) and optimistic responsiveness.

Node set

Right now, we assume that we have a static node set. In other words, we are running in proof-of-authority. When this repo is updated to proof-of-stake, we will have a dynamic node set.

Resources

• Fast-HotStuff paper
• HotStuff paper
• HotStuff-2 paper
• Notes on modern consensus algorithms
• Blog post comparing several consensus algorithms
• Blog posts explaining safety and responsiveness

Modules

• io
  Input and output messages for the Consensus actor. These are processed by the executor actor.
• testonly
  This module contains utilities that are only meant for testing purposes.

Structs

• Config
  Configuration of the bft actor.

Constants

• PROTOCOL_VERSION
  Protocol version of this BFT implementation.

Traits

• PayloadManager
  Payload proposal and verification trait.