Signed-certificates
Certificates signed by validators.
We define an operation to return
all the certificates in the system signed by a given validator.
We prove theorems about its initial value,
and about how its value changes in response to events.
Subtopics
- Signed-certs
- Certificates signed by a validator.
- Signed-certs-of-next
- How the certificates signed by a validator
change (or not) for each transition.
- Signed-certs-when-init
- Initially, validators have signed no certificates.
