Module ismp::consensus

source ·
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§