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
• 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
• keygen::view::MultiStarkVerifyingKeyView
• proof::AdjacentOpenedValues
• proof::AirProofData
• proof::Commitments
• proof::OpenedValues
• proof::OpeningProof
• proof::Proof
• prover::coordinator::Coordinator
• prover::cpu::CpuBackend
• prover::cpu::CpuDevice
• prover::cpu::PcsData
• prover::cpu::opener::OpeningProver
• prover::cpu::quotient::QuotientChunk
• prover::cpu::quotient::QuotientCommitter
• prover::cpu::quotient::QuotientData
• prover::metrics::SingleTraceMetrics
• prover::metrics::TraceCells
• prover::metrics::TraceMetrics
• prover::types::AirProofRawInput
• prover::types::AirProvingContext
• prover::types::AirView
• prover::types::CommittedTraceData
• prover::types::DeviceMultiStarkProvingKey
• prover::types::DeviceMultiStarkProvingKeyView
• prover::types::DeviceStarkProvingKey
• prover::types::HalProof
• prover::types::PairView
• prover::types::ProverDataAfterRapPhases
• prover::types::ProvingContext
• prover::types::RapSinglePhaseView
• prover::types::RapView
• prover::types::SingleCommitPreimage
• verifier::MultiTraceStarkVerifier
• verifier::folder::GenericVerifierConstraintFolder

Enums

• air_builders::symbolic::SymbolicExpressionNode
• air_builders::symbolic::symbolic_expression::SymbolicExpression
• air_builders::symbolic::symbolic_variable::Entry
• interaction::PermutationInteractionType
• interaction::RapPhaseSeqKind
• interaction::fri_log_up::FriLogUpError
• verifier::VerificationError

Traits

• AnyChip
• Chip
• ChipUsageGetter
• air_builders::PartitionedAirBuilder
• air_builders::symbolic::symbolic_expression::SymbolicEvaluator
• config::StarkGenericConfig
• engine::StarkEngine
• interaction::InteractionBuilder
• interaction::RapPhaseSeq
• 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
• 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
• interaction::debug::generate_logical_interactions
• interaction::fri_log_up::eval_fri_log_up_phase
• prover::metrics::format_number_with_underscores
• prover::metrics::trace_metrics
• rap::get_air_name
• utils::batch_multiplicative_inverse_allowing_zero
• utils::disable_debug_builder
• utils::parallelize_chunks
• 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
• interaction::BusIndex
• interaction::SymbolicInteraction
• prover::MultiTraceStarkProver
• rap::AirRef
• 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