Crate pessimistic_proof_core

Crate pessimistic_proof_core 

Source

Re-exports§

pub use proof::generate_pessimistic_proof;
pub use proof::PessimisticProofOutput;
pub use proof::ProofError;
pub use local_state::NetworkState;

Modules§

aggchain_data
Aggchain proof data structures.
keccak
local_balance_tree
local_state
multi_batch_header
nullifier_tree
proof

Constants§

PESSIMISTIC_PROOF_PROGRAM_SELECTOR
PESSIMISTIC_PROOF_PROGRAM_VERSION