List of all items

Structs

• Fr
• StaticVerifierCircuit
• config::StaticVerifierShape
• field::baby_bear::BabyBearChip
• field::baby_bear::BabyBearExt4Chip
• field::baby_bear::BabyBearExt4Wire
• field::baby_bear::BabyBearWire
• field::baby_bear::ReducedBabyBearExt4Wire
• field::baby_bear::ReducedBabyBearWire
• hash::poseidon2::Poseidon2Params
• hash::poseidon2::Poseidon2State
• keygen::RawEvmProof
• keygen::StaticVerifierProvingKey
• profiling::CellProfiler
• prover::Halo2ProvingMetadata
• prover::Halo2ProvingPinning
• prover::StaticVerifierProof
• stages::batch_constraints::BatchConstraintIntermediatesWire
• stages::batch_constraints::BatchConstraintProofWire
• stages::batch_constraints::GkrProofWire
• stages::full_pipeline::ProofWire
• stages::full_pipeline::StaticVerifierPvs
• stages::stacked_reduction::StackedReductionIntermediatesWire
• stages::stacked_reduction::StackingProofWire
• stages::whir::MerklePathWire
• stages::whir::WhirProofWire
• transcript::DigestWire
• transcript::TranscriptChip
• wrapper::EvmVerifierByteCode
• wrapper::FallbackEvmVerifier
• wrapper::Halo2WrapperProvingKey

Enums

• StaticCircuitParamsError

Traits

• wrapper::Halo2ParamsReader

Functions

• compute_dag_onion_commit
• keygen::evm_verify
• stages::full_pipeline::compress_babybear_wires_to_bn254
• stages::full_pipeline::constrained_verify
• stages::full_pipeline::extract_public_values
• stages::full_pipeline::load_proof_wire
• stages::proof_shape::log_heights_per_air_from_proof
• transcript::digest_wire_from_root

Type Aliases

• RootEF
• RootF
• field::baby_bear::BabyBearExt4
• field::baby_bear::BabyBearExtChip
• field::baby_bear::BabyBearExtWire
• field::baby_bear::ReducedBabyBearExtWire
• prover::Halo2Params

Statics

• wrapper::KZG_PARAMS_FOR_SVK

Constants

• config::DEFAULT_HALO2_VERIFIER_K
• config::ONCHAIN_VERIFIER_NUM_INSTANCE_COLS
• config::STATIC_VERIFIER_LOOKUP_ADVICE_COLS
• config::STATIC_VERIFIER_NUM_ADVICE_COLS