Finality gadget for blockchains.
Consensus proceeds in rounds. Each round, voters will cast a prevote and precommit message.
Votes on blocks are then applied to the blockchain, being recursively applied to
blocks before them. A DAG is superimposed over the blockchain with the
Equivocation detection and vote-set management is done in the
The work for actually casting votes is done in the
Bitfields and tools for handling equivocations.
Logic for a single round of GRANDPA.
Maintains the vote-graph of the blockchain.
A voter in GRANDPA. This transitions between rounds and casts votes.
Maintains the VoterSet of the blockchain.
A catch-up message, which is an aggregate of prevotes and precommits necessary to complete a round.
A commit message which is an aggregate of precommits.
Struct returned from
A commit message with compact representation of authentication data.
An equivocation (double-vote) in a given round.
Historical votes seen in a round.
A precommit for a block and its ancestors.
A prevote for a block and its ancestors.
A primary proposed block, this is a broadcast of the last round's estimate.
A signed message.
A signed precommit message.
A signed prevote message.
A protocol message or vote.
Arithmetic necessary for a block number.
Chain context necessary for implementation of the finality gadget.
Runs the callback with the appropriate
Get the threshold weight given the total voting weight.
Validates a GRANDPA commit message and returns the ghost calculated using the precommits in the commit message and using the commit target as a base.
Authentication data for a set of many messages, currently a set of precommit signatures but in the future could be optimized with BLS signature aggregation.