EcOperationsTestingFunctions< Builder_, Constancy > Class Template Reference

Testing functions to generate the EcOperationTest test suite. Constancy specifies which inputs to the constraints should be constant. More...

Classes
class	InvalidWitness

Public Types
using	Builder = Builder_
using	AcirConstraint = EcAdd
using	G1 = bb::grumpkin::g1
using	GrumpkinPoint = G1::affine_element
using	FF = bb::fr

Static Public Member Functions
static void	generate_constraints (AcirConstraint &ec_add_constraint, WitnessVector &witness_values)
static void	invalidate_witness (AcirConstraint &constraint, WitnessVector &witness_values, const InvalidWitness::Target &invalid_witness_target)

Detailed Description

template<typename Builder_, InputConstancy Constancy>
class EcOperationsTestingFunctions< Builder_, Constancy >

Testing functions to generate the EcOperationTest test suite. Constancy specifies which inputs to the constraints should be constant.

Edge cases for point addition on Grumpkin are tested in cycle_group. Here we test that:

1. If input1 + input2 != result, then the circuit fails (TamperingMode::Result)
2. If the inputs are not valid points on Grumpkin, or input1 + input2 != result, but the predicate is witness false, then the circuit is satisfied.

Definition at line 25 of file ec_operations.test.cpp.

Member Typedef Documentation

AcirConstraint

template<typename Builder_ , InputConstancy Constancy>

using EcOperationsTestingFunctions< Builder_, Constancy >::AcirConstraint = EcAdd

Definition at line 28 of file ec_operations.test.cpp.

Builder

template<typename Builder_ , InputConstancy Constancy>

using EcOperationsTestingFunctions< Builder_, Constancy >::Builder = Builder_

Definition at line 27 of file ec_operations.test.cpp.

FF

template<typename Builder_ , InputConstancy Constancy>

using EcOperationsTestingFunctions< Builder_, Constancy >::FF = bb::fr

Definition at line 31 of file ec_operations.test.cpp.

G1

template<typename Builder_ , InputConstancy Constancy>

using EcOperationsTestingFunctions< Builder_, Constancy >::G1 = bb::grumpkin::g1

Definition at line 29 of file ec_operations.test.cpp.

GrumpkinPoint

template<typename Builder_ , InputConstancy Constancy>

using EcOperationsTestingFunctions< Builder_, Constancy >::GrumpkinPoint = G1::affine_element

Definition at line 30 of file ec_operations.test.cpp.

Member Function Documentation

generate_constraints()

template<typename Builder_ , InputConstancy Constancy>

static void EcOperationsTestingFunctions< Builder_, Constancy >::generate_constraints ( AcirConstraint &  ec_add_constraint, WitnessVector &  witness_values  )

inlinestatic

Definition at line 50 of file ec_operations.test.cpp.

invalidate_witness()

template<typename Builder_ , InputConstancy Constancy>

static void EcOperationsTestingFunctions< Builder_, Constancy >::invalidate_witness ( AcirConstraint &  constraint, WitnessVector &  witness_values, const InvalidWitness::Target &  invalid_witness_target  )

inlinestatic

Definition at line 100 of file ec_operations.test.cpp.

---

The documentation for this class was generated from the following file:

• src/barretenberg/dsl/acir_format/ec_operations.test.cpp