List of all items

Structs

• challenger::duplex::DuplexChallengerVariable
• challenger::multi_field32::MultiField32ChallengerVariable
• config::outer::OuterConfig
• fri::domain::TwoAdicMultiplicativeCosetVariable
• fri::two_adic_pcs::TwoAdicFriPcsVariable
• fri::types::BatchOpeningVariable
• fri::types::DimensionsVariable
• fri::types::FriChallengesVariable
• fri::types::FriCommitPhaseProofStepVariable
• fri::types::FriConfigVariable
• fri::types::FriProofVariable
• fri::types::FriQueryProofVariable
• fri::types::TwoAdicPcsMatsVariable
• fri::types::TwoAdicPcsProofVariable
• fri::types::TwoAdicPcsRoundVariable
• halo2::DslOperations
• halo2::EvmProof
• halo2::Halo2Prover
• halo2::Halo2ProvingMetadata
• halo2::Halo2ProvingPinning
• halo2::utils::CacheHalo2ParamsReader
• halo2::utils::DK
• halo2::verifier::Halo2VerifierProvingKey
• halo2::wrapper::EvmVerifier
• halo2::wrapper::Halo2WrapperProvingKey
• stark::StarkVerifier
• stark::VerifierProgram
• types::MultiStarkVerificationAdvice
• types::StarkVerificationAdvice
• types::VerifierInput
• types::VerifierSinglePreprocessedDataInProgram
• vars::AdjacentOpenedValuesVariable
• vars::AirProofDataVariable
• vars::CommitmentsVariable
• vars::MultiStarkVerificationAdviceVariable
• vars::OpenedValuesVariable
• vars::OpeningProofVariable
• vars::StarkProofVariable
• vars::StarkVerificationAdviceVariable
• vars::TraceWidthVariable
• vars::VerifierInputVariable

Enums

• digest::DigestVal
• digest::DigestVariable
• fri::NestedOpenedValues

Traits

• challenger::CanCheckWitness
• challenger::CanObserveDigest
• challenger::CanObserveVariable
• challenger::CanSampleBitsVariable
• challenger::CanSampleVariable
• challenger::ChallengerVariable
• challenger::FeltChallenger
• digest::CanPoseidon2Digest
• halo2::utils::Halo2ParamsReader
• hints::Hintable
• hints::VecAutoHintable
• witness::VectorWitnessable
• witness::Witnessable

Functions

• config::outer::new_from_outer_multi_vk
• fri::two_adic_pcs::tests::build_test_fri_with_cols_and_log2_rows
• fri::two_adic_pcs::verify_two_adic_pcs
• fri::verify_batch
• fri::verify_batch_static
• fri::verify_challenges
• fri::verify_query
• fri::verify_shape_and_sample_challenges
• halo2::testing_utils::run_static_verifier_test
• halo2::utils::sort_chips
• halo2::verifier::generate_halo2_verifier_proving_key
• stark::outer::build_circuit_verify_operations
• types::new_from_inner_multi_vk
• utils::cond_eval
• utils::const_fri_config
• utils::reduce_32
• utils::split_32

Type Aliases

• config::outer::OuterBatchOpening
• config::outer::OuterChallenge
• config::outer::OuterChallengeMmcs
• config::outer::OuterChallenger
• config::outer::OuterCommitPhaseStep
• config::outer::OuterCompress
• config::outer::OuterDft
• config::outer::OuterDigest
• config::outer::OuterFriProof
• config::outer::OuterHash
• config::outer::OuterInputProof
• config::outer::OuterPcs
• config::outer::OuterPerm
• config::outer::OuterQueryProof
• config::outer::OuterVal
• config::outer::OuterValMmcs
• halo2::Halo2Params
• hints::InnerBatchOpening
• hints::InnerChallenge
• hints::InnerChallengeMmcs
• hints::InnerCommitPhaseStep
• hints::InnerCompress
• hints::InnerDigest
• hints::InnerFriProof
• hints::InnerHash
• hints::InnerInputProof
• hints::InnerPerm
• hints::InnerQueryProof
• hints::InnerVal
• hints::InnerValMmcs
• types::InnerConfig
• vars::OuterDigestVariable

Statics

• halo2::utils::KZG_PARAMS_FOR_SVK

Constants

• halo2::utils::DEFAULT_PARAMS_DIR