List of all items
Structs
- algebraic_props::poseidon2_parameters::Poseidon2GoldilocksExternalMatrix
- algebraic_props::poseidon2_parameters::Poseidon2GoldilocksInnerMatrix
- algebraic_props::round_function::AbsorptionModeAdd
- algebraic_props::round_function::AbsorptionModeOverwrite
- algebraic_props::sponge::AlgebraicSponge
- algebraic_props::sponge::GenericAlgebraicSponge
- algebraic_props::sponge::GenericAlgebraicSpongeState
- config::DevCSConfig
- config::DoEvaluateWitenss
- config::DoKeepSetup
- config::DoPerformRuntimeAsserts
- config::DontEvaluateWitenss
- config::DontKeepSetup
- config::DontPerformRuntimeAsserts
- config::ProvingCSConfig
- config::Resolver
- config::SetupCSConfig
- config::VerifierCSConfig
- cs::CSGeometry
- cs::Place
- cs::Variable
- cs::Witness
- cs::cs_builder::CsBuilder
- cs::cs_builder_reference::CsReferenceImplementationBuilder
- cs::cs_builder_verifier::CsVerifierBuilder
- cs::gates::ConstantToVariableMappingToolMarker
- cs::gates::IsZeroToolingMarker
- cs::gates::boolean_allocator::BooleanConstraintGate
- cs::gates::boolean_allocator::BooleanConstraitEvaluator
- cs::gates::bounded_boolean_allocator::BoundedBooleanConstraintGate
- cs::gates::bounded_boolean_allocator::BoundedBooleanConstraitEvaluator
- cs::gates::bounded_constant_allocator::BoundedConstantAllocatorConstraintEvaluator
- cs::gates::bounded_constant_allocator::BoundedConstantAllocatorConstraintEvaluatorParams
- cs::gates::bounded_constant_allocator::BoundedConstantsAllocatorGate
- cs::gates::bounded_wrapper::BoundedEvaluatorWrapper
- cs::gates::bounded_wrapper::BoundedGateWrapper
- cs::gates::conditional_swap::ConditionalSwapGate
- cs::gates::conditional_swap::ConditionalSwapGateConstraintEvaluator
- cs::gates::constant_allocator::ConstantAllocatorConstraintEvaluator
- cs::gates::constant_allocator::ConstantsAllocatorGate
- cs::gates::dot_product_gate::DotProductConstraintEvaluator
- cs::gates::dot_product_gate::DotProductGate
- cs::gates::fma_gate_in_extension_without_constant::FmaGateInExtensionWithoutConstant
- cs::gates::fma_gate_in_extension_without_constant::FmaGateInExtensionWithoutConstantConstraintEvaluator
- cs::gates::fma_gate_in_extension_without_constant::FmaGateInExtensionWithoutConstantParams
- cs::gates::fma_gate_without_constant::FmaGateInBaseFieldWithoutConstant
- cs::gates::fma_gate_without_constant::FmaGateInBaseWithoutConstantConstraintEvaluator
- cs::gates::fma_gate_without_constant::FmaGateInBaseWithoutConstantParams
- cs::gates::lookup_marker::LookupFinalizationHint
- cs::gates::lookup_marker::LookupFormalGate
- cs::gates::lookup_marker::LookupGateMarkerFormalEvaluator
- cs::gates::matrix_multiplication_gate::MatrixMultiplicationEvaluator
- cs::gates::matrix_multiplication_gate::MatrixMultiplicationGate
- cs::gates::nop_gate::NopGate
- cs::gates::nop_gate::NopGateConstraintEvaluator
- cs::gates::parallel_selection::ParallelSelectionGate
- cs::gates::parallel_selection::ParallelSelectionGateConstraintEvaluator
- cs::gates::poseidon2::Poseidon2FlattenedGate
- cs::gates::poseidon2::Poseidon2RoundFunctionFlattenedEvaluator
- cs::gates::public_input::PublicInputGate
- cs::gates::public_input::PublicInputReservedPlacesToolMarker
- cs::gates::quadratic_combination::QuadraticCombinationConstraintEvaluator
- cs::gates::quadratic_combination::QuadraticCombinationGate
- cs::gates::reduction_by_powers_gate::ReductionByPowersGate
- cs::gates::reduction_by_powers_gate::ReductionByPowersGateConstraintEvaluator
- cs::gates::reduction_by_powers_gate::ReductionByPowersGateParams
- cs::gates::reduction_gate::ReductionGate
- cs::gates::reduction_gate::ReductionGateConstraintEvaluator
- cs::gates::reduction_gate::ReductionGateParams
- cs::gates::selection_gate::SelectionGate
- cs::gates::selection_gate::SelectionGateConstraintEvaluator
- cs::gates::simple_non_linearity_with_constant::NonlinearityGateFinalizationHint
- cs::gates::simple_non_linearity_with_constant::SimpleNonlinearityGate
- cs::gates::simple_non_linearity_with_constant::SimpleNonlinearityGateConstraintEvaluator
- cs::gates::testing_tools::TestDestination
- cs::gates::testing_tools::TestSource
- cs::gates::u32_add::U32AddConstraintEvaluator
- cs::gates::u32_add::U32AddGate
- cs::gates::u32_fma::U8x4ConstraintEvaluator
- cs::gates::u32_fma::U8x4FMAGate
- cs::gates::u32_sub::U32SubConstraintEvaluator
- cs::gates::u32_sub::U32SubGate
- cs::gates::u32_tri_add_carry_as_chunk::U32TriAddCarryAsChunkConstraintEvaluator
- cs::gates::u32_tri_add_carry_as_chunk::U32TriAddCarryAsChunkGate
- cs::gates::uintx_add::UIntXAddConstraintEvaluator
- cs::gates::uintx_add::UIntXAddGate
- cs::gates::zero_check::ZeroCheckEvaluator
- cs::gates::zero_check::ZeroCheckFinalizationHint
- cs::gates::zero_check::ZeroCheckGate
- cs::implementations::buffering_source::BufferedGateEvaluationReducingDestinationChunk
- cs::implementations::buffering_source::BufferingPolyStorage
- cs::implementations::evaluator_data::EvaluationDataOverGeneralPurposeColumns
- cs::implementations::evaluator_data::EvaluationDataOverSpecializedColumns
- cs::implementations::fri::FriOracles
- cs::implementations::hints::DenseVariablesCopyHint
- cs::implementations::hints::DenseWitnessCopyHint
- cs::implementations::hints::SparseVariablesCopyHint
- cs::implementations::hints::SparseWitnessCopyHint
- cs::implementations::lookup_table::LookupTable
- cs::implementations::polynomial::BitreversedLagrangeForm
- cs::implementations::polynomial::GenericPolynomial
- cs::implementations::polynomial::LagrangeForm
- cs::implementations::polynomial::MonomialForm
- cs::implementations::polynomial::lde::ArcGenericLdeStorage
- cs::implementations::polynomial::lde::GenericLdeRowView
- cs::implementations::polynomial::lde::GenericLdeStorage
- cs::implementations::polynomial::lde::GenericPolynomialLde
- cs::implementations::polynomial::lde::LdeIterator
- cs::implementations::polynomial::lde::LdeParameters
- cs::implementations::polynomial_storage::AuxTraceInformation
- cs::implementations::polynomial_storage::LookupSetupStorage
- cs::implementations::polynomial_storage::ProverTraceView
- cs::implementations::polynomial_storage::SatisfiabilityCheckRowView
- cs::implementations::polynomial_storage::SecondStageProductsStorage
- cs::implementations::polynomial_storage::SetupBaseStorage
- cs::implementations::polynomial_storage::SetupStorage
- cs::implementations::polynomial_storage::TraceHolder
- cs::implementations::polynomial_storage::WitnessStorage
- cs::implementations::pow::NoPow
- cs::implementations::proof::OracleQuery
- cs::implementations::proof::Proof
- cs::implementations::proof::SingleRoundQueries
- cs::implementations::prover::ProofConfig
- cs::implementations::reference_cs::CSReferenceAssembly
- cs::implementations::reference_cs::CSReferenceImplementation
- cs::implementations::setup::FinalizationHintsForProver
- cs::implementations::setup::GateDescription
- cs::implementations::transcript::AlgebraicSpongeBasedTranscript
- cs::implementations::transcript::Blake2sTranscript
- cs::implementations::transcript::BoolsBuffer
- cs::implementations::transcript::Keccak256Transcript
- cs::implementations::verifier::SizeCalculator
- cs::implementations::verifier::TypeErasedGateEvaluationVerificationFunction
- cs::implementations::verifier::VerificationKey
- cs::implementations::verifier::VerificationKeyCircuitGeometry
- cs::implementations::verifier::Verifier
- cs::implementations::verifier::VerifierPolyStorage
- cs::implementations::verifier::VerifierProxy
- cs::implementations::verifier::VerifierRelationDestination
- cs::implementations::witness::WitnessSet
- cs::implementations::witness::WitnessVec
- cs::oracle::merkle_tree::MerkleTreeWithCap
- cs::toolboxes::simplified::kv_set::KVSetEntry
- cs::toolboxes::simplified::markers::GateParametersMarker
- cs::toolboxes::simplified::markers::GateToolingMarker
- cs::toolboxes::simplified::markers::KVQueryMarker
- cs::toolboxes::simplified::markers::MarkerProxy
- cs::toolboxes::simplified::markers::PlacementStrategyMarker
- cs::toolboxes::simplified::simple_toolbox::Tool
- cs::toolboxes::simplified::simple_type_combinator::GateTypeEntry
- cs::toolboxes::simplified::type_map::EmptySet
- cs::toolboxes::simplified::type_map::GateSetEntry
- cs::toolboxes::simplified::type_map::SetEntry
- cs::traits::circuit::CircuitBuilderProxy
- cs::traits::destination_view::GateEvaluationReducingDestination
- cs::traits::destination_view::GateEvaluationReducingDestinationChunk
- cs::traits::destination_view::TestingEvaluationDestination
- cs::traits::evaluator::GateBatchEvaluationComparisonFunction
- cs::traits::evaluator::GatePrincipalInstanceWidth
- cs::traits::evaluator::GenericColumnwiseEvaluator
- cs::traits::evaluator::GenericRowwiseEvaluator
- cs::traits::evaluator::PerChunkOffset
- cs::traits::evaluator::TypeErasedGateEvaluationFunction
- dag::CircuitResolverOpts
- dag::resolvers::StCircuitResolverParams
- dag::resolvers::mt::MtCircuitResolver
- dag::resolvers::mt::ResolverCommonData
- dag::resolvers::mt::ResolverComms
- dag::resolvers::mt::sorters::ResolutionRecord
- dag::resolvers::mt::sorters::ResolutionRecordItem
- dag::resolvers::mt::sorters::sorter_live::LiveRecordingResolverSorter
- dag::resolvers::mt::sorters::sorter_live::LiveResolverSorter
- dag::resolvers::mt::sorters::sorter_live::NullRecordWriter
- dag::resolvers::mt::sorters::sorter_playback::PlaybackResolverSorter
- field::goldilocks::GoldilocksExt2
- field::goldilocks::GoldilocksField
- field::goldilocks::generic_impl::MixedGL
- field::traits::field::ExtensionField
- field::traits::field_like::PrimeFieldLikeExtensionField
- gadgets::blake2s::mixing_function::Word
- gadgets::boolean::Boolean
- gadgets::boolean::BooleanNegationTooling
- gadgets::curves::sw_projective::SWProjectivePoint
- gadgets::curves::zeroable_affine::ZeroableAffinePoint
- gadgets::non_native_field::implementations::NonNativeFieldOverU16
- gadgets::non_native_field::implementations::NonNativeFieldOverU16Params
- gadgets::non_native_field::implementations::OverflowTracker
- gadgets::non_native_field::implementations::implementation_u16::FFProxyValue
- gadgets::num::Num
- gadgets::num::prime_field_like::NumAsFieldWrapper
- gadgets::num::prime_field_like::NumExtAsFieldWrapper
- gadgets::queue::CircuitQueue
- gadgets::queue::CircuitQueueRawWitness
- gadgets::queue::CircuitQueueWitness
- gadgets::queue::QueueState
- gadgets::queue::QueueStateWitness
- gadgets::queue::QueueTailState
- gadgets::queue::QueueTailStateWitness
- gadgets::queue::full_state_queue::FullStateCircuitQueue
- gadgets::queue::full_state_queue::FullStateCircuitQueueRawWitness
- gadgets::queue::full_state_queue::FullStateCircuitQueueWitness
- gadgets::queue::queue_optimizer::sponge_optimizer::SpongeOptimizer
- gadgets::queue::queue_optimizer::sponge_optimizer::SpongeRoundRequest
- gadgets::queue::queue_optimizer::sponge_optimizer::SpongeRoundRequestWitness
- gadgets::recursion::allocated_proof::AllocatedOracleQuery
- gadgets::recursion::allocated_proof::AllocatedProof
- gadgets::recursion::allocated_proof::AllocatedSingleRoundQueries
- gadgets::recursion::allocated_vk::AllocatedVerificationKey
- gadgets::recursion::circuit_pow::CircuitNoPow
- gadgets::recursion::recursive_transcript::CircuitAlgebraicSpongeBasedTranscript
- gadgets::recursion::recursive_verifier::RecursiveVerifier
- gadgets::recursion::recursive_verifier::RecursiveVerifierProxy
- gadgets::recursion::recursive_verifier_builder::CsRecursiveVerifierBuilder
- gadgets::round_function::CircuitSimpleAlgebraicSponge
- gadgets::tables::and8::And8Table
- gadgets::tables::binop_table::BinopTable
- gadgets::tables::byte_split::ByteSplitTable
- gadgets::tables::ch4::Ch4Table
- gadgets::tables::chunk4bits::Split4BitChunkTable
- gadgets::tables::maj4::Maj4Table
- gadgets::tables::range_check_16_bits::RangeCheck16BitsTable
- gadgets::tables::range_check_table::RangeCheckTable
- gadgets::tables::trixor4::TriXor4Table
- gadgets::tables::xor8::Xor8Table
- gadgets::traits::castable::Convertor
- gadgets::traits::configuration::ConfigurationComposition
- gadgets::traits::configuration::IdentityConfiguration
- gadgets::u160::UInt160
- gadgets::u16::UInt16
- gadgets::u16::UInt16DecompositionTooling
- gadgets::u16::UInt16RecompositionTooling
- gadgets::u256::UInt256
- gadgets::u32::UInt32
- gadgets::u32::UInt32DecompositionTooling
- gadgets::u32::UInt32RecompositionTooling
- gadgets::u512::UInt512
- gadgets::u8::UInt8
- gpu_synthesizer::GPUDataCapture
- gpu_synthesizer::GPUPolyDestination
- gpu_synthesizer::GPUPolyStorage
- gpu_synthesizer::GPUVariablesContext
- gpu_synthesizer::GPUVariablesGlobalContext
- gpu_synthesizer::GPU_CONTEXT
- gpu_synthesizer::GatesSetForGPU
- gpu_synthesizer::GpuSynthesizerFieldLike
- gpu_synthesizer::TestDestination
- gpu_synthesizer::TestSource
- implementations::poseidon2::Poseidon2Goldilocks
- implementations::poseidon2::state_generic_impl::State
- implementations::poseidon_goldilocks_naive::PoseidonGoldilocks
- serde_utils::BigArrayRefWrapper
- serde_utils::BigArrayWrapper
- utils::DilatoryPrinter
- utils::LSBIterator
- worker::Worker
Enums
- algebraic_props::round_function::AbsorptionMode
- cs::LookupParameters
- cs::VariableType
- cs::implementations::lookup_table::LookupTableWrapper
- cs::implementations::setup::TreeNode
- cs::traits::composite_type::CompositeWitnessValue
- cs::traits::cs::DstBuffer
- cs::traits::evaluator::GatePlacementType
- cs::traits::evaluator::GatePurpose
- cs::traits::gate::GatePlacementStrategy
- dag::CSWitnessValues
- field::traits::field::LegendreSymbol
- gadgets::blake2s::round_function::Blake2sControl
- gadgets::non_native_field::implementations::RepresentationForm
- gadgets::traits::witnessable::WitnessValue
- gpu_synthesizer::Index
- gpu_synthesizer::Relation
Traits
- algebraic_props::matrix_parameters::MatrixParameters
- algebraic_props::poseidon2_parameters::Poseidon2Parameters
- algebraic_props::round_function::AbsorptionModeTrait
- algebraic_props::round_function::AlgebraicRoundFunction
- algebraic_props::round_function::AlgebraicRoundFunctionWithParams
- algebraic_props::round_function::GenericAlgebraicRoundFunction
- config::CSConfig
- config::CSDebugConfig
- config::CSResolverConfig
- config::CSSetupConfig
- config::CSWitnessEvaluationConfig
- cs::GateTool
- cs::cs_builder::CsBuilderImpl
- cs::gates::ConstantAllocatableCS
- cs::gates::ZeroCheckMemoizableCS
- cs::implementations::fast_serialization::MemcopySerializable
- cs::implementations::fri::QuerySource
- cs::implementations::lookup_table::Wrappable
- cs::implementations::polynomial::PolynomialForm
- cs::implementations::pow::PoWRunner
- cs::implementations::transcript::Transcript
- cs::implementations::utils::Binop
- cs::implementations::utils::Quadop
- cs::implementations::utils::Ternop
- cs::oracle::FlattenIntoBase
- cs::oracle::TreeHasher
- cs::toolboxes::simplified::kv_set::KVSet
- cs::toolboxes::simplified::markers::TypeMarker
- cs::toolboxes::simplified::simple_toolbox::StaticToolboxHolder
- cs::toolboxes::simplified::simple_type_combinator::GateConfigurationHolder
- cs::toolboxes::simplified::type_map::GateTypeSet
- cs::toolboxes::simplified::type_map::TypeSet
- cs::traits::GoodAllocator
- cs::traits::circuit::Circuit
- cs::traits::circuit::CircuitBuilder
- cs::traits::circuit::ErasedBuilderForRecursiveVerifier
- cs::traits::circuit::ErasedBuilderForVerifier
- cs::traits::composite_type::Resolvable
- cs::traits::cs::CSWitnessSource
- cs::traits::cs::ConstraintSystem
- cs::traits::destination_view::EvaluationDestination
- cs::traits::destination_view::EvaluationDestinationDrivable
- cs::traits::evaluator::ConstantsDescription
- cs::traits::evaluator::GateConstraintEvaluator
- cs::traits::evaluator::GenericDynamicEvaluatorOverGeneralPurposeColumns
- cs::traits::evaluator::GenericDynamicEvaluatorOverSpecializedColumns
- cs::traits::gate::Gate
- cs::traits::trace_source::TraceSource
- cs::traits::trace_source::TraceSourceDerivable
- dag::Awaiter
- dag::CircuitResolver
- dag::TrackId
- dag::TrivialWitnessCastable
- dag::WitnessSource
- dag::WitnessSourceAwaitable
- dag::resolvers::mt::sorters::ResolutionRecordSource
- dag::resolvers::mt::sorters::ResolutionRecordWriter
- dag::resolvers::mt::sorters::ResolverSortingMode
- field::SmallField
- field::traits::field::Field
- field::traits::field::FieldExtension
- field::traits::field::PrimeField
- field::traits::field::SqrtField
- field::traits::field_like::BaseField
- field::traits::field_like::PrimeFieldLike
- field::traits::field_like::PrimeFieldLikeExtension
- field::traits::field_like::PrimeFieldLikeVectorized
- field::traits::field_like::TrivialContext
- field::traits::representation::SmallFieldRepresentable
- field::traits::representation::U64RawRepresentable
- field::traits::representation::U64Representable
- gadgets::non_native_field::traits::NonNativeField
- gadgets::recursion::circuit_pow::CircuitPowRunner
- gadgets::recursion::circuit_pow::RecursivePoWRunner
- gadgets::recursion::recursive_transcript::CircuitTranscript
- gadgets::recursion::recursive_transcript::RecursiveTranscript
- gadgets::recursion::recursive_tree_hasher::CircuitTreeHasher
- gadgets::recursion::recursive_tree_hasher::RecursiveTreeHasher
- gadgets::traits::allocatable::CSAllocatable
- gadgets::traits::allocatable::CSAllocatableExt
- gadgets::traits::allocatable::CSPlaceholder
- gadgets::traits::auxiliary::PrettyComparison
- gadgets::traits::castable::WitnessCastable
- gadgets::traits::configuration::ConfigurationFunction
- gadgets::traits::encodable::CircuitEncodable
- gadgets::traits::encodable::CircuitEncodableExt
- gadgets::traits::encodable::CircuitVarLengthEncodable
- gadgets::traits::encodable::WitnessEncodable
- gadgets::traits::encodable::WitnessVarLengthEncodable
- gadgets::traits::round_function::BuildableCircuitRoundFunction
- gadgets::traits::round_function::CircuitRoundFunction
- gadgets::traits::selectable::MultiSelectable
- gadgets::traits::selectable::Selectable
- gadgets::traits::witnessable::CSWitnessable
- gadgets::traits::witnessable::WitnessHookable
- serde_utils::BigArraySerde
- utils::PipeOp
- utils::UnsafeCellEx
Macros
Functions
- algebraic_props::round_function::absorb_into_state_vararg
- algebraic_props::round_function::absorb_multiple_rounds
- cs::cs_builder::new_builder
- cs::gates::assert_no_placeholder_variables
- cs::gates::assert_no_placeholders
- cs::gates::assert_not_placeholder
- cs::gates::assert_not_placeholder_variable
- cs::gates::testing_tools::test_evaluator
- cs::implementations::convenience::verify_circuit
- cs::implementations::copy_permutation::non_residues_for_copy_permutation
- cs::implementations::copy_permutation::num_intermediate_partial_product_relations
- cs::implementations::fast_serialization::read_vec_from_buffer
- cs::implementations::fast_serialization::write_vec_into_buffer
- cs::implementations::fri::do_fri
- cs::implementations::fri::split_inner
- cs::implementations::prover::compute_fri_schedule
- cs::implementations::prover::compute_selector_subpath
- cs::implementations::prover::materialize_ext_challenge_powers
- cs::implementations::utils::domain_generator_for_size
- cs::implementations::utils::make_non_residues
- cs::implementations::utils::materialize_powers_serial
- cs::implementations::utils::precompute_for_barycentric_evaluation
- cs::implementations::utils::precompute_for_barycentric_evaluation_in_extension
- cs::implementations::utils::precompute_twiddles_for_fft
- cs::implementations::utils::precompute_twiddles_for_fft_natural
- cs::implementations::verifier::compute_selector_subpath_at_z
- fft::bitreverse_enumeration_inplace
- fft::distribute_powers
- fft::fft_natural_to_bitreversed
- fft::fft_natural_to_bitreversed_cache_friendly
- fft::fft_natural_to_bitreversed_mixedgl
- fft::ifft_natural_to_natural
- fft::ifft_natural_to_natural_cache_friendly
- fft::ifft_natural_to_natural_mixedgl
- fft::precompute_twiddles_for_fft_natural_wrapper
- fft::precompute_twiddles_for_fft_wrapper
- fft::transpose::transpose
- field::rand_from_rng
- field::traits::field_like::mul_assign_in_extension
- field::traits::field_like::mul_assign_vectorized_in_extension
- gadgets::blake2s::blake2s
- gadgets::blake2s::mixing_function::merge_byte_using_table
- gadgets::blake2s::mixing_function::xor_many
- gadgets::blake2s::round_function::blake2s_round_function
- gadgets::impls::lc::linear_combination_collapse
- gadgets::impls::lc::linear_combination_collapse_with_length
- gadgets::impls::limbs_decompose::decompose_into_limbs
- gadgets::impls::limbs_decompose::decompose_into_limbs_limited
- gadgets::impls::limbs_decompose::reduce_terms
- gadgets::keccak256::keccak256
- gadgets::keccak256::round_function::keccak_256_round_function
- gadgets::non_native_field::implementations::get_16_bits_range_check_table
- gadgets::non_native_field::implementations::range_check_u16
- gadgets::non_native_field::implementations::utils::split_out_u32_carry_from_zero_low
- gadgets::non_native_field::implementations::utils::u1024_to_fe
- gadgets::non_native_field::implementations::utils::u1024_to_u16_words
- gadgets::non_native_field::implementations::utils::u16_field_words_to_u1024
- gadgets::non_native_field::implementations::utils::u16_long_subtraction
- gadgets::non_native_field::implementations::utils::u16_long_subtraction_noborrow
- gadgets::non_native_field::implementations::utils::u16_long_subtraction_noborrow_must_borrow
- gadgets::non_native_field::implementations::utils::u16_words_to_u1024
- gadgets::non_native_field::implementations::utils::unnormalized_u16_field_words_to_u1024
- gadgets::num::dot_product
- gadgets::num::dot_product_using_dot_product_gate
- gadgets::queue::full_state_queue::simulate_new_tail_for_full_state_queue
- gadgets::queue::queue_optimizer::sponge_optimizer::conditionaly_check_request
- gadgets::queue::queue_optimizer::variable_length_absorb_into_state_using_optimizer
- gadgets::queue::queue_optimizer::variable_length_hash_into_empty_state_using_optimizer
- gadgets::queue::queue_optimizer::variable_length_hash_using_optimizer
- gadgets::queue::simulate_new_tail
- gadgets::recursion::recursive_verifier::verify_proof_over_cap
- gadgets::round_function::simulate_round_function
- gadgets::sha256::ivs_as_uint32
- gadgets::sha256::round_function::round_function
- gadgets::sha256::round_function::round_function_over_uint32
- gadgets::sha256::sha256
- gadgets::tables::and8::create_and8_table
- gadgets::tables::binop_table::create_binop_table
- gadgets::tables::byte_split::create_byte_split_table
- gadgets::tables::ch4::create_ch4_table
- gadgets::tables::chunk4bits::create_4bit_chunk_split_table
- gadgets::tables::maj4::create_maj4_table
- gadgets::tables::range_check_16_bits::create_range_check_16_bits_table
- gadgets::tables::range_check_table::create_range_check_table
- gadgets::tables::trixor4::create_tri_xor_table
- gadgets::tables::xor8::create_xor8_table
- gadgets::traits::allocatable::allocate_num_elements
- gadgets::traits::selectable::parallel_select_variables
- gadgets::u160::decompose_address_as_u32x5
- gadgets::u160::recompose_address_from_u32x5
- gadgets::u256::decompose_u256_as_u32x8
- gadgets::u256::recompose_u256_as_u32x8
- gadgets::u512::decompose_u512_as_u32x16
- gadgets::u512::recompose_u512_as_u32x16
- gadgets::u8::get_4x4x4_range_check_table
- gadgets::u8::get_8_bit_range_check_table
- gadgets::u8::get_8_by_8_range_check_table
- gadgets::u8::range_check_u8
- gadgets::u8::range_check_u8_pair
- gpu_synthesizer::get_evaluator_name
- implementations::experimental::circulat_matmul_by_fft::fft2_real
- implementations::experimental::circulat_matmul_by_fft::fft4_real
- implementations::experimental::circulat_matmul_by_fft::goldilocks_mds_matmul_by_fft
- implementations::experimental::circulat_matmul_by_fft::goldilocks_mds_matmul_by_fft_ext
- implementations::experimental::circulat_matmul_by_fft::ifft2_real_unreduced
- implementations::experimental::circulat_matmul_by_fft::ifft4_real_unreduced
- implementations::experimental::poseidon2_matrixes_repr::poseidon2_inner_split_mul
- implementations::experimental::poseidon2_matrixes_repr::poseidon2_inner_split_mul_ext
- implementations::experimental::poseidon2_matrixes_repr::poseidon2_mds_split_mul
- implementations::experimental::poseidon2_matrixes_repr::poseidon2_mds_split_mul_ext
- implementations::poseidon2::state_generic_impl::poseidon2_inner_mul_ext
- implementations::poseidon2::state_generic_impl::poseidon2_permutation
- implementations::poseidon_goldilocks_naive::apply_non_linearity
- implementations::poseidon_goldilocks_naive::apply_round_constants
- implementations::poseidon_goldilocks_naive::maive_mds_mul_ext
- implementations::poseidon_goldilocks_naive::poseidon_permutation
- implementations::poseidon_goldilocks_naive::poseidon_permutation_naive
- implementations::suggested_mds::suggested_mds_mul_ext
- utils::allocate_in_with_alignment_of
- utils::allocate_with_alignment_of
- utils::assume
- utils::branch_hint
- utils::cast_check_alignment
- utils::cast_check_alignment_ref_mut_pack
- utils::cast_check_alignment_ref_mut_unpack
- utils::clone_respecting_allignment
- utils::deserialize_vec_vec_with_allocators
- utils::deserialize_vec_with_allocator
- utils::initialize_in_with_alignment_of
- utils::initialize_with_alignment_of
- utils::num_bits_u64
- utils::serialize_vec_vec_with_allocators
- utils::serialize_vec_with_allocator
- utils::split
- utils::wait_to_attach
Type Aliases
- algebraic_props::sponge::GoldilocksPoseidon2Sponge
- algebraic_props::sponge::GoldilocksPoseidonSponge
- algebraic_props::sponge::SimpleAlgebraicSponge
- cs::gates::ConstantToVariableMappingTool
- cs::gates::IsZeroLookupTooling
- cs::gates::LookupTooling
- cs::gates::NextGateCounterWithoutParams
- cs::gates::public_input::PublicInputReservedPlacesBuffer
- cs::implementations::polynomial::Polynomial
- cs::implementations::polynomial::lde::ArcLdeStorage
- cs::implementations::polynomial::lde::LdeRowView
- cs::implementations::polynomial::lde::LdeStorage
- cs::implementations::reference_cs::CSDevelopmentAssembly
- cs::implementations::reference_cs::CSSetupAssembly
- cs::implementations::transcript::GoldilocksPoisedon2Transcript
- cs::implementations::transcript::GoldilocksPoisedonTranscript
- cs::traits::gate::FinalizationHintSerialized
- cs::traits::gate::GateColumnsCleanupFunction
- cs::traits::gate::GateRowCleanupFunction
- dag::DefaultCircuitResolver
- dag::MtCircuitResolver
- dag::NullCircuitResolver
- dag::StCircuitResolver
- gadgets::boolean::NegationTooling
- gadgets::recursion::recursive_transcript::GoldilocksPoisedon2CircuitTranscript
- gadgets::recursion::recursive_tree_hasher::CircuitGoldilocksPoseidon2Sponge
- gadgets::u16::DecompositionTooling
- gadgets::u16::RecompositionTooling
- gadgets::u32::DecompositionTooling
- gadgets::u32::RecompositionTooling
Constants
- config::DEBUG_SATISFIABLE
- cs::gates::IS_ZERO_LOOKUP_TOOLING
- cs::implementations::reference_cs::INITIAL_LOOKUP_TABLE_ID_VALUE
- cs::implementations::reference_cs::PADDING_LOOKUP_TABLE_ID_VALUE
- fft::transpose::TRANSPOSE_SCRATCH_SPACE_ELEMENTS
- gadgets::blake2s::BLAKE2S_BLOCK_SIZE
- gadgets::blake2s::BLAKE2S_DIGEST_SIZE
- gadgets::blake2s::BLAKE2S_ROUNDS
- gadgets::blake2s::BLOCK_WIDTH_IN_U32_WORDS
- gadgets::blake2s::IV
- gadgets::blake2s::IV_0_TWIST
- gadgets::blake2s::SIGMAS
- gadgets::blake2s::STATE_WIDTH_IN_U32_WORDS
- gadgets::boolean::BOOLEAN_NEGATION_LOOKUP_TOOLING
- gadgets::keccak256::BYTES_PER_WORD
- gadgets::keccak256::KECCAK256_DIGEST_SIZE
- gadgets::keccak256::KECCAK256_NUM_ROUNDS
- gadgets::keccak256::KECCAK_RATE_BYTES
- gadgets::keccak256::LANE_WIDTH
- gadgets::keccak256::ROTATION_CONSTANTS
- gadgets::keccak256::ROUND_CONSTANTS
- gadgets::sha256::INITIAL_STATE
- gadgets::sha256::ROUND_CONSTANTS
- gadgets::sha256::SHA256_BLOCK_SIZE
- gadgets::sha256::SHA256_DIGEST_SIZE
- gadgets::sha256::SHA256_ROUNDS
- gadgets::tables::binop_table::TABLE_NAME
- gadgets::u16::UINT16_DECOMPOSITION_LOOKUP_TOOLING
- gadgets::u16::UINT16_RECOMPOSITION_LOOKUP_TOOLING
- gadgets::u32::UINT32_DECOMPOSITION_LOOKUP_TOOLING
- gadgets::u32::UINT32_RECOMPOSITION_LOOKUP_TOOLING
- implementations::poseidon2::params::EXTERNAL_MDS_MATRIX
- implementations::poseidon2::params::EXTERNAL_MDS_MATRIX_BLOCK
- implementations::poseidon2::params::FULL_ROUND_CONSTANTS
- implementations::poseidon2::params::INNER_ROUNDS_MATRIX
- implementations::poseidon2::params::INNER_ROUNDS_MATRIX_DIAGONAL_ELEMENTS
- implementations::poseidon2::params::INNER_ROUNDS_MATRIX_DIAGONAL_ELEMENTS_MINUS_ONE
- implementations::poseidon2::params::INNER_ROUNDS_MATRIX_DIAGONAL_ELEMENTS_MINUS_ONE_SHIFTS
- implementations::poseidon2::params::PARTIAL_ROUND_CONSTANTS
- implementations::poseidon_goldilocks_naive::MDS_MATRIX
- implementations::poseidon_goldilocks_naive::MDS_MATRIX_EXPS
- implementations::poseidon_goldilocks_params::ALL_ROUND_CONSTANTS
- implementations::poseidon_goldilocks_params::ALL_ROUND_CONSTANTS_AS_FIELD_ELEMENTS
- implementations::poseidon_goldilocks_params::CAPACITY
- implementations::poseidon_goldilocks_params::HALF_NUM_FULL_ROUNDS
- implementations::poseidon_goldilocks_params::NUM_FULL_ROUNDS_TOTAL
- implementations::poseidon_goldilocks_params::NUM_PARTIAL_ROUNDS
- implementations::poseidon_goldilocks_params::RATE
- implementations::poseidon_goldilocks_params::ROUND_CONSTANTS_ALIGNED_PER_ROUND
- implementations::poseidon_goldilocks_params::ROUND_CONSTANTS_ALIGNED_PER_ROUND_AS_FIELD_ELEMENTS
- implementations::poseidon_goldilocks_params::STATE_WIDTH
- implementations::poseidon_goldilocks_params::TOTAL_NUM_ROUNDS
- worker::REQUIRED_STACK_SIZE