Module optimistic

Utilities for building an optimistic state machine

Structs

Attestation

An attestation that a particular DA layer block transitioned the rollup state to some value

Challenge

This struct contains the challenge as a raw blob

ChallengeContents

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

ProofOfBond

A proof that the attester was bonded at the transition num transition_num. For rollups using the jmt, this will be a jmt::SparseMerkleProof