Module proposal

Structs§

Parts 🔒: The certificates of a well-formed proposal.
ProposalValidator: A proposal validator checks proposal signature and integrity.
ValidatedProposal: A validated proposal.
Validator 🔒
VidShareValidator: A validator dedicated to VID share messages.

epoch_matches_height 🔒: The proposal’s epoch must be the one its block number falls in.
justify_qc_matches_parent 🔒: The justify QC must certify the block before this proposal, in the epoch that block’s height falls in.
next_epoch_justify_qc_matches_parent 🔒: The first proposal of an epoch must carry the boundary block’s Cert2, which certifies the same block as its justify QC.
state_cert_matches_parent 🔒: A proposal must carry state_cert exactly when its justify QC certifies an epoch-root block.
verify_timeout_evidence 🔒: Check that a timeout certificate has the form its view requires, names that view in its data, and carries a quorum’s signatures.
view_change_evidence_matches_parent 🔒: A proposal extends an earlier view, and skips views only with a timeout certificate for the view immediately before it.
well_formed 🔒: Everything a proposal claims about its own block and its parent, checked without signatures.