List of all items

Structs

• air_builders::debug::DebugConstraintBuilder
• air_builders::sub::SubAirBuilder
• air_builders::sub::SubMatrixRowSlices
• air_builders::symbolic::SymbolicConstraints
• air_builders::symbolic::SymbolicConstraintsDag
• air_builders::symbolic::SymbolicExpressionDag
• air_builders::symbolic::SymbolicRapBuilder
• air_builders::symbolic::symbolic_variable::SymbolicVariable
• config::StarkConfig
• config::UniStarkConfig
• engine::VerificationData
• gkr::GkrArtifact
• gkr::GkrBatchProof
• gkr::GkrMask
• gkr::InvalidNumMaskColumnsError
• gkr::NotConstantPolyError
• gkr::NotOutputLayerError
• interaction::Interaction
• interaction::LogUpSecurityParameters
• interaction::LookupBus
• interaction::PermutationCheckBus
• interaction::RapPhaseProverData
• interaction::RapPhaseShape
• interaction::RapPhaseVerifierData
• interaction::debug::LogicalInteractions
• interaction::fri_log_up::FriLogUpPartialProof
• interaction::fri_log_up::FriLogUpPhase
• interaction::fri_log_up::FriLogUpProvingKey
• keygen::MultiStarkKeygenBuilder
• keygen::types::LinearConstraint
• keygen::types::MultiStarkProvingKey
• keygen::types::MultiStarkVerifyingKey
• keygen::types::MultiStarkVerifyingKey0
• 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
• proof::AdjacentOpenedValues
• proof::AirProofData
• proof::Commitments
• proof::OpenedValues
• proof::OpeningProof
• proof::Proof
• prover::coordinator::Coordinator
• prover::cpu::CpuBackend
• prover::cpu::CpuDevice
• prover::cpu::MultiTraceStarkProver
• prover::cpu::PcsData
• prover::cpu::opener::OpeningProver
• prover::cpu::quotient::QuotientChunk
• prover::cpu::quotient::QuotientCommitter
• prover::metrics::SingleTraceMetrics
• prover::metrics::TraceCells
• prover::metrics::TraceMetrics
• prover::types::AirProofInput
• prover::types::AirProofRawInput
• prover::types::AirProvingContext
• prover::types::CommittedTraceData
• prover::types::DeviceMultiStarkProvingKey
• prover::types::DeviceStarkProvingKey
• prover::types::HalProof
• prover::types::PairView
• prover::types::ProofInput
• prover::types::ProverDataAfterRapPhases
• prover::types::ProvingContext
• prover::types::RapSinglePhaseView
• prover::types::RapView
• prover::types::SingleCommitPreimage
• sumcheck::SumcheckArtifacts
• sumcheck::SumcheckProof
• verifier::MultiTraceStarkVerifier
• verifier::folder::GenericVerifierConstraintFolder

Enums

• air_builders::symbolic::SymbolicExpressionNode
• air_builders::symbolic::symbolic_expression::SymbolicExpression
• air_builders::symbolic::symbolic_variable::Entry
• gkr::Gate
• gkr::GkrError
• gkr::Layer
• interaction::PermutationInteractionType
• interaction::RapPhaseSeqKind
• interaction::fri_log_up::FriLogUpError
• sumcheck::SumcheckError
• verifier::VerificationError

Traits

• Chip
• ChipUsageGetter
• air_builders::PartitionedAirBuilder
• air_builders::symbolic::symbolic_expression::SymbolicEvaluator
• config::StarkGenericConfig
• engine::StarkEngine
• interaction::InteractionBuilder
• interaction::RapPhaseSeq
• poly::multi::MultivariatePolyOracle
• prover::Prover
• prover::hal::DeviceDataTransporter
• prover::hal::MatrixDimensions
• prover::hal::OpeningProver
• prover::hal::ProverBackend
• prover::hal::ProverDevice
• prover::hal::QuotientCommitter
• prover::hal::RapPartialProver
• prover::hal::TraceCommitter
• prover::helper::AirProofInputTestHelper
• rap::AnyRap
• rap::BaseAirWithPublicValues
• rap::PartitionedBaseAir
• rap::PermutationAirBuilderWithExposedValues
• rap::Rap

Macros

• parizip

Functions

• air_builders::debug::debug_constraints_and_interactions
• 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::fri_log_up::eval_fri_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
• rap::get_air_name
• sumcheck::partially_verify
• sumcheck::prove_batch
• utils::batch_multiplicative_inverse_allowing_zero
• utils::disable_debug_builder
• utils::metrics_span
• verifier::constraints::verify_single_rap_constraints

Type Aliases

• air_builders::ViewPair
• config::Com
• config::Domain
• config::PackedChallenge
• config::PackedVal
• config::PcsError
• config::PcsProof
• config::PcsProverData
• config::RapPartialProvingKey
• config::RapPhaseSeqError
• config::RapPhaseSeqPartialProof
• config::Val
• gkr::LayerIndex
• interaction::BusIndex
• interaction::SymbolicInteraction
• prover::MultiTraceStarkProver
• rap::AirRef
• sumcheck::RoundIndex
• verifier::folder::VerifierConstraintFolder

Constants

• air_builders::debug::USE_DEBUG_BUILDER
• interaction::fri_log_up::STARK_LU_NUM_CHALLENGES
• interaction::fri_log_up::STARK_LU_NUM_EXPOSED_VALUES
• sumcheck::MAX_DEGREE