Module proof 

Structs

ConstrainedValues

Represents all the enforced values for the stark and for the signed commitments.

PessimisticProofOutput

Outputs of the pessimistic proof.

Enums

ProofError

Represents all errors that can occur while generating the proof.

Constants

EMPTY_LER

EMPTY_PP_ROOT_V2

IMPORTED_BRIDGE_EXIT_COMMITMENT_VERSION

Refers to the commitment on the imported bridge exits involved in the aggchain proof public values (commit_imported_bridge_exits field). This constant defines which commitment version is expected to verify the aggchain proof.

Functions

generate_pessimistic_proof

Proves that the given MultiBatchHeader can be applied on the given NetworkState.

zero_if_empty_local_exit_root