List of all items
Structs
- HashOut
- Instant
- ProofWithPublicInputs
- VerifierCircuitData
- circuits::batch_circuit::Account
- circuits::batch_circuit::BatchCircuit
- circuits::circuit_registry::BatchCircuitEntry
- circuits::circuit_registry::CircuitRegistry
- circuits::circuit_registry::RecursiveCircuitEntry
- circuits::recursive_circuit::RecursiveCircuit
- merkle_tree::MerkleTree
- merkle_tree::Node
- types::FinalProof
- types::InclusionProof
- types::Ledger
- types::LedgerDecimals
- types::MerkleProof
- utils::logger::ProveInclusionProgress
- utils::logger::ProveProgress
Traits
Macros
Functions
- assert_config
- core::prover::prove_global
- core::prover::prove_inclusion_all
- core::prover::prove_inclusion_all_batched
- core::prover::prove_user_inclusion
- core::prover::prove_user_inclusion_by_hash
- core::server::create_local_server
- core::server::send_hash_to_server
- core::verifier::verify_root
- core::verifier::verify_user_inclusion
- custom_serializer::base64::deserialize
- custom_serializer::base64::deserialize_option
- custom_serializer::base64::deserialize_vec
- custom_serializer::base64::serialize
- custom_serializer::base64::serialize_option
- custom_serializer::base64::serialize_vec
- get_ledger_values_from_file
- prove_from_data
- prove_from_file
- prove_inclusion_batched_from_data
- prove_inclusion_batched_from_files
- prove_inclusion_from_data
- prove_inclusion_from_files
- utils::circuit_helper::is_negative
- utils::circuit_helper::is_positive
- utils::logger::format_error
- utils::logger::print_header
- utils::util::calculate_with_decimals
- utils::util::format_timestamp
- utils::util::hash_account
- utils::util::hash_n_subhashes
- utils::util::pad_accounts
- utils::util::pad_recursive_proofs
- utils::util::pis_to_hash_bytes
- verify_from_files