List of all items

Structs

• air_builders::debug::DebugConstraintBuilder
• air_builders::prover::ProverConstraintFolder
• air_builders::sub::SubAirBuilder
• air_builders::sub::SubMatrixRowSlices
• air_builders::symbolic::SymbolicConstraints
• air_builders::symbolic::SymbolicRapBuilder
• air_builders::symbolic::dag::SymbolicConstraintsDag
• air_builders::symbolic::dag::SymbolicExpressionDag
• air_builders::symbolic::symbolic_variable::SymbolicVariable
• air_builders::verifier::GenericVerifierConstraintFolder
• commit::CommittedSingleMatrixView
• commit::MatrixCommitmentPointers
• commit::SingleMatrixCommitPtr
• config::StarkConfig
• config::UniStarkConfig
• engine::VerificationData
• gkr::GkrArtifact
• gkr::GkrBatchProof
• gkr::GkrMask
• gkr::InvalidNumMaskColumnsError
• gkr::NotConstantPolyError
• gkr::NotOutputLayerError
• interaction::Interaction
• interaction::RapPhaseProverData
• interaction::RapPhaseShape
• interaction::RapPhaseVerifierData
• interaction::debug::LogicalInteractions
• interaction::stark_log_up::StarkLogUpPhase
• interaction::stark_log_up::StarkLogUpProvingKey
• keygen::MultiStarkKeygenBuilder
• keygen::types::MultiStarkProvingKey
• keygen::types::MultiStarkVerifyingKey
• keygen::types::ProverOnlySinglePreprocessedData
• keygen::types::StarkProvingKey
• keygen::types::StarkVerifyingKey
• keygen::types::StarkVerifyingParams
• keygen::types::TraceWidth
• keygen::types::VerifierSinglePreprocessedData
• poly::multi::Mle
• poly::uni::Fraction
• poly::uni::UnivariatePolynomial
• prover::MultiTraceStarkProver
• prover::PairTraceView
• prover::metrics::SingleTraceMetrics
• prover::metrics::TraceCells
• prover::metrics::TraceMetrics
• prover::opener::AdjacentOpenedValues
• prover::opener::OpenedValues
• prover::opener::OpeningProof
• prover::opener::OpeningProver
• prover::quotient::ProverQuotientData
• prover::quotient::QuotientChunk
• prover::quotient::QuotientCommitter
• prover::quotient::QuotientData
• prover::quotient::QuotientVkData
• prover::quotient::SingleQuotientData
• prover::types::AirProofData
• prover::types::AirProofInput
• prover::types::AirProofRawInput
• prover::types::Commitments
• prover::types::CommittedTraceData
• prover::types::Proof
• prover::types::ProofInput
• prover::types::ProverTraceData
• prover::types::TraceCommitter
• sumcheck::SumcheckArtifacts
• sumcheck::SumcheckProof
• verifier::MultiTraceStarkVerifier

Enums

• air_builders::symbolic::dag::SymbolicExpressionNode
• air_builders::symbolic::symbolic_expression::SymbolicExpression
• air_builders::symbolic::symbolic_variable::Entry
• gkr::Gate
• gkr::GkrError
• gkr::Layer
• interaction::InteractionType
• interaction::RapPhaseSeqKind
• interaction::stark_log_up::StarkLogUpError
• sumcheck::SumcheckError
• verifier::VerificationError

Traits

• Chip
• ChipUsageGetter
• air_builders::PartitionedAirBuilder
• air_builders::symbolic::symbolic_expression::SymbolicEvaluator
• circuit_api::AsyncCircuitProver
• circuit_api::CircuitProver
• circuit_api::CircuitVerifier
• config::StarkGenericConfig
• engine::StarkEngine
• interaction::HasInteractionChunkSize
• interaction::InteractionBuilder
• interaction::RapPhaseSeq
• poly::multi::MultivariatePolyOracle
• prover::helper::AirProofInputTestHelper
• rap::AnyRap
• rap::BaseAirWithPublicValues
• rap::PartitionedBaseAir
• rap::PermutationAirBuilderWithExposedValues
• rap::Rap

Macros

• parizip

Functions

• air_builders::debug::check_constraints::check_constraints
• air_builders::debug::check_constraints::check_logup
• air_builders::symbolic::get_symbolic_builder
• gkr::correct_sum_as_poly_in_first_variable
• gkr::partially_verify_batch
• gkr::prove_batch
• interaction::debug::generate_logical_interactions
• interaction::stark_log_up::eval_stark_log_up_phase
• poly::multi::fold_mle_evals
• poly::multi::hypercube_eq
• poly::uni::evaluate_on_slice
• poly::uni::random_linear_combination
• prover::metrics::format_number_with_underscores
• prover::metrics::trace_metrics
• prover::quotient::single::compute_single_rap_quotient_values
• rap::get_air_name
• sumcheck::partially_verify
• sumcheck::prove_batch
• utils::batch_multiplicative_inverse_allowing_zero
• utils::disable_debug_builder
• verifier::constraints::verify_single_rap_constraints

Type Aliases

• air_builders::ViewPair
• air_builders::verifier::VerifierConstraintFolder
• config::Com
• config::Domain
• config::PackedChallenge
• config::PackedVal
• config::PcsError
• config::PcsProof
• config::PcsProverData
• config::RapPhaseSeqError
• config::RapPhaseSeqPartialProof
• config::RapPhaseSeqProvingKey
• config::Val
• gkr::LayerIndex
• interaction::SymbolicInteraction
• sumcheck::RoundIndex

Constants

• interaction::stark_log_up::STARK_LU_NUM_CHALLENGES
• interaction::stark_log_up::STARK_LU_NUM_EXPOSED_VALUES
• prover::USE_DEBUG_BUILDER
• sumcheck::MAX_DEGREE