List of all items

Structs

• SystemParams
• VerificationData
• WhirConfig
• WhirParams
• WhirRoundConfig
• air_builders::debug::AirProofRawInput
• air_builders::debug::DebugConstraintBuilder
• air_builders::sub::SubAirBuilder
• air_builders::sub::SubMatrixRowSlices
• air_builders::symbolic::SymbolicConstraints
• air_builders::symbolic::SymbolicConstraintsDag
• air_builders::symbolic::SymbolicDagBuilder
• air_builders::symbolic::SymbolicExpressionDag
• air_builders::symbolic::SymbolicRapBuilder
• air_builders::symbolic::statistics::AirStatistics
• air_builders::symbolic::statistics::AirStatisticsGenerator
• air_builders::symbolic::statistics::NodeInfo
• air_builders::symbolic::symbolic_variable::SymbolicVariable
• dft::Radix2BowersSerial
• hasher::Hasher
• interaction::Interaction
• interaction::LogUpSecurityParameters
• interaction::LookupBus
• interaction::PermutationCheckBus
• interaction::debug::LogicalInteractions
• keygen::MultiStarkKeygenBuilder
• keygen::types::LinearConstraint
• keygen::types::MultiStarkProvingKey
• keygen::types::MultiStarkVerifyingKey
• keygen::types::MultiStarkVerifyingKey0
• keygen::types::StarkProvingKey
• keygen::types::StarkVerifyingKey
• keygen::types::StarkVerifyingParams
• keygen::types::TraceWidth
• keygen::types::VerifierSinglePreprocessedData
• memory_metering::ProvingMemoryConfig
• memory_metering::ProvingMemoryCounts
• memory_metering::ProvingMemoryEstimate
• poly_common::ExpPowers2
• poly_common::UnivariatePoly
• proof::BatchConstraintProof
• proof::GkrLayerClaims
• proof::GkrProof
• proof::Proof
• proof::StackingProof
• proof::TraceVData
• proof::WhirProof
• prover::AirProvingContext
• prover::ColMajorMatrix
• prover::ColMajorMatrixView
• prover::CommittedTraceData
• prover::Coordinator
• prover::CpuColMajorBackend
• prover::DeviceMultiStarkProvingKey
• prover::DeviceStarkProvingKey
• prover::EvalHelper
• prover::HostProof
• prover::LogupZerocheckCpu
• prover::ProvingContext
• prover::ReferenceDevice
• prover::StridedColMajorMatrixView
• prover::fractional_sumcheck_gkr::Frac
• prover::fractional_sumcheck_gkr::FracSumcheckProof
• prover::metrics::SingleTraceMetrics
• prover::metrics::TraceCells
• prover::metrics::TraceMetrics
• prover::poly::Mle
• prover::poly::MleMatrix
• prover::poly::Ple
• prover::poly::PleMatrix
• prover::stacked_pcs::MerkleTree
• prover::stacked_pcs::StackedLayout
• prover::stacked_pcs::StackedPcsData
• prover::stacked_pcs::StackedSlice
• prover::stacked_reduction::StackedReductionCpu
• prover::sumcheck::SumcheckCubeProof
• prover::sumcheck::SumcheckPrismProof
• soundness::ProximityGapSecurity
• soundness::SoundnessCalculator
• soundness::WhirSoundnessCalculator
• test_utils::CachedFixture11
• test_utils::FibFixture
• test_utils::InteractionsFixture11
• test_utils::MixtureFixture
• test_utils::PreprocessedAndCachedFixture
• test_utils::PreprocessedFibFixture
• test_utils::SelfInteractionFixture
• test_utils::dummy_airs::fib_air::air::FibonacciAir
• test_utils::dummy_airs::fib_air::columns::FibonacciCols
• test_utils::dummy_airs::fib_selector_air::air::FibonacciSelectorAir
• test_utils::dummy_airs::fib_selector_air::columns::FibonacciSelectorCols
• test_utils::dummy_airs::interaction::dummy_interaction_air::DummyInteractionAir
• test_utils::dummy_airs::interaction::dummy_interaction_air::DummyInteractionChip
• test_utils::dummy_airs::interaction::dummy_interaction_air::DummyInteractionCols
• test_utils::dummy_airs::interaction::dummy_interaction_air::DummyInteractionData
• test_utils::dummy_airs::interaction::self_interaction_air::SelfInteractionAir
• test_utils::dummy_airs::interaction::self_interaction_air::SelfInteractionChip
• test_utils::dummy_airs::preprocessed_cached_air::air::PreprocessedCachedAir
• transcript::ReadOnlyTranscript
• transcript::TranscriptLog
• transcript::duplex_sponge::DuplexSponge
• transcript::duplex_sponge::DuplexSpongeRecorder
• transcript::duplex_sponge::DuplexSpongeValidator

Enums

• ProximityRegime
• StarkTestError
• WhirProximityStrategy
• air_builders::symbolic::SymbolicExpressionNode
• air_builders::symbolic::symbolic_expression::SymbolicExpression
• air_builders::symbolic::symbolic_variable::Entry
• interaction::PermutationInteractionType
• keygen::types::KeygenError
• prover::error::LogupZerocheckError
• prover::error::RefProverError
• prover::error::StackedPcsError
• prover::error::StackedReductionError
• prover::error::SumcheckError
• prover::error::WhirProverError
• test_utils::MixtureFixtureEnum
• verifier::VerifierError
• verifier::batch_constraints::BatchConstraintError
• verifier::fractional_sumcheck_gkr::GkrVerificationError
• verifier::proof_shape::BatchProofShapeError
• verifier::proof_shape::GkrProofShapeError
• verifier::proof_shape::ProofShapeError
• verifier::proof_shape::ProofShapeVDataError
• verifier::proof_shape::StackingProofShapeError
• verifier::proof_shape::WhirProofShapeError
• verifier::stacked_reduction::StackedReductionError
• verifier::whir::VerifyWhirError

Traits

• AnyAir
• BaseAirWithPublicValues
• PartitionedBaseAir
• StarkEngine
• StarkProtocolConfig
• air_builders::PartitionedAirBuilder
• air_builders::symbolic::symbolic_expression::SymbolicEvaluator
• codec::DecodableConfig
• codec::Decode
• codec::EncodableConfig
• codec::Encode
• hasher::MerkleHasher
• interaction::InteractionBuilder
• poly_common::Squarable
• prover::DeviceDataTransporter
• prover::MatrixDimensions
• prover::MatrixView
• prover::MultiRapProver
• prover::OpeningProver
• prover::Prover
• prover::ProverBackend
• prover::ProverDevice
• prover::TraceCommitter
• prover::stacked_reduction::StackedReductionProver
• prover::whir::WhirProver
• test_utils::TestFixture
• transcript::FiatShamirTranscript
• transcript::TranscriptHistory

Macros

• any_air_arc_vec
• parizip

Derive Macros

• codec::Decode
• codec::Encode

Functions

• air_builders::debug::check_constraints
• air_builders::debug::check_logup
• air_builders::debug::debug_constraints_and_interactions
• air_builders::symbolic::get_symbolic_builder
• calculate_n_logup
• codec::decode_extension_field32
• codec::decode_into_vec
• codec::decode_prime_field32
• codec::encode_extension_field32
• codec::encode_iter
• codec::encode_prime_field32
• codec::encode_slice
• dft::divide_by_height
• dft::reverse_matrix_index_bits
• dft::scale_slice_in_place
• get_air_name
• interaction::debug::generate_logical_interactions
• poly_common::eq_uni_poly
• poly_common::eval_eq_mle
• poly_common::eval_eq_prism
• poly_common::eval_eq_rot_cube
• poly_common::eval_eq_sharp_uni
• poly_common::eval_eq_uni
• poly_common::eval_eq_uni_at_one
• poly_common::eval_in_uni
• poly_common::eval_mle_evals_at_point
• poly_common::eval_mobius_eq_mle
• poly_common::eval_rot_kernel_prism
• poly_common::evals_eq_hypercube_serial
• poly_common::horner_eval
• poly_common::interpolate_cubic_at_0123
• poly_common::interpolate_linear_at_01
• poly_common::interpolate_quadratic_at_012
• proof::column_openings_by_rot
• prover::fractional_sumcheck_gkr::fractional_sumcheck
• prover::metrics::format_number_with_underscores
• prover::metrics::trace_metrics
• prover::poly::eq_sharp_uni_poly
• prover::poly::eval_to_coeff_rs_message
• prover::poly::evals_eq_hypercube
• prover::poly::evals_eq_hypercubes
• prover::poly::evals_eq_hyperprism
• prover::poly::evals_mobius_eq_hypercube
• prover::prove_zerocheck_and_logup
• prover::stacked_pcs::rs_code_matrix
• prover::stacked_pcs::stacked_commit
• prover::stacked_pcs::stacked_matrix
• prover::stacked_reduction::prove_stacked_opening_reduction
• prover::sumcheck::batch_fold_mle_evals
• prover::sumcheck::batch_fold_ple_evals
• prover::sumcheck::fold_mle_evals
• prover::sumcheck::fold_mle_evals_inplace
• prover::sumcheck::fold_ple_evals
• prover::sumcheck::sumcheck_multilinear
• prover::sumcheck::sumcheck_prismalinear
• prover::sumcheck::sumcheck_round0_deg
• prover::sumcheck::sumcheck_round_poly_evals
• prover::sumcheck::sumcheck_uni_round0_poly
• prover::whir::prove_whir_opening
• soundness::min_whir_queries
• soundness::print_soundness_report
• test_utils::default_test_params_small
• test_utils::dummy_airs::fib_air::trace::generate_trace_rows
• test_utils::dummy_airs::fib_selector_air::trace::generate_trace_rows
• test_utils::prove_up_to_batch_constraints
• test_utils::test_system_params_small
• test_utils::test_system_params_small_with_poly_len
• test_utils::test_whir_config_small
• utils::batch_multiplicative_inverse_allowing_zero
• utils::batch_multiplicative_inverse_serial
• utils::disable_debug_builder
• utils::parallelize_chunks
• verifier::batch_constraints::verify_zerocheck_and_logup
• verifier::fractional_sumcheck_gkr::verify_gkr
• verifier::proof_shape::verify_proof_shape
• verifier::stacked_reduction::verify_stacked_reduction
• verifier::verify
• verifier::whir::binary_k_fold
• verifier::whir::merkle_verify
• verifier::whir::verify_whir

Type Aliases

• AirRef
• Com
• EngineDeviceCtx
• ProverError
• Val
• air_builders::ViewPair
• interaction::BusIndex
• interaction::SymbolicInteraction
• proof::MerkleProof

Constants

• air_builders::debug::USE_DEBUG_BUILDER
• memory_metering::INTERACTION_MEMORY_OVERHEAD
• test_utils::dummy_airs::fib_air::columns::NUM_FIBONACCI_COLS