List of all items

Structs

• BitIterator
• EncodingBytes
• LinearCombination
• Namespace
• Variable
• Wnaf
• bls12_381::Bls12
• bls12_381::Fq
• bls12_381::Fq12
• bls12_381::Fq2
• bls12_381::Fq6
• bls12_381::FqRepr
• bls12_381::Fr
• bls12_381::FrRepr
• bls12_381::G1
• bls12_381::G1Affine
• bls12_381::G1Compressed
• bls12_381::G1Prepared
• bls12_381::G1Uncompressed
• bls12_381::G2
• bls12_381::G2Affine
• bls12_381::G2Compressed
• bls12_381::G2Prepared
• bls12_381::G2Uncompressed
• bls12_381::fq12::Fq12
• bls12_381::fq2::Fq2
• bls12_381::fq6::Fq6
• bls12_381::fq::Fq
• bls12_381::fq::FqRepr
• bls12_381::fr::Fr
• bls12_381::fr::FrRepr
• bn256::Bn256
• bn256::Fq
• bn256::Fq12
• bn256::Fq2
• bn256::Fq6
• bn256::FqRepr
• bn256::Fr
• bn256::FrRepr
• bn256::G1
• bn256::G1Affine
• bn256::G1Compressed
• bn256::G1Prepared
• bn256::G1Uncompressed
• bn256::G2
• bn256::G2Affine
• bn256::G2Compressed
• bn256::G2Prepared
• bn256::G2Uncompressed
• bn256::fq12::Fq12
• bn256::fq2::Fq2
• bn256::fq6::Fq6
• bn256::fq::Fq
• bn256::fq::FqRepr
• bn256::fr::Fr
• bn256::fr::FrRepr
• compact_bn256::Bn256
• compact_bn256::Fq
• compact_bn256::Fq12
• compact_bn256::Fq2
• compact_bn256::Fq6
• compact_bn256::FqRepr
• compact_bn256::Fr
• compact_bn256::FrRepr
• compact_bn256::G1
• compact_bn256::G1Affine
• compact_bn256::G1Compressed
• compact_bn256::G1Prepared
• compact_bn256::G1Uncompressed
• compact_bn256::G2
• compact_bn256::G2Affine
• compact_bn256::G2Compressed
• compact_bn256::G2Prepared
• compact_bn256::G2Uncompressed
• compact_bn256::fq12::Fq12
• compact_bn256::fq2::Fq2
• compact_bn256::fq6::Fq6
• compact_bn256::fq::Fq
• compact_bn256::fq::FqRepr
• compact_bn256::fr::Fr
• compact_bn256::fr::FrRepr
• domain::EvaluationDomain
• domain::Point
• domain::Scalar
• ff::BitIterator
• groth16::Parameters
• groth16::PreparedProver
• groth16::PreparedVerifyingKey
• groth16::Proof
• groth16::VerifyingKey
• kate_commitment::Crs
• kate_commitment::CrsForLagrangeForm
• kate_commitment::CrsForLagrangeFormOnCoset
• kate_commitment::CrsForMonomialForm
• plonk::adaptor::alternative::Adaptor
• plonk::adaptor::alternative::AdaptorCircuit
• plonk::adaptor::alternative::Transpiler
• plonk::better_better_cs::cs::Assembly
• plonk::better_better_cs::cs::GateConstantCoefficientsStorage
• plonk::better_better_cs::cs::GateDensityStorage
• plonk::better_better_cs::cs::LinearCombinationOfTerms
• plonk::better_better_cs::cs::MainGateTerm
• plonk::better_better_cs::cs::PlonkCsWidth4WithNextStepAndCustomGatesParams
• plonk::better_better_cs::cs::PlonkCsWidth4WithNextStepParams
• plonk::better_better_cs::cs::PolynomialMultiplicativeTerm
• plonk::better_better_cs::cs::PolynomialStorage
• plonk::better_better_cs::cs::SynthesisModeGenerateSetup
• plonk::better_better_cs::cs::SynthesisModeProve
• plonk::better_better_cs::cs::SynthesisModeTesting
• plonk::better_better_cs::data_structures::AssembledPolynomialStorage
• plonk::better_better_cs::data_structures::AssembledPolynomialStorageForMonomialForms
• plonk::better_better_cs::data_structures::LookupDataHolder
• plonk::better_better_cs::data_structures::PolynomialInConstraint
• plonk::better_better_cs::data_structures::TimeDilation
• plonk::better_better_cs::gates::main_gate_with_d_next::Width4MainGateWithDNext
• plonk::better_better_cs::gates::selector_optimized_with_d_next::SelectorOptimizedWidth4MainGateWithDNext
• plonk::better_better_cs::lookup_tables::AndBinop
• plonk::better_better_cs::lookup_tables::KeyValueSet
• plonk::better_better_cs::lookup_tables::LookupTableApplication
• plonk::better_better_cs::lookup_tables::MultiTableApplication
• plonk::better_better_cs::lookup_tables::OrBinop
• plonk::better_better_cs::lookup_tables::RangeCheckTableOverOneColumnOfWidth3
• plonk::better_better_cs::lookup_tables::RangeCheckTableOverSingleColumn
• plonk::better_better_cs::lookup_tables::TwoKeysOneValueBinopTable
• plonk::better_better_cs::lookup_tables::XorBinop
• plonk::better_better_cs::proof::Proof
• plonk::better_better_cs::proof::SortedGateQueries
• plonk::better_better_cs::setup::Setup
• plonk::better_better_cs::setup::VerificationKey
• plonk::better_better_cs::trees::binary_tree::BinaryTree
• plonk::better_better_cs::trees::binary_tree::BinaryTreeParams
• plonk::better_better_cs::trees::binary_tree::MultiQuery
• plonk::better_better_cs::trees::binary_tree::Query
• plonk::better_better_cs::utils::BinopAddAssign
• plonk::better_better_cs::utils::BinopAddAssignScaled
• plonk::better_cs::adaptor::Adaptor
• plonk::better_cs::adaptor::AdaptorCircuit
• plonk::better_cs::adaptor::Transpiler
• plonk::better_cs::cs::NoCustomGate
• plonk::better_cs::cs::PlonkCsWidth3WithNextStepParams
• plonk::better_cs::cs::PlonkCsWidth4WithNextStepParams
• plonk::better_cs::fma_adaptor::Adaptor
• plonk::better_cs::fma_adaptor::AdaptorCircuit
• plonk::better_cs::fma_adaptor::Transpiler
• plonk::better_cs::generator::GeneratorAssembly
• plonk::better_cs::keys::Proof
• plonk::better_cs::keys::SetupPolynomials
• plonk::better_cs::keys::SetupPolynomialsPrecomputations
• plonk::better_cs::keys::VerificationKey
• plonk::better_cs::one_shot_test_assembly::OneShotTestAssembly
• plonk::better_cs::prover::ProverAssembly
• plonk::better_cs::test_assembly::TestAssembly
• plonk::commitments::transcript::Blake2sTranscript
• plonk::commitments::transcript::keccak_transcript::RollingKeccakTranscript
• plonk::commitments::transcript::prng::StatelessBlake2sPrng
• plonk::commitments::transparent::StatelessTransparentCommitter
• plonk::commitments::transparent::TransparentCommitterParameters
• plonk::commitments::transparent::fri::coset_combining_fri::fri::CosetCombiningFriIop
• plonk::commitments::transparent::fri::coset_combining_fri::fri::CosetParams
• plonk::commitments::transparent::fri::coset_combining_fri::fri::FRIProof
• plonk::commitments::transparent::fri::coset_combining_fri::fri::FRIProofPrototype
• plonk::commitments::transparent::fri::coset_combining_fri::precomputation::CosetOmegasInvBitreversed
• plonk::commitments::transparent::fri::naive_fri::naive_fri::FRIProof
• plonk::commitments::transparent::fri::naive_fri::naive_fri::FRIProofPrototype
• plonk::commitments::transparent::fri::naive_fri::naive_fri::NaiveFriIop
• plonk::commitments::transparent::iop::blake2s_trivial_iop::Blake2sIopTree
• plonk::commitments::transparent::iop::blake2s_trivial_iop::Blake2sLeafEncoder
• plonk::commitments::transparent::iop::blake2s_trivial_iop::Blake2sTreeHasher
• plonk::commitments::transparent::iop::blake2s_trivial_iop::TrivialBlake2sIOP
• plonk::commitments::transparent::iop::blake2s_trivial_iop::TrivialBlake2sIopQuery
• plonk::commitments::transparent::iop::keccak_trivial_iop::KeccakIopTree
• plonk::commitments::transparent::iop::keccak_trivial_iop::KeccakLeafEncoder
• plonk::commitments::transparent::iop::keccak_trivial_iop::KeccakTreeHasher
• plonk::commitments::transparent::iop::keccak_trivial_iop::TrivialKeccakIOP
• plonk::commitments::transparent::iop::keccak_trivial_iop::TrivialKeccakIopQuery
• plonk::commitments::transparent::iop::trivial_coset_combiner::CosetOfSizeTwo
• plonk::commitments::transparent::iop::trivial_coset_combiner::TrivialCombiner
• plonk::commitments::transparent::iop_compiler::coset_combining_blake2s_tree::CosetCombinedQuery
• plonk::commitments::transparent::iop_compiler::coset_combining_blake2s_tree::FriSpecificBlake2sTree
• plonk::commitments::transparent::iop_compiler::coset_combining_blake2s_tree::FriSpecificBlake2sTreeParams
• plonk::commitments::transparent::precomputations::PrecomputedInvOmegas
• plonk::commitments::transparent::precomputations::PrecomputedOmegas
• plonk::cs::gates::Gate
• plonk::cs::variable::Variable
• plonk::domains::Domain
• plonk::fft::cooley_tukey_ntt::BitReversedOmegas
• plonk::fft::cooley_tukey_ntt::OmegasInvBitreversed
• plonk::generator::PlonkSetup
• plonk::generator::PlonkSetupAuxData
• plonk::plonk::generator::GeneratorAssembly
• plonk::plonk::prover::PlonkSetup
• plonk::plonk::prover::PlonkSetupPrecomputation
• plonk::plonk::prover::ProvingAssembly
• plonk::polynomials::Polynomial
• plonk::prover::PlonkChunkedNonhomomorphicProof
• plonk::prover::PlonkNonhomomorphicProof
• plonk::tester::TestingAssembly
• plonk::transparent_engine::Fr
• plonk::transparent_engine::FrRepr
• plonk::transparent_engine::engine::FakePoint
• plonk::transparent_engine::engine::Transparent252
• worker::Worker
• worker::WorkerFuture

Enums

• GroupDecodingError
• Index
• LegendreSymbol
• PrimeFieldDecodingError
• SynthesisError
• ff::LegendreSymbol
• ff::PrimeFieldDecodingError
• ff::hex::FromHexError
• hex::FromHexError
• plonk::adaptor::alternative::MergeLcVariant
• plonk::adaptor::alternative::TranspilationVariant
• plonk::better_better_cs::cs::ArithmeticTerm
• plonk::better_better_cs::cs::Coefficient
• plonk::better_better_cs::data_structures::PolyIdentifier
• plonk::better_better_cs::data_structures::PolynomialProxy
• plonk::better_cs::adaptor::LcTransformationVariant
• plonk::better_cs::adaptor::MergeLcVariant
• plonk::better_cs::adaptor::TranspilationVariant
• plonk::better_cs::fma_adaptor::LcTransformationVariant
• plonk::better_cs::fma_adaptor::MergeLcVariant
• plonk::better_cs::fma_adaptor::TranspilationVariant
• plonk::cs::gates::Coeff
• plonk::cs::variable::Index
• plonk::polynomials::Coefficients
• plonk::polynomials::Values

Traits

• Circuit
• ConstraintSystem
• CurveAffine
• CurveProjective
• EncodedPoint
• Engine
• Field
• GenericCompressedEncodable
• GenericCurveAffine
• GenericCurveProjective
• GenericRawEncodable
• GenericUncompressedEncodable
• PrimeField
• PrimeFieldRepr
• RawEncodable
• ScalarEngine
• SqrtField
• domain::Group
• ff::Field
• ff::PrimeField
• ff::PrimeFieldRepr
• ff::ScalarEngine
• ff::SqrtField
• ff::hex::FromHex
• ff::hex::ToHex
• groth16::ParameterSource
• hex::FromHex
• hex::ToHex
• kate_commitment::CrsType
• plonk::better_better_cs::cs::Circuit
• plonk::better_better_cs::cs::ConstraintSystem
• plonk::better_better_cs::cs::Gate
• plonk::better_better_cs::cs::GateInternal
• plonk::better_better_cs::cs::MainGate
• plonk::better_better_cs::cs::PlonkConstraintSystemParams
• plonk::better_better_cs::cs::SynthesisMode
• plonk::better_better_cs::lookup_tables::Binop
• plonk::better_better_cs::lookup_tables::LookupTableInternal
• plonk::better_better_cs::trees::tree_hash::BinaryTreeHasher
• plonk::better_better_cs::utils::FieldBinop
• plonk::better_cs::cs::Circuit
• plonk::better_cs::cs::ConstraintSystem
• plonk::better_cs::cs::CustomGateMarker
• plonk::better_cs::cs::PlonkConstraintSystemParams
• plonk::better_cs::cs::StateVariablesSet
• plonk::better_cs::cs::TraceStepCoefficients
• plonk::commitments::CommitmentScheme
• plonk::commitments::transcript::Prng
• plonk::commitments::transcript::Transcript
• plonk::commitments::transparent::fri::FriIop
• plonk::commitments::transparent::fri::FriPrecomputations
• plonk::commitments::transparent::fri::FriProof
• plonk::commitments::transparent::fri::FriProofPrototype
• plonk::commitments::transparent::fri::coset_combining_fri::FriIop
• plonk::commitments::transparent::fri::coset_combining_fri::FriPrecomputations
• plonk::commitments::transparent::fri::coset_combining_fri::FriProof
• plonk::commitments::transparent::fri::coset_combining_fri::FriProofPrototype
• plonk::commitments::transparent::iop::CosetCombiner
• plonk::commitments::transparent::iop::CosetInformation
• plonk::commitments::transparent::iop::FiatShamirHasher
• plonk::commitments::transparent::iop::HashFunctionOutput
• plonk::commitments::transparent::iop::IOP
• plonk::commitments::transparent::iop::IopQuery
• plonk::commitments::transparent::iop::IopTree
• plonk::commitments::transparent::iop::IopTreeHasher
• plonk::commitments::transparent::iop::LeafEncoder
• plonk::commitments::transparent::iop_compiler::Commitment
• plonk::commitments::transparent::iop_compiler::IopInstance
• plonk::commitments::transparent::iop_compiler::IopQuery
• plonk::cs::Circuit
• plonk::cs::ConstraintSystem
• plonk::fft::cooley_tukey_ntt::CTPrecomputations
• plonk::polynomials::PolynomialForm
• plonk::transparent_engine::PartialReductionField
• plonk::transparent_engine::PartialTwoBitReductionField
• plonk::transparent_engine::TransparentEngine

Derive Macros

• PrimeField
• ff::PrimeField

Functions

• adc
• constants::make_random_points_with_unknown_discrete_log
• constants::make_random_points_with_unknown_discrete_log_from_seed
• ff::adc
• ff::from_hex
• ff::full_width_mul
• ff::hex::decode
• ff::hex::decode_to_slice
• ff::hex::encode
• ff::hex::encode_to_slice
• ff::hex::encode_upper
• ff::mac_by_value
• ff::mac_by_value_return_carry_only
• ff::mac_with_carry
• ff::mac_with_carry_by_value
• ff::mac_with_low_and_high_carry_by_value
• ff::mul_double_add_add_carry_by_value
• ff::mul_double_add_add_carry_by_value_ignore_superhi
• ff::mul_double_add_add_low_and_high_carry_by_value
• ff::mul_double_add_add_low_and_high_carry_by_value_ignore_superhi
• ff::mul_double_add_by_value
• ff::mul_double_add_low_and_high_carry_by_value
• ff::mul_double_add_low_and_high_carry_by_value_ignore_superhi
• ff::sbb
• ff::to_hex
• from_hex
• full_width_mul
• groth16::create_proof
• groth16::create_random_proof
• groth16::generate_parameters
• groth16::generate_random_parameters
• groth16::prepare_prover
• groth16::prepare_verifying_key
• groth16::verify_proof
• hex::decode
• hex::decode_to_slice
• hex::encode
• hex::encode_to_slice
• hex::encode_upper
• kate_commitment::calculate_batch_opening_quotient_from_monomials
• kate_commitment::commit_using_monomials
• kate_commitment::commit_using_raw_values
• kate_commitment::commit_using_values
• kate_commitment::commit_using_values_on_coset
• kate_commitment::commit_using_values_with_density
• kate_commitment::is_valid_multiopening
• kate_commitment::is_valid_opening
• kate_commitment::make_crs_from_ignition_transcript
• kate_commitment::open_from_monomials
• kate_commitment::open_from_values
• kate_commitment::open_from_values_on_coset
• kate_commitment::perform_batch_opening_from_values
• kate_commitment::perform_batched_divisor_for_opening
• mac_by_value
• mac_by_value_return_carry_only
• mac_with_carry
• mac_with_carry_by_value
• mac_with_low_and_high_carry_by_value
• mul_double_add_add_carry_by_value
• mul_double_add_add_carry_by_value_ignore_superhi
• mul_double_add_add_low_and_high_carry_by_value
• mul_double_add_add_low_and_high_carry_by_value_ignore_superhi
• mul_double_add_by_value
• mul_double_add_low_and_high_carry_by_value
• mul_double_add_low_and_high_carry_by_value_ignore_superhi
• plonk::better_better_cs::cs::ensure_in_map_or_create
• plonk::better_better_cs::cs::get_from_map_unchecked
• plonk::better_better_cs::data_structures::clone_as_borrowed
• plonk::better_better_cs::lookup_tables::table_id_from_string
• plonk::better_better_cs::proof::read_tuple_with_one_index
• plonk::better_better_cs::proof::read_tuple_with_one_index_vec
• plonk::better_better_cs::proof::read_tuple_with_two_indexes
• plonk::better_better_cs::proof::read_tuple_with_two_indexes_vec
• plonk::better_better_cs::proof::sort_queries_for_linearization
• plonk::better_better_cs::proof::write_tuple_with_one_index
• plonk::better_better_cs::proof::write_tuple_with_one_index_vec
• plonk::better_better_cs::proof::write_tuple_with_two_indexes
• plonk::better_better_cs::proof::write_tuple_with_two_indexes_vec
• plonk::better_better_cs::verifier::aggregate
• plonk::better_better_cs::verifier::verify
• plonk::better_cs::adaptor::read_transpilation_hints
• plonk::better_cs::adaptor::write_transpilation_hints
• plonk::better_cs::fma_adaptor::read_transpilation_hints
• plonk::better_cs::fma_adaptor::write_transpilation_hints
• plonk::better_cs::generator::make_non_residues
• plonk::better_cs::keys::read_curve_affine
• plonk::better_cs::keys::read_curve_affine_vector
• plonk::better_cs::keys::read_fr
• plonk::better_cs::keys::read_fr_raw
• plonk::better_cs::keys::read_fr_vec
• plonk::better_cs::keys::read_optional_curve_affine
• plonk::better_cs::keys::read_optional_flag
• plonk::better_cs::keys::read_optional_fr
• plonk::better_cs::keys::read_optional_polynomial_coeffs
• plonk::better_cs::keys::read_optional_polynomial_values_unpadded
• plonk::better_cs::keys::read_polynomial_coeffs
• plonk::better_cs::keys::read_polynomial_values_unpadded
• plonk::better_cs::keys::read_polynomials_coeffs_vec
• plonk::better_cs::keys::read_polynomials_values_unpadded_vec
• plonk::better_cs::keys::write_curve_affine
• plonk::better_cs::keys::write_curve_affine_vec
• plonk::better_cs::keys::write_fr
• plonk::better_cs::keys::write_fr_raw
• plonk::better_cs::keys::write_fr_vec
• plonk::better_cs::keys::write_optional_curve_affine
• plonk::better_cs::keys::write_optional_flag
• plonk::better_cs::keys::write_optional_fr
• plonk::better_cs::keys::write_optional_polynomial
• plonk::better_cs::keys::write_polynomial
• plonk::better_cs::keys::write_polynomials_vec
• plonk::better_cs::verifier::verify
• plonk::better_cs::verifier::verify_and_aggregate
• plonk::commitments::transparent::utils::log2_floor
• plonk::fft::cooley_tukey_ntt::bitreverse
• plonk::fft::distribute_powers
• plonk::fft::distribute_powers_serial
• plonk::fft::distribute_powers_with_num_cpus
• plonk::generator::setup
• plonk::is_satisfied
• plonk::is_satisfied_using_one_shot_check
• plonk::make_precomputations
• plonk::make_verification_key
• plonk::plonk::generator::setup_with_precomputations
• plonk::prove
• plonk::prove_by_steps
• plonk::prove_from_recomputations
• plonk::prove_native_by_steps
• plonk::prover::prove_nonhomomorphic
• plonk::prover::prove_nonhomomorphic_chunked
• plonk::setup
• plonk::transpile
• plonk::transpile_with_gates_count
• plonk::verifier::verify_nonhomomorphic
• plonk::verifier::verify_nonhomomorphic_chunked
• plonk::verify
• sbb
• to_hex

Type Aliases

• plonk::better_better_cs::cs::ProvingAssembly
• plonk::better_better_cs::cs::SetupAssembly
• plonk::better_better_cs::cs::TrivialAssembly
• plonk::better_cs::generator::GeneratorAssembly3WithNextStep
• plonk::better_cs::generator::GeneratorAssembly4WithNextStep
• plonk::better_cs::prover::ProverAssembly3WithNextStep
• plonk::better_cs::prover::ProverAssembly4WithNextStep

Constants

• bls12_381::fq::B_COEFF
• bls12_381::fq::FROBENIUS_COEFF_FQ12_C1
• bls12_381::fq::FROBENIUS_COEFF_FQ2_C1
• bls12_381::fq::FROBENIUS_COEFF_FQ6_C1
• bls12_381::fq::FROBENIUS_COEFF_FQ6_C2
• bls12_381::fq::G1_GENERATOR_X
• bls12_381::fq::G1_GENERATOR_Y
• bls12_381::fq::G2_GENERATOR_X_C0
• bls12_381::fq::G2_GENERATOR_X_C1
• bls12_381::fq::G2_GENERATOR_Y_C0
• bls12_381::fq::G2_GENERATOR_Y_C1
• bls12_381::fq::NEGATIVE_ONE
• bls12_381::fq::XI_TO_Q_MINUS_1_OVER_2_
• bn256::BN_U
• bn256::FROBENIUS_COEFF_FQ6_C1
• bn256::SIX_U_PLUS_2_NAF
• bn256::XI_TO_Q_MINUS_1_OVER_2
• bn256::fq::B_COEFF
• bn256::fq::B_COEFF_FQ2
• bn256::fq::FROBENIUS_COEFF_FQ12_C1
• bn256::fq::FROBENIUS_COEFF_FQ2_C1
• bn256::fq::FROBENIUS_COEFF_FQ6_C1
• bn256::fq::FROBENIUS_COEFF_FQ6_C2
• bn256::fq::G1_GENERATOR_X
• bn256::fq::G1_GENERATOR_Y
• bn256::fq::G2_GENERATOR_X_C0
• bn256::fq::G2_GENERATOR_X_C1
• bn256::fq::G2_GENERATOR_Y_C0
• bn256::fq::G2_GENERATOR_Y_C1
• bn256::fq::NEGATIVE_ONE
• bn256::fq::XI_TO_Q_MINUS_1_OVER_2
• compact_bn256::BN_U
• compact_bn256::FROBENIUS_COEFF_FQ6_C1
• compact_bn256::SIX_U_PLUS_2_NAF
• compact_bn256::XI_TO_Q_MINUS_1_OVER_2
• compact_bn256::fq::B_COEFF
• compact_bn256::fq::B_COEFF_FQ2
• compact_bn256::fq::FROBENIUS_COEFF_FQ12_C1
• compact_bn256::fq::FROBENIUS_COEFF_FQ2_C1
• compact_bn256::fq::FROBENIUS_COEFF_FQ6_C1
• compact_bn256::fq::FROBENIUS_COEFF_FQ6_C2
• compact_bn256::fq::G1_GENERATOR_X
• compact_bn256::fq::G1_GENERATOR_Y
• compact_bn256::fq::G2_GENERATOR_X_C0
• compact_bn256::fq::G2_GENERATOR_X_C1
• compact_bn256::fq::G2_GENERATOR_Y_C0
• compact_bn256::fq::G2_GENERATOR_Y_C1
• compact_bn256::fq::NEGATIVE_ONE
• compact_bn256::fq::XI_TO_Q_MINUS_1_OVER_2
• constants::ETH_BLOCK_10_000_000_HASH
• plonk::better_better_cs::cs::DEFAULT_SMALLVEC_CAPACITY
• plonk::better_better_cs::data_structures::LOOKUP_TABLE_TYPE_POLYNOMIAL
• plonk::better_better_cs::lookup_tables::RANGE_CHECK_SINGLE_APPLICATION_TABLE_NAME
• plonk::better_better_cs::verifier::MAX_DILATION