List of all items

Structs

• Fr
• StaticVerifierCircuit
• backend::Halo2Backend
• 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
• tracegen::graph_executor::FusedColumnBuilder
• tracegen::graph_executor::GraphExecutor
• tracegen::graph_executor::GraphExecutorState
• tracegen::graph_executor::GraphProgram
• tracegen::ir_builder::Halo2GraphNode
• tracegen::ir_builder::Halo2IRBuilder
• tracegen::ir_builder::NodeMeta
• transcript::DigestWire
• transcript::TranscriptChip
• wrapper::EvmVerifierByteCode
• wrapper::FallbackEvmVerifier
• wrapper::Halo2WrapperProvingKey

Enums

• StaticCircuitParamsError
• tracegen::ir_builder::GraphCell
• tracegen::ir_builder::Halo2Opcode

Traits

• chip_traits::BabyBearExt4Inst
• chip_traits::BabyBearInst
• chip_traits::ChipBase
• chip_traits::GateInst
• chip_traits::PopulateInputs
• chip_traits::Poseidon2Inst
• chip_traits::TranscriptInst
• 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
• tracegen::ir_builder::NodeId

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