ec_operations.test.cpp File Reference

#include "ec_operations.hpp"
#include "acir_format.hpp"
#include "barretenberg/dsl/acir_format/test_class_predicate.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include "barretenberg/stdlib/primitives/group/cycle_group.hpp"
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	EcOperationsTestingFunctions< Builder_, Constancy >
	Testing functions to generate the EcOperationTest test suite. Constancy specifies which inputs to the constraints should be constant. More...
class	EcOperationsTestingFunctions< Builder_, Constancy >::InvalidWitness
class	EcOperationsTestsNoneConstant< Builder >
class	EcOperationsTestsInput1Constant< Builder >
class	EcOperationsTestsInput2Constant< Builder >
class	EcOperationsTestsBothConstant< Builder >
struct	AcirPoint
class	EcOperationsInfinityTests< Builder >

Typedefs
using	BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder >
using	GrumpkinPoint = bb::grumpkin::g1::affine_element
using	FF = bb::fr

Enumerations
enum class	InputConstancy : uint8_t {   None , Input1 , Input2 , Both ,   None , Input1 , Input2 , Both ,   None , Points , Scalars , Both }

Functions
	TYPED_TEST_SUITE (EcOperationsTestsNoneConstant, BuilderTypes)
	TYPED_TEST_SUITE (EcOperationsTestsInput1Constant, BuilderTypes)
	TYPED_TEST_SUITE (EcOperationsTestsInput2Constant, BuilderTypes)
	TYPED_TEST_SUITE (EcOperationsTestsBothConstant, BuilderTypes)
	TYPED_TEST (EcOperationsTestsNoneConstant, GenerateVKFromConstraints)
	TYPED_TEST (EcOperationsTestsNoneConstant, ConstantTrue)
	TYPED_TEST (EcOperationsTestsNoneConstant, WitnessTrue)
	TYPED_TEST (EcOperationsTestsNoneConstant, WitnessFalseSlow)
	TYPED_TEST (EcOperationsTestsNoneConstant, InvalidWitnesses)
	TYPED_TEST (EcOperationsTestsInput1Constant, GenerateVKFromConstraints)
	TYPED_TEST (EcOperationsTestsInput1Constant, ConstantTrue)
	TYPED_TEST (EcOperationsTestsInput1Constant, WitnessTrue)
	TYPED_TEST (EcOperationsTestsInput1Constant, WitnessFalseSlow)
	TYPED_TEST (EcOperationsTestsInput1Constant, InvalidWitnesses)
	TYPED_TEST (EcOperationsTestsInput2Constant, GenerateVKFromConstraints)
	TYPED_TEST (EcOperationsTestsInput2Constant, ConstantTrue)
	TYPED_TEST (EcOperationsTestsInput2Constant, WitnessTrue)
	TYPED_TEST (EcOperationsTestsInput2Constant, WitnessFalseSlow)
	TYPED_TEST (EcOperationsTestsInput2Constant, InvalidWitnesses)
	TYPED_TEST (EcOperationsTestsBothConstant, GenerateVKFromConstraints)
	TYPED_TEST (EcOperationsTestsBothConstant, ConstantTrue)
	TYPED_TEST (EcOperationsTestsBothConstant, WitnessTrue)
	TYPED_TEST (EcOperationsTestsBothConstant, WitnessFalseSlow)
	TYPED_TEST (EcOperationsTestsBothConstant, InvalidWitnesses)
	TYPED_TEST_SUITE (EcOperationsInfinityTests, BuilderTypes)
	TYPED_TEST (EcOperationsInfinityTests, ResultIsInfinity)
	TYPED_TEST (EcOperationsInfinityTests, Input1IsInfinity)

Typedef Documentation

BuilderTypes

using BuilderTypes = testing::Types<UltraCircuitBuilder, MegaCircuitBuilder>

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

FF

using FF = bb::fr

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

GrumpkinPoint

using GrumpkinPoint = bb::grumpkin::g1::affine_element

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

Enumeration Type Documentation

InputConstancy

enum class InputConstancy : uint8_t

strong

Enumerator
None
Input1
Input2
Both
None
Input1
Input2
Both
None
Points
Scalars
Both

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

Function Documentation

TYPED_TEST() [1/22]

TYPED_TEST	(	EcOperationsInfinityTests	,
		Input1IsInfinity
	)

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

TYPED_TEST() [2/22]

TYPED_TEST	(	EcOperationsInfinityTests	,
		ResultIsInfinity
	)

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

TYPED_TEST() [3/22]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [4/22]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [5/22]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [6/22]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [7/22]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		WitnessTrue
	)

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

TYPED_TEST() [8/22]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		ConstantTrue
	)

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

TYPED_TEST() [9/22]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [10/22]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [11/22]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [12/22]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		WitnessTrue
	)

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

TYPED_TEST() [13/22]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		ConstantTrue
	)

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

TYPED_TEST() [14/22]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [15/22]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [16/22]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [17/22]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		WitnessTrue
	)

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

TYPED_TEST() [18/22]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [19/22]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [20/22]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [21/22]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [22/22]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		WitnessTrue
	)

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

TYPED_TEST_SUITE() [1/5]

TYPED_TEST_SUITE	(	EcOperationsInfinityTests	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [2/5]

TYPED_TEST_SUITE	(	EcOperationsTestsBothConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [3/5]

TYPED_TEST_SUITE	(	EcOperationsTestsInput1Constant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [4/5]

TYPED_TEST_SUITE	(	EcOperationsTestsInput2Constant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [5/5]

TYPED_TEST_SUITE	(	EcOperationsTestsNoneConstant	,
		BuilderTypes
	)