Crate pessimistic_proof 

Re-exports

pub use proof::Proof;

pub use local_state::LocalNetworkState;

pub use unified_bridge;

Modules

core

error

keccak

local_balance_tree

local_exit_tree

local_state

multi_batch_header

nullifier_tree

proof

Structs

NetworkState

State representation of one network without the leaves, taken as input by the prover.

PessimisticProofOutput

Outputs of the pessimistic proof.

Enums

ProofError

Represents all errors that can occur while generating the proof.

Constants

ELF

ELF of the pessimistic proof program