Expand description

Utilities for building an optimistic state machine

Structs

  • An attestation that a particular DA layer block transitioned the rollup state to some value
  • This struct contains the challenge as a raw blob
  • The contents of a challenge to an attestation, which are contained as a public output of the proof Generic over an address type and a validity condition
  • A proof that the attester was bonded at the transition num transition_num. For rollups using the jmt, this will be a jmt::SparseMerkleProof