List of all items
Structs
- LinearCombination
- Namespace
- Variable
- domain::EvaluationDomain
- gadgets::boolean::AllocatedBit
- gadgets::multieq::MultiEq
- gadgets::num::AllocatedNum
- gadgets::num::Num
- gadgets::test::TestConstraintSystem
- gadgets::uint32::UInt32
- gpu::LockedFftKernel
- gpu::LockedMultiexpKernel
- gpu::MultiexpKernel
- groth16::MappedParameters
- groth16::Parameters
- groth16::PreparedVerifyingKey
- groth16::Proof
- groth16::VerifyingKey
- groth16::aggregate::AggregateProof
- groth16::aggregate::AggregateProofAndInstance
- groth16::aggregate::GenericSRS
- groth16::aggregate::GipaProof
- groth16::aggregate::Key
- groth16::aggregate::ProverSRS
- groth16::aggregate::ProverSRSInputAggregation
- groth16::aggregate::TippMippProof
- groth16::aggregate::VerifierSRS
- multiexp::DensityTracker
- util_cs::bench_cs::BenchCS
- util_cs::metric_cs::MetricCS
- util_cs::test_cs::TestConstraintSystem
- util_cs::witness_cs::WitnessCS
Enums
- Index
- SynthesisError
- gadgets::boolean::Boolean
- gpu::GpuError
- groth16::aggregate::AggregateVersion
- util_cs::Delta
Traits
- Circuit
- ConstraintSystem
- gadgets::Assignment
- gpu::GpuName
- groth16::ParameterSource
- util_cs::Comparable
- util_cs::witness_cs::SizedWitness
Functions
- gadgets::blake2s::blake2s
- gadgets::boolean::field_into_allocated_bits_le
- gadgets::boolean::field_into_boolean_vec_le
- gadgets::boolean::u64_into_boolean_vec_le
- gadgets::lookup::lookup3_xy
- gadgets::lookup::lookup3_xy_with_conditional_negation
- gadgets::multipack::bytes_to_bits
- gadgets::multipack::bytes_to_bits_le
- gadgets::multipack::compute_multipacking
- gadgets::multipack::pack_bits
- gadgets::multipack::pack_into_inputs
- gadgets::sha256::sha256
- gadgets::sha256::sha256_block_no_padding
- gadgets::sha256::sha256_compression_function
- groth16::aggregate::aggregate_proofs
- groth16::aggregate::aggregate_proofs_and_instances
- groth16::aggregate::pair
- groth16::aggregate::setup_fake_srs
- groth16::aggregate::single_g1
- groth16::aggregate::verify_aggregate_proof
- groth16::aggregate::verify_aggregate_proof_and_aggregate_instances
- groth16::aggregate::verify_kzg_v
- groth16::aggregate::verify_kzg_w
- groth16::create_proof
- groth16::create_proof_batch
- groth16::create_proof_batch_in_priority
- groth16::create_proof_in_priority
- groth16::create_random_proof
- groth16::create_random_proof_batch
- groth16::create_random_proof_batch_in_priority
- groth16::create_random_proof_in_priority
- groth16::generate_parameters
- groth16::generate_random_parameters
- groth16::prepare_verifying_key
- groth16::read_g1
- groth16::read_g2
- groth16::verify_proof
- groth16::verify_proofs_batch
- multiexp::multiexp
Type Aliases
- gpu::GpuResult
- groth16::aggregate::KZGOpening
- groth16::aggregate::Output
- groth16::aggregate::VKey
- groth16::aggregate::WKey
- util_cs::Constraint