Proposals
Proposals.
Validators generate and exchange proposals,
which contain proposed transactions along with other information.
Once they have enough endorsements, in the form of signatures,
proposals are turned into certificates,
which are the vertices of the DAG.
Proposals have a rich structure,
but we model only the information needed for our purposes.
Subtopics
- Proposal
- Fixtype of proposals.
- Props-with-author+round
- Retrieve, from a set of proposals,
the subset of proposals with a given author and round.
- Props-with-round
- Retrieve, from a set of proposals,
the subset of proposals with a given round.
- Prop-set-unequivp
- Check if a set of proposals is unequivocal.
- Proposal-option
- Fixtype of optional proposals.
- Prop-set-none-author-p
- Check if none of the proposals in a set have a given author.
- Prop-set-all-author-p
- Check if all the proposals in a set have a given author.
- Proposal-set
- Fixtype of sets of proposals.
