Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear > Member List

This is the complete list of members for ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >, including all inherited members.

AcirConstraint typedefArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >
Builder typedefArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >
evaluate_expression_result(const std::vector< std::tuple< bb::fr, std::pair< uint32_t, bb::fr >, std::pair< uint32_t, bb::fr > > > &mul_terms, const std::vector< std::pair< bb::fr, std::pair< uint32_t, bb::fr > > > &linear_terms, const std::vector< bb::fr > &witness_values)ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >inlinestatic
expected_num_gates()ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >inlinestatic
generate_constraints(AcirConstraint &arithmetic_constraint, WitnessVector &witness_values)ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >inline
invalidate_witness(AcirConstraint &constraint, WitnessVector &witness_values, const typename InvalidWitness::Target &invalid_witness_target)ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >inline
IS_BIG_QUADArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >static
LINEAR_OFFSETArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >static
NUM_OVERLAP_LINEARArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >static
NUM_OVERLAP_MUL_AND_LINEARArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >static
num_overlap_mul_and_linear()ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >inlinestatic