Expand description
Consensus and state machine client definitions
Structs§
- Intermediate
State - We define the intermediate state as the commitment to the global state trie at a given height
- State
Commitment - The state commitment represents a commitment to the state machine’s state (trie) at a given height. Optionally holds a commitment to the ISMP request/response trie if supported by the state machine.
- State
Machine Height - Identifies a state machine at a given height
- State
Machine Id - Since consensus systems may come to conensus about the state of multiple state machines, we identify each state machine individually.
Traits§
- Consensus
Client - We define the consensus client as a module that handles logic for consensus proof verification, and State-Proof verification as well.
- State
Machine Client - A state machine client. An abstraction for the mechanism of state proof verification for state machines
Type Aliases§
- Consensus
Client Id - An identifier for Consensus client implementations
- Consensus
State Id - An identifier for a consensus states
- Verified
Commitments - A map of state machine identifier to verified state commitments