List of all items

Structs

• batch_constraint::BatchConstraintModule
• batch_constraint::SelectorCount
• batch_constraint::bus::BatchConstraintConductorBus
• batch_constraint::bus::BatchConstraintConductorMessage
• batch_constraint::bus::ConstraintsFoldingBus
• batch_constraint::bus::ConstraintsFoldingMessage
• batch_constraint::bus::Eq3bBus
• batch_constraint::bus::Eq3bMessage
• batch_constraint::bus::EqNOuterBus
• batch_constraint::bus::EqNOuterMessage
• batch_constraint::bus::EqNegInternalBus
• batch_constraint::bus::EqNegInternalMessage
• batch_constraint::bus::EqSharpUniBus
• batch_constraint::bus::EqSharpUniMessage
• batch_constraint::bus::EqZeroNBus
• batch_constraint::bus::EqZeroNMessage
• batch_constraint::bus::ExpressionClaimBus
• batch_constraint::bus::ExpressionClaimMessage
• batch_constraint::bus::InteractionsFoldingBus
• batch_constraint::bus::InteractionsFoldingMessage
• batch_constraint::bus::SumcheckClaimBus
• batch_constraint::bus::SumcheckClaimMessage
• batch_constraint::bus::SymbolicExpressionBus
• batch_constraint::bus::SymbolicExpressionMessage
• batch_constraint::bus::UnivariateSumcheckInputBus
• batch_constraint::bus::UnivariateSumcheckInputMessage
• batch_constraint::eq_airs::eq_3b::Eq3bAir
• batch_constraint::eq_airs::eq_3b::Eq3bBlob
• batch_constraint::eq_airs::eq_3b::Eq3bColumns
• batch_constraint::eq_airs::eq_3b::Eq3bTraceGenerator
• batch_constraint::eq_airs::eq_neg::EqNegAir
• batch_constraint::eq_airs::eq_neg::EqNegCols
• batch_constraint::eq_airs::eq_neg::EqNegTraceGenerator
• batch_constraint::eq_airs::eq_ns::EqNsAir
• batch_constraint::eq_airs::eq_ns::EqNsColumns
• batch_constraint::eq_airs::eq_ns::EqNsRecord
• batch_constraint::eq_airs::eq_ns::EqNsTraceGenerator
• batch_constraint::eq_airs::eq_sharp_uni::EqSharpUniAir
• batch_constraint::eq_airs::eq_sharp_uni::EqSharpUniBlob
• batch_constraint::eq_airs::eq_sharp_uni::EqSharpUniCols
• batch_constraint::eq_airs::eq_sharp_uni::EqSharpUniReceiverAir
• batch_constraint::eq_airs::eq_sharp_uni::EqSharpUniReceiverCols
• batch_constraint::eq_airs::eq_sharp_uni::EqSharpUniReceiverTraceGenerator
• batch_constraint::eq_airs::eq_sharp_uni::EqSharpUniTraceGenerator
• batch_constraint::eq_airs::eq_uni::EqUniAir
• batch_constraint::eq_airs::eq_uni::EqUniCols
• batch_constraint::eq_airs::eq_uni::EqUniTraceGenerator
• batch_constraint::expr_eval::DagCommitCols
• batch_constraint::expr_eval::DagCommitInfo
• batch_constraint::expr_eval::DagCommitPvs
• batch_constraint::expr_eval::DagCommitSubAir
• batch_constraint::expr_eval::constraints_folding::ConstraintsFoldingAir
• batch_constraint::expr_eval::constraints_folding::ConstraintsFoldingCols
• batch_constraint::expr_eval::constraints_folding::ConstraintsFoldingTraceGenerator
• batch_constraint::expr_eval::interactions_folding::InteractionsFoldingAir
• batch_constraint::expr_eval::interactions_folding::InteractionsFoldingCols
• batch_constraint::expr_eval::interactions_folding::InteractionsFoldingTraceGenerator
• batch_constraint::expr_eval::symbolic_expression::CachedSymbolicExpressionColumns
• batch_constraint::expr_eval::symbolic_expression::CachedTraceRecord
• batch_constraint::expr_eval::symbolic_expression::SingleMainSymbolicExpressionColumns
• batch_constraint::expr_eval::symbolic_expression::SymbolicExpressionAir
• batch_constraint::expr_eval::symbolic_expression::SymbolicExpressionTraceGenerator
• batch_constraint::expression_claim::ExpressionClaimAir
• batch_constraint::expression_claim::ExpressionClaimCols
• batch_constraint::fractions_folder::FractionsFolderAir
• batch_constraint::fractions_folder::FractionsFolderCols
• batch_constraint::sumcheck::multilinear::MultilinearSumcheckAir
• batch_constraint::sumcheck::multilinear::MultilinearSumcheckCols
• batch_constraint::sumcheck::univariate::UnivariateSumcheckAir
• batch_constraint::sumcheck::univariate::UnivariateSumcheckCols
• bus::AirPresenceBus
• bus::AirPresenceBusMessage
• bus::AirShapeBus
• bus::AirShapeBusMessage
• bus::BatchConstraintModuleBus
• bus::BatchConstraintModuleMessage
• bus::CachedCommitBus
• bus::CachedCommitBusMessage
• bus::ColumnClaimsBus
• bus::ColumnClaimsMessage
• bus::CommitmentsBus
• bus::CommitmentsBusMessage
• bus::ConstraintSumcheckRandomness
• bus::ConstraintSumcheckRandomnessBus
• bus::ConstraintsFoldingInputBus
• bus::ConstraintsFoldingInputMessage
• bus::Eq3bShapeBus
• bus::Eq3bShapeMessage
• bus::EqNegBaseRandBus
• bus::EqNegBaseRandMessage
• bus::EqNegResultBus
• bus::EqNegResultMessage
• bus::EqNsNLogupMaxBus
• bus::EqNsNLogupMaxMessage
• bus::ExpressionClaimNMaxBus
• bus::ExpressionClaimNMaxMessage
• bus::FinalTranscriptStateBus
• bus::FinalTranscriptStateMessage
• bus::FractionFolderInputBus
• bus::FractionFolderInputMessage
• bus::GkrModuleBus
• bus::GkrModuleMessage
• bus::HyperdimBus
• bus::HyperdimBusMessage
• bus::InteractionsFoldingInputBus
• bus::InteractionsFoldingInputMessage
• bus::LiftedHeightsBus
• bus::LiftedHeightsBusMessage
• bus::MerkleVerifyBus
• bus::MerkleVerifyBusMessage
• bus::NLiftBus
• bus::NLiftMessage
• bus::Poseidon2CompressBus
• bus::Poseidon2CompressMessage
• bus::Poseidon2PermuteBus
• bus::Poseidon2PermuteMessage
• bus::PreHashBus
• bus::PreHashMessage
• bus::PublicValuesBus
• bus::PublicValuesBusMessage
• bus::SelHypercubeBus
• bus::SelHypercubeBusMessage
• bus::SelUniBus
• bus::SelUniBusMessage
• bus::StackingIndexMessage
• bus::StackingIndicesBus
• bus::StackingModuleBus
• bus::StackingModuleMessage
• bus::TranscriptBus
• bus::TranscriptBusMessage
• bus::WhirModuleBus
• bus::WhirModuleMessage
• bus::WhirMuBus
• bus::WhirMuMessage
• bus::WhirOpeningPointBus
• bus::WhirOpeningPointLookupBus
• bus::WhirOpeningPointMessage
• bus::XiRandomnessBus
• bus::XiRandomnessMessage
• cuda::GlobalCtxGpu
• cuda::abi::VectorDescriptor
• cuda::preflight::BatchConstraintPreflightGpu
• cuda::preflight::GkrPreflightGpu
• cuda::preflight::PreflightGpu
• cuda::preflight::ProofShapePreflightGpu
• cuda::preflight::StackingPreflightGpu
• cuda::preflight::TranscriptLog
• cuda::preflight::WhirPreflightGpu
• cuda::proof::BatchConstraintProofGpu
• cuda::proof::GkrProofGpu
• cuda::proof::ProofGpu
• cuda::proof::ProofShapeProofGpu
• cuda::proof::StackingProofGpu
• cuda::proof::WhirProofGpu
• cuda::types::AirData
• cuda::types::MerkleVerifyRecord
• cuda::types::PublicValueData
• cuda::types::TraceHeight
• cuda::types::TraceMetadata
• cuda::vk::VerifyingKeyGpu
• gkr::GkrModule
• gkr::GkrSumcheckChallengeBus
• gkr::GkrSumcheckChallengeMessage
• gkr::GkrSumcheckInputBus
• gkr::GkrSumcheckInputMessage
• gkr::GkrSumcheckOutputBus
• gkr::GkrSumcheckOutputMessage
• gkr::input::GkrInputAir
• gkr::input::GkrInputCols
• gkr::input::GkrInputRecord
• gkr::input::GkrInputTraceGenerator
• gkr::layer::GkrLayerAir
• gkr::layer::GkrLayerCols
• gkr::layer::GkrLayerRecord
• gkr::layer::GkrLayerTraceGenerator
• gkr::sumcheck::GkrLayerSumcheckAir
• gkr::sumcheck::GkrLayerSumcheckCols
• gkr::sumcheck::GkrSumcheckRecord
• gkr::sumcheck::GkrSumcheckTraceGenerator
• gkr::xi_sampler::GkrXiSamplerAir
• gkr::xi_sampler::GkrXiSamplerCols
• gkr::xi_sampler::GkrXiSamplerRecord
• gkr::xi_sampler::GkrXiSamplerTraceGenerator
• prelude::SC
• primitives::bus::ExpBitsLenBus
• primitives::bus::ExpBitsLenMessage
• primitives::bus::PowerCheckerBus
• primitives::bus::PowerCheckerBusMessage
• primitives::bus::RangeCheckerBus
• primitives::bus::RangeCheckerBusMessage
• primitives::bus::RightShiftBus
• primitives::bus::RightShiftMessage
• primitives::exp_bits_len::ExpBitsLenGpuTraceGenerator
• primitives::exp_bits_len::air::ExpBitsLenAir
• primitives::exp_bits_len::air::ExpBitsLenCols
• primitives::exp_bits_len::trace::ExpBitsLenCpuTraceGenerator
• primitives::exp_bits_len::trace::ExpBitsLenRecord
• primitives::pow::PowerCheckerAir
• primitives::pow::PowerCheckerCols
• primitives::pow::PowerCheckerCpuTraceGenerator
• primitives::range::RangeCheckerAir
• primitives::range::RangeCheckerCols
• primitives::range::RangeCheckerCpuTraceGenerator
• proof_shape::AirMetadata
• proof_shape::ProofShapeModule
• proof_shape::bus::NumPublicValuesBus
• proof_shape::bus::NumPublicValuesMessage
• proof_shape::bus::ProofShapePermutationBus
• proof_shape::bus::ProofShapePermutationMessage
• proof_shape::bus::StartingTidxBus
• proof_shape::bus::StartingTidxMessage
• proof_shape::proof_shape::ProofShapeAir
• proof_shape::proof_shape::ProofShapeCols
• proof_shape::proof_shape::ProofShapeVarCols
• proof_shape::proof_shape::ProofShapeVarColsMut
• proof_shape::pvs::PublicValuesAir
• proof_shape::pvs::PublicValuesCols
• proof_shape::pvs::PublicValuesTraceGenerator
• stacking::StackingModule
• stacking::claims::StackingClaimsAir
• stacking::claims::StackingClaimsCols
• stacking::claims::StackingClaimsTraceGenerator
• stacking::eq_base::EqBaseAir
• stacking::eq_base::EqBaseCols
• stacking::eq_base::EqBaseTraceGenerator
• stacking::eq_bits::EqBitsAir
• stacking::eq_bits::EqBitsCols
• stacking::eq_bits::EqBitsTraceGenerator
• stacking::opening::OpeningClaimsAir
• stacking::opening::OpeningClaimsCols
• stacking::opening::OpeningClaimsTraceGenerator
• stacking::sumcheck::SumcheckRoundsAir
• stacking::sumcheck::SumcheckRoundsCols
• stacking::sumcheck::SumcheckRoundsTraceGenerator
• stacking::univariate::UnivariateRoundAir
• stacking::univariate::UnivariateRoundCols
• stacking::univariate::UnivariateRoundTraceGenerator
• subairs::nested_for_loop::NestedForLoopIoCols
• subairs::nested_for_loop::NestedForLoopSubAir
• subairs::proof_idx::ProofIdxIoCols
• subairs::proof_idx::ProofIdxSubAir
• system::BatchConstraintPreflight
• system::BusIndexManager
• system::BusInventory
• system::GkrPreflight
• system::GlobalCtxCpu
• system::PoseidonStatePair
• system::Preflight
• system::ProofShapePreflight
• system::StackingPreflight
• system::VerifierConfig
• system::VerifierExternalData
• system::VerifierSubCircuit
• system::WhirPreflight
• transcript::TranscriptModule
• transcript::merkle_verify::CombinationIndices
• transcript::merkle_verify::MerkleVerifyAir
• transcript::merkle_verify::MerkleVerifyCols
• transcript::poseidon2::Poseidon2Air
• transcript::poseidon2::Poseidon2Cols
• transcript::transcript::TranscriptAir
• transcript::transcript::TranscriptCols
• utils::FlattenedVec
• utils::MultiVecWithBounds
• whir::WhirModule
• whir::folding::FoldRecord
• whir::folding::WhirFoldingAir
• whir::folding::WhirFoldingCols

Enums

• system::CachedTraceCtx

Traits

• system::AggregationSubCircuit
• system::AirModule
• system::GlobalTraceGenCtx
• system::TraceGenModule
• system::VerifierTraceGen
• utils::FlattenedLayout

Macros

• define_typed_lookup_bus
• define_typed_per_proof_lookup_bus
• define_typed_per_proof_permutation_bus
• define_typed_permutation_bus

Functions

• batch_constraint::commit_child_vk
• batch_constraint::eq_airs::eq_sharp_uni::generate_eq_sharp_uni_blob
• batch_constraint::expr_eval::cached_symbolic_expr_cols_to_digest
• batch_constraint::expr_eval::collapse_flags
• batch_constraint::expr_eval::dag_commit_cols_to_cached_cols
• batch_constraint::expr_eval::default_poseidon2_sub_chip
• batch_constraint::expr_eval::digest_to_cached_symbolic_expr_cols
• cuda::abi::merkle_precomputation_hash_vectors
• cuda::to_device_or_nullptr_on
• system::check_param_compatibility
• transcript::merkle_verify::compute_combination_indices
• transcript::merkle_verify::generate_trace
• utils::assert_one_ext
• utils::assert_zeros
• utils::base_to_ext
• utils::eq_1
• utils::ext_field_add
• utils::ext_field_add_scalar
• utils::ext_field_multiply
• utils::ext_field_multiply_scalar
• utils::ext_field_one_minus
• utils::ext_field_subtract
• utils::ext_field_subtract_scalar
• utils::interpolate_quadratic
• utils::mobius_eq_1
• utils::poseidon2_hash_slice
• utils::poseidon2_hash_slice_with_states
• utils::pow_observe_sample
• utils::pow_tidx_count
• utils::scalar_subtract_ext_field

Type Aliases

• prelude::Digest
• prelude::EF
• prelude::F
• primitives::exp_bits_len::ExpBitsLenTraceGenerator

Constants

• prelude::CHUNK
• prelude::DIGEST_SIZE
• prelude::D_EF
• transcript::merkle_verify::POSEIDON2_WIDTH
• transcript::poseidon2::CHUNK
• transcript::poseidon2::POSEIDON2_WIDTH