Module core 

Modules

commitment

State related commitments involved in the pessimistic proof.

Structs

AggchainProof

MultiSignature

Enums

AggchainData

Chain proof which include either multisig, aggchain proof, or both. Explicit enum which forbid the case where we have none of them.

AggchainHashValues

MultisigError

Constants

PESSIMISTIC_PROOF_PROGRAM_SELECTOR

PESSIMISTIC_PROOF_PROGRAM_VERSION

Functions

generate_pessimistic_proof

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

Type Aliases

Vkey