pessimistic_proof/
lib.rs

1pub mod proof;
2pub use proof::{PessimisticProofOutput, Proof};
3
4pub mod local_balance_tree;
5pub mod local_exit_tree;
6
7pub mod local_state;
8pub mod nullifier_tree;
9
10pub use local_state::LocalNetworkState;
11
12pub mod keccak {
13    pub use pessimistic_proof_core::keccak::*;
14}
15
16pub use pessimistic_proof_core::{
17    local_state::NetworkState, multi_batch_header, proof::ProofError,
18};
19pub use unified_bridge;
20
21pub mod core {
22    pub use pessimistic_proof_core::{
23        aggchain_data::{
24            AggchainData, AggchainHashValues, AggchainProof, MultiSignature, MultisigError, Vkey,
25        },
26        generate_pessimistic_proof,
27        local_state::commitment,
28        PESSIMISTIC_PROOF_PROGRAM_SELECTOR, PESSIMISTIC_PROOF_PROGRAM_VERSION,
29    };
30}
31
32pub mod error;
33
34/// ELF of the pessimistic proof program
35pub const ELF: &[u8] = agglayer_elf_build::elf_bytes!();
pessimistic_proof/lib.rs

pessimistic_proof/
lib.rs
