Expand description
Consensus and state machine client definitions
Structs§
- We define the intermediate state as the commitment to the global state trie at a given height
- 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.
- Identifies a state machine at a given height
- Since consensus systems may come to conensus about the state of multiple state machines, we identify each state machine individually.
Traits§
- We define the consensus client as a module that handles logic for consensus proof verification, and State-Proof verification as well.
- A state machine client. An abstraction for the mechanism of state proof verification for state machines
Type Aliases§
- An identifier for Consensus client implementations
- An identifier for a consensus states
- A map of state machine to verified state commitments