List of all items

Structs

• commitments::ajtai_commitment::AjtaiScheme
• commitments::common_instances::AjtaiInstances
• commitments::outer_commitments::DecompositionParameters
• core::aggregate::FunctionsAggregation
• core::aggregate::ZeroConstantFunctionsAggregation
• core::jl::Projection
• prover::LabradorProver
• relation::env_params::EnvironmentParameters
• relation::statement::Statement
• relation::witness::Witness
• ring::rq::Rq
• ring::rq_matrix::RqMatrix
• ring::rq_vector::RqVector
• ring::zq::UniformZq
• ring::zq::Zq
• transcript::LabradorTranscript
• transcript::sponges::shake::ShakeSponge
• verifier::LabradorVerifier

Enums

• commitments::ajtai_commitment::CommitError
• commitments::ajtai_commitment::ParameterError
• commitments::ajtai_commitment::VerificationError
• commitments::outer_commitments::DecompositionError
• prover::ProverError
• verifier::VerifierError

Traits

• transcript::sponges::Sponge

Functions

• commitments::outer_commitments::compute_u1
• commitments::outer_commitments::compute_u2
• core::garbage_polynomials::compute_g
• core::garbage_polynomials::compute_h
• core::inner_product::compute_linear_combination
• relation::statement::calculate_b_constraint
• ring::zq::add_assign_two_zq_vectors

Constants

• relation::env_params::OPERATOR_NORM
• relation::env_params::SECURITY_PARAMETER