List of all items

Structs

• NetworkState
• PessimisticProofOutput
• core::AggchainProof
• core::MultiSignature
• core::commitment::PessimisticRootCommitmentValues
• core::commitment::SignatureCommitmentValues
• core::commitment::StateCommitment
• local_balance_tree::BalanceTree
• local_balance_tree::LocalBalanceTree
• local_exit_tree::LocalExitTree
• local_exit_tree::data::LocalExitTreeData
• local_state::LocalNetworkState
• local_state::StateCommitment
• multi_batch_header::MultiBatchHeader
• nullifier_tree::NullifierKey
• nullifier_tree::NullifierTree
• proof::PessimisticProofOutput

Enums

• ProofError
• core::AggchainData
• core::AggchainHashValues
• core::MultisigError
• core::commitment::PessimisticRootCommitmentVersion
• core::commitment::SignatureCommitmentVersion
• error::ProofVerificationError
• proof::Proof

Traits

• proof::DisplayToHex

Functions

• core::generate_pessimistic_proof
• keccak::keccak256
• keccak::keccak256_combine
• proof::zero_if_empty_local_exit_root

Type Aliases

• core::Vkey
• local_balance_tree::LocalBalancePath
• nullifier_tree::NullifierPath

Constants

• ELF
• core::PESSIMISTIC_PROOF_PROGRAM_SELECTOR
• core::PESSIMISTIC_PROOF_PROGRAM_VERSION
• local_balance_tree::LOCAL_BALANCE_TREE_DEPTH
• nullifier_tree::NULLIFIER_TREE_DEPTH