List of all items

Structs

• circuit_building_context::CircuitBuildingContext
• circuit_layout::CircuitEvalMap
• circuit_layout::CircuitLocation
• claims::Claim
• claims::ClaimTracker
• claims::RawClaim
• claims::claim_group::ClaimGroup
• expression::circuit_expr::ExprDescription
• expression::generic_expr::Expression
• expression::prover_expr::MleVecIndex
• expression::prover_expr::ProverExpr
• expression::verifier_expr::VerifierExpr
• input_layer::InputLayer
• input_layer::InputLayerDescription
• input_layer::fiat_shamir_challenge::FiatShamirChallenge
• input_layer::fiat_shamir_challenge::FiatShamirChallengeDescription
• input_layer::ligero_input_layer::LigeroInputLayerDescription
• layer::gate::GateLayer
• layer::gate::GateLayerDescription
• layer::gate::VerifierGateLayer
• layer::identity_gate::IdentityGate
• layer::identity_gate::IdentityGateLayerDescription
• layer::identity_gate::VerifierIdentityGateLayer
• layer::matmult::MatMult
• layer::matmult::MatMultLayerDescription
• layer::matmult::Matrix
• layer::matmult::MatrixDescription
• layer::matmult::VerifierMatMultLayer
• layer::matmult::VerifierMatrix
• layer::product::PostSumcheckLayer
• layer::product::Product
• layer::regular_layer::RegularLayer
• layer::regular_layer::RegularLayerDescription
• layer::regular_layer::VerifierRegularLayer
• mle::betavalues::BetaValues
• mle::dense::DenseMle
• mle::evals::DimInfo
• mle::evals::Evaluations
• mle::evals::EvaluationsIterator
• mle::evals::EvaluationsPairIterator
• mle::evals::MultilinearExtension
• mle::evals::bit_packed_vector::BitPackedIterator
• mle::evals::bit_packed_vector::BitPackedVector
• mle::mle_description::MleDescription
• mle::verifier_mle::VerifierMle
• mle::zero::ZeroMle
• output_layer::OutputLayer
• output_layer::OutputLayerDescription
• output_layer::VerifierOutputLayer
• provable_circuit::ProvableCircuit
• prover::GKRCircuitDescription
• prover::InstantiatedCircuit
• prover::SumcheckProof
• prover::layers::Layers
• sumcheck::SumcheckEvals
• utils::mle::GrayCodeIterator
• utils::mle::LexicographicLE
• verifiable_circuit::VerifiableCircuit

Enums

• claims::ClaimError
• expression::expr_errors::ExpressionError
• expression::generic_expr::ExpressionNode
• layer::LayerError
• layer::LayerId
• layer::VerificationError
• layer::combine_mles::CombineMleRefError
• layer::gate::BinaryOperation
• layer::gate::gate_helpers::GateError
• layer::layer_enum::LayerDescriptionEnum
• layer::layer_enum::LayerEnum
• layer::layer_enum::VerifierLayerEnum
• layer::product::Intermediate
• mle::MleIndex
• mle::betavalues::BetaValueType
• mle::evals::DimensionError
• mle::mle_enum::MleEnum
• output_layer::OutputLayerError
• output_layer::VerifierOutputLayerError
• prover::GKRError
• sumcheck::InterpError
• sumcheck::MleError
• sumcheck::VerifyError

Traits

• expression::generic_expr::ExpressionType
• layer::Layer
• layer::LayerDescription
• layer::VerifierLayer
• mle::Mle

Macros

• layer_enum

Functions

• claims::claim_aggregation::get_num_wlx_evaluations
• claims::claim_aggregation::get_wlx_evaluations
• claims::claim_aggregation::prover_aggregate_claims
• claims::claim_aggregation::verifier_aggregate_claims
• expression::circuit_expr::evaluate_bookkeeping_tables_given_operation
• expression::circuit_expr::filter_bookkeeping_table
• layer::combine_mles::collapse_mles_with_free_in_prefix
• layer::combine_mles::combine_mles_with_aggregate
• layer::combine_mles::combine_pair
• layer::combine_mles::find_pair_and_combine
• layer::combine_mles::get_indexed_layer_mles_to_combine
• layer::combine_mles::get_lsb_fixed_var
• layer::combine_mles::pre_fix_mles
• layer::combine_mles::split_mle
• layer::gate::compute_gate_data_outputs
• layer::gate::gate_helpers::compute_fully_bound_binary_gate_function
• layer::gate::gate_helpers::compute_fully_bound_identity_gate_function
• layer::gate::gate_helpers::compute_sumcheck_message_data_parallel_gate
• layer::gate::gate_helpers::compute_sumcheck_message_data_parallel_identity_gate
• layer::gate::gate_helpers::compute_sumcheck_message_no_beta_table
• layer::gate::gate_helpers::evaluate_mle_product_no_beta_table
• layer::gate::gate_helpers::fold_binary_gate_wiring_into_mles_phase_1
• layer::gate::gate_helpers::fold_binary_gate_wiring_into_mles_phase_2
• layer::gate::gate_helpers::fold_wiring_into_beta_mle_identity_gate
• layer::gate::gate_helpers::index_mle_indices_gate
• layer::matmult::product_two_matrices_from_flattened_vectors
• layer::product::new_with_values
• layer::product::new_with_values_single
• mle::evals::bit_packed_vector::num_bits
• mle::evals::mirror_bits
• prover::helpers::get_circuit_description_hash_as_field_elems
• prover::helpers::prove_circuit_internal
• prover::helpers::prove_circuit_with_runtime_optimized_config
• prover::helpers::test_circuit_internal
• prover::helpers::test_circuit_with_config
• prover::helpers::test_circuit_with_memory_optimized_config
• prover::helpers::test_circuit_with_runtime_optimized_config
• prover::helpers::verify_circuit_internal
• prover::helpers::verify_circuit_with_proof_config
• prover::helpers::write_circuit_description_to_file
• prover::prove_circuit
• sumcheck::apply_updated_beta_values_to_evals
• sumcheck::beta_cascade
• sumcheck::beta_cascade_no_independent_variable
• sumcheck::beta_cascade_step
• sumcheck::evaluate_at_a_point
• sumcheck::get_round_degree
• sumcheck::successors_from_mle_product
• utils::arithmetic::i64_to_field
• utils::arithmetic::log2_ceil
• utils::debug::sanitycheck_input_layers_and_claims
• utils::file_exists
• utils::is_parallel_feature_on
• utils::mle::argsort
• utils::mle::build_composite_mle
• utils::mle::compute_flipped_bit_idx_and_value_graycode
• utils::mle::compute_flipped_bit_idx_and_values_lexicographic
• utils::mle::compute_inverses_vec_and_one_minus_inverted_vec
• utils::mle::compute_next_beta_value_from_current
• utils::mle::compute_next_beta_values_vec_from_current
• utils::mle::evaluate_mle_at_a_point_gray_codes
• utils::mle::evaluate_mle_at_a_point_gray_codes_parallel
• utils::mle::evaluate_mle_at_a_point_lexicographic_order
• utils::mle::evaluate_mle_destructive
• utils::mle::get_dummy_random_mle_vec
• utils::mle::get_mle_idx_decomp_for_idx
• utils::mle::get_random_mle
• utils::mle::get_random_mle_from_capacity
• utils::mle::get_total_mle_indices
• utils::mle::pad_with
• utils::mle::verify_claim

Type Aliases

• circuit_layout::LayerMap
• input_layer::ligero_input_layer::LigeroCommitment
• input_layer::ligero_input_layer::LigeroInputLayerDescriptionWithOptionalProverPrecommit
• input_layer::ligero_input_layer::LigeroInputLayerDescriptionWithOptionalVerifierPrecommit
• input_layer::ligero_input_layer::LigeroRoot
• layer::combine_mles::MleEvaluationAndPrefixBits

Statics

• circuit_building_context::CONTEXT

Constants

• layer::gate::DATAPARALLEL_ROUND_ADD_NUM_EVALS
• layer::gate::DATAPARALLEL_ROUND_MUL_NUM_EVALS
• layer::gate::NON_DATAPARALLEL_ROUND_ADD_NUM_EVALS
• layer::gate::NON_DATAPARALLEL_ROUND_MUL_NUM_EVALS