List of all items

Structs

• commitments::ajtai_commitment::AjtaiScheme
• commitments::common_instances::AjtaiInstances
• commitments::outer_commitments::DecompositionParameters
• commitments::outer_commitments::OuterCommitment
• core::aggregate::AggregationOne
• core::aggregate::AggregationTwo
• core::challenge_set::ChallengeSet
• core::env_params::EnvironmentParameters
• core::garbage_polynomials::GarbagePolynomials
• core::jl::ProjectionMatrix
• core::jl::ProjectionVector
• core::jl::Projections
• core::statement::Statement
• prover::Challenges
• prover::LabradorProver
• prover::Proof
• prover::Witness
• ring::rq::Rq
• ring::rq_matrix::RqMatrix
• ring::rq_vector::RqVector
• ring::zq::UniformZq
• ring::zq::Zq
• verifier::LabradorVerifier

Enums

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

Traits

• ring::zq::ZqVector

Functions

• core::aggregate::calculate_gij
• core::aggregate::calculate_hij
• core::aggregate::calculate_u_1
• core::aggregate::calculate_u_2
• core::aggregate::calculate_z
• core::jl::inner_product
• core::jl::verify_lower_bound
• core::jl::verify_upper_bound
• core::statement::calculate_b_constraint

Constants

• core::jl::PROJECTION_MATRIX_SIZE
• core::jl::SECURITY_LEVEL