pessimistic_proof_core/
lib.rs

1pub use agglayer_primitives::keccak;
2
3pub mod proof;
4pub use proof::{generate_pessimistic_proof, PessimisticProofOutput, ProofError};
5
6pub mod local_balance_tree;
7
8pub mod aggchain_data;
9pub mod local_state;
10pub mod multi_batch_header;
11pub mod nullifier_tree;
12
13pub use local_state::NetworkState;
14
15include!(concat!(env!("OUT_DIR"), "/version.rs"));
16pub const PESSIMISTIC_PROOF_PROGRAM_SELECTOR: [u8; 4] =
17    PESSIMISTIC_PROOF_PROGRAM_VERSION.to_be_bytes();