List of all items
Structs
- cs::circuit::fan_in_two::AddGate
- cs::circuit::fan_in_two::ConstGate
- cs::circuit::fan_in_two::FanInTwoCircuit
- cs::circuit::fan_in_two::MulGate
- cs::circuit::fan_in_two::Variable
- cs::circuit::fan_in_two::VariableRef
- cs::hpr::HPR
- cs::hpr::HPRInstance
- cs::hpr::HPRSize
- cs::hpr::HPRWitness
- cs::pov::POV
- cs::pov::POVInstance
- cs::pov::POVSize
- cs::pov::POVWitness
- cs::r1cs::R1CS
- cs::r1cs::R1CSInstance
- cs::r1cs::R1CSSize
- cs::r1cs::R1CSWitness
- kzg::Commitment
- kzg::KZG10
- kzg::Powers
- kzg::PreparedCommitment
- kzg::PreparedVerifierKey
- kzg::Proof
- kzg::Randomness
- kzg::UniversalParams
- kzg::VerifierKey
- snarks::voproof_hpr::HPRProof
- snarks::voproof_hpr::HPRProverKey
- snarks::voproof_hpr::HPRVerifierKey
- snarks::voproof_hpr::VOProofHPR
- snarks::voproof_pov::POVProof
- snarks::voproof_pov::POVProverKey
- snarks::voproof_pov::POVVerifierKey
- snarks::voproof_pov::VOProofPOV
- snarks::voproof_r1cs::R1CSProof
- snarks::voproof_r1cs::R1CSProverKey
- snarks::voproof_r1cs::R1CSVerifierKey
- snarks::voproof_r1cs::VOProofR1CS
- tools::PowerVectorIterator
Enums
- cs::circuit::fan_in_two::Gate
- cs::circuit::fan_in_two::GateRef
- cs::circuit::fan_in_two::GateWire
- cs::circuit::fan_in_two::InputGateWire
- cs::circuit::fan_in_two::InputWireType
- cs::circuit::fan_in_two::OutputGateWire
- cs::circuit::fan_in_two::WireType
- error::Error
Traits
- cs::CSSize
- cs::ConstraintSystem
- cs::Instance
- cs::Witness
- error::VOProofError
- snarks::SNARK
- snarks::SNARKProof
- snarks::SNARKProverKey
- snarks::SNARKVerifierKey
Macros
- accumulate_vector
- accumulate_vector_mul
- accumulate_vector_plus
- add_expression_vector_to_vector
- add_to_first_item
- add_vector_to_vector
- check_expression_vector_eq
- check_poly_eval
- check_vector_eq
- commit_vector
- commitment_linear_combination
- commitment_linear_combination_no_one
- concat_and_one
- concat_matrix_horizontally
- concat_matrix_vertically
- custom_add
- custom_add_literal
- define
- define_accumulate_vector_mul
- define_clone_vector
- define_commit_vector
- define_commitment_linear_combination
- define_commitment_linear_combination_no_one
- define_concat_neg_vector
- define_concat_uwinverse_vector
- define_concat_vector
- define_concat_vector_skip
- define_eval_vector_expression
- define_expression_vector
- define_expression_vector_inverse
- define_generator
- define_hadamard_vector
- define_int_array_to_power_vector
- define_left_sparse_mvp_vector
- define_matrix_vectors
- define_mut
- define_permutation_vector_from_wires
- define_poly_from_vec
- define_power_power_mul
- define_shift_minus_one
- define_sparse_mvp_concat_vector
- define_sparse_mvp_vector
- define_sparse_vector
- define_sparse_zero_one_vector
- define_sum
- define_vec
- define_vec_mut
- define_vector_poly_mul
- define_vector_poly_mul_shift
- define_vector_power_mul
- define_vector_reverse_omega_shift
- define_zero_pad_concat_vector
- delta
- eval_sparse_vector
- eval_sparse_zero_one_vector
- eval_vector_as_poly
- eval_vector_expression
- expression_vector
- fmt_ff
- fmt_ff_vector
- generator_of
- get_randomness_from_hash
- init_size
- int_array_to_power_vector
- inverse
- linear_combination
- linear_combination_base_zero
- max
- minus
- minus_i64
- minus_plus_one
- mul
- multi_delta
- neg
- one
- poly_from_vec
- power_linear_combination
- power_power_mul
- power_vector_index
- range_index
- redefine_zero_pad_concat_vector
- sample_randomizers
- scalar_to_field
- sparse_mvp_vector
- sum
- to_field
- to_int
- vector_concat
- vector_concat_skip
- vector_diff
- vector_index
- vector_poly_mul
- vector_power_mul
- vector_reverse_omega
- zero
- zero_pad
- zero_pad_and_concat
Functions
- cs::hpr::generate_random_hpr_instance
- snarks::scalar_to_commitment
- snarks::vector_to_commitment
- tools::combine_commits
- tools::custom_add_ff
- tools::custom_add_fi
- tools::custom_add_if
- tools::custom_add_three
- tools::evaluate_short
- tools::evaluate_sparse
- tools::hash_to_field
- tools::power
- tools::power_iter
- tools::sample_field
- tools::sample_vec
- tools::sparse_mvp
- tools::to_field
- tools::to_int
- tools::try_to_int