Proposal
Fixtype of proposals.
This is a product type introduced by fty::defprod.
Fields
- author — address
- round — posp
- transactions — transaction-list
- previous — address-set
We model a proposal as consisting of:
- The address of the validator who authored the proposal.
- The round number of the proposal.
- The transactions that the validator is proposing
for inclusion in the blockchain.
- The addresses that, together with the previous round number,
identify the certificates from the previous round
that this certificate references.
When the proposal is turned into a certificate,
these define the edges of the DAG.
It is a system invariant, proved elsewhere,
that certificates in DAGs are uniquely identified by
their author and round.
We do not model cryptographic signatures explicitly.
The presence of the author address in a proposal
models the fact that the author signed the proposal.
Subtopics
- Proposal-fix
- Fixing function for proposal structures.
- Proposalp
- Recognizer for proposal structures.
- Proposal-equiv
- Basic equivalence relation for proposal structures.
- Make-proposal
- Basic constructor macro for proposal structures.
- Proposal->transactions
- Get the transactions field from a proposal.
- Change-proposal
- Modifying constructor for proposal structures.
- Proposal->previous
- Get the previous field from a proposal.
- Proposal->round
- Get the round field from a proposal.
- Proposal->author
- Get the author field from a proposal.
