List of all items

Structs

• NoirProof
• NoirProofScheme
• Prover
• R1CS
• Verifier
• WhirR1CSProof
• WhirR1CSScheme
• prefix_covector::OffsetCovector
• prefix_covector::PrefixCovector
• prefix_covector::SparseCovector
• sparse_matrix::DeltaEncodingStats
• sparse_matrix::HydratedSparseMatrix
• sparse_matrix::SparseMatrix
• utils::PrintAbi
• witness::CombinedTableEntryInverseData
• witness::ConstantTerm
• witness::DigitalDecompositionWitnesses
• witness::Layer
• witness::LayeredWitnessBuilders
• witness::NoirWitnessGenerator
• witness::ProductLinearTerm
• witness::PublicInputs
• witness::SpiceWitnesses
• witness::SplitWitnessBuilders
• witness::SumTerm
• witness::WitnessCoefficient

Enums

• Format
• InputValue
• witness::ConstantOrR1CSWitness
• witness::LayerType
• witness::SpiceMemoryOperation
• witness::SplitError
• witness::WitnessBuilder

Traits

• file::FileFormat

Functions

• file::deserialize
• file::read
• file::serialize
• file::write
• prefix_covector::build_prefix_covectors
• prefix_covector::compute_alpha_evals
• prefix_covector::compute_challenge_eval
• prefix_covector::compute_public_eval
• prefix_covector::expand_powers
• prefix_covector::make_challenge_weight
• prefix_covector::make_public_weight
• register_ntt
• utils::batch_inverse_montgomery
• utils::human
• utils::next_power_of_two
• utils::noir_to_native
• utils::pad_to_power_of_two
• utils::serde_ark::deserialize
• utils::serde_ark::serialize
• utils::serde_ark_option::deserialize
• utils::serde_ark_option::serialize
• utils::serde_ark_vec::deserialize
• utils::serde_ark_vec::serialize
• utils::serde_hex::deserialize
• utils::serde_hex::serialize
• utils::serde_jsonify::deserialize
• utils::serde_jsonify::serialize
• utils::sumcheck::calculate_eq
• utils::sumcheck::calculate_evaluations_over_boolean_hypercube_for_eq
• utils::sumcheck::calculate_external_row_of_r1cs_matrices
• utils::sumcheck::calculate_witness_bounds
• utils::sumcheck::eval_cubic_poly
• utils::sumcheck::multiply_transposed_by_eq_alpha
• utils::sumcheck::sumcheck_fold_map_reduce
• utils::sumcheck::transpose_r1cs_matrices
• utils::uint_to_field
• utils::workload_size
• witness::compute_spread
• witness::decompose_into_digits

Type Aliases

• FieldElement
• InputMap
• NoirElement
• TranscriptSponge
• WhirConfig
• WhirDomainSeparator
• WhirProof
• WhirProverState
• WhirZkConfig

Constants

• utils::HALF
• witness::BINOP_ATOMIC_BITS
• witness::BINOP_BITS
• witness::NUM_DIGITS
• witness::WITNESS_ONE_IDX