List of all items

Structs

• circuits::bip32::Bip32Example
• circuits::bip32::Instance
• circuits::bip32::Params
• circuits::bitcoin_header_chain::BitcoinHeaderChainExample
• circuits::bitcoin_header_chain::Instance
• circuits::bitcoin_header_chain::Params
• circuits::bitcoin_p2pkh::BitcoinP2PKHExample
• circuits::bitcoin_p2pkh::Instance
• circuits::bitcoin_p2pkh::Params
• circuits::blake2b::Blake2bExample
• circuits::blake2s::Blake2sExample
• circuits::blake3::Blake3Example
• circuits::blake3_compress::Blake3CompressExample
• circuits::blake3_compress::Instance
• circuits::blake3_compress::Params
• circuits::ec_msm::EcMsmExample
• circuits::ec_msm::Instance
• circuits::ec_msm::Params
• circuits::ethsign::EthSignExample
• circuits::ethsign::Instance
• circuits::ethsign::Params
• circuits::hashsign::HashBasedSigExample
• circuits::hashsign::Instance
• circuits::hashsign::Params
• circuits::independent_hashes::IndependentBlake3Compressions
• circuits::independent_hashes::IndependentKeccakPermutations
• circuits::independent_hashes::IndependentSha256Compressions
• circuits::independent_hashes::Instance
• circuits::independent_hashes::PrimitiveParams
• circuits::keccak::KeccakExample
• circuits::sha256::Sha256Example
• circuits::sha3::Sha3Example
• circuits::sha3_512::Sha3_512Example
• circuits::sha512::Sha512Example
• circuits::subset_sum::SubsetSum
• circuits::utils::HasherInstance
• circuits::utils::HasherParams
• circuits::zklogin::Config
• circuits::zklogin::Instance
• circuits::zklogin::Params
• circuits::zklogin::ZkLogin
• circuits::zklogin::ZkLoginExample
• cli::Cli

Enums

• HashSuiteType
• circuits::utils::HasherMode

Traits

• ExampleCircuit

Functions

• check_proof
• check_proof_zk
• circuits::bip32::bip32_derive_compressed
• circuits::bitcoin_block_contains_transaction::block_contains_transaction
• circuits::utils::hasher_param_summary
• circuits::utils::pack_bytes_u32words
• circuits::utils::pack_bytes_u64words
• circuits::utils::resolve_hasher_message
• circuits::utils::resolve_hasher_mode
• create_proof
• create_proof_zk
• init_tracing
• prove_verify
• prove_verify_zk
• setup
• setup_verifier
• setup_zk
• setup_zk_verifier
• snapshot::bless_snapshot
• snapshot::check_snapshot
• snapshot::format_circuit_stats
• snapshot::snapshot_path

Type Aliases

• StdProver
• StdVerifier
• StdZKProver
• StdZKVerifier

Constants

• circuits::independent_hashes::DEFAULT_NUM_PRIMITIVES
• circuits::utils::DEFAULT_HASH_MESSAGE_BYTES
• circuits::utils::DEFAULT_RANDOM_SEED