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, ForgedInfinityFlagOnFiniteResultFails)
	TYPED_TEST (EcOperationsInfinityTests, ForgedFiniteFlagOnInfinityResultFails)
	TYPED_TEST (EcOperationsInfinityTests, Input1IsInfinity)
	TYPED_TEST (EcOperationsInfinityTests, ForgedInputInfinityFlagFails)

Typedef Documentation

BuilderTypes

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

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

FF

using FF = bb::fr

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

GrumpkinPoint

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

Definition at line 301 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/25]

TYPED_TEST	(	EcOperationsInfinityTests	,
		ForgedFiniteFlagOnInfinityResultFails
	)

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

TYPED_TEST() [2/25]

TYPED_TEST	(	EcOperationsInfinityTests	,
		ForgedInfinityFlagOnFiniteResultFails
	)

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

TYPED_TEST() [3/25]

TYPED_TEST	(	EcOperationsInfinityTests	,
		ForgedInputInfinityFlagFails
	)

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

TYPED_TEST() [4/25]

TYPED_TEST	(	EcOperationsInfinityTests	,
		Input1IsInfinity
	)

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

TYPED_TEST() [5/25]

TYPED_TEST	(	EcOperationsInfinityTests	,
		ResultIsInfinity
	)

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

TYPED_TEST() [6/25]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [7/25]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [8/25]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [9/25]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [10/25]

TYPED_TEST	(	EcOperationsTestsBothConstant	,
		WitnessTrue
	)

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

TYPED_TEST() [11/25]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		ConstantTrue
	)

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

TYPED_TEST() [12/25]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [13/25]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [14/25]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [15/25]

TYPED_TEST	(	EcOperationsTestsInput1Constant	,
		WitnessTrue
	)

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

TYPED_TEST() [16/25]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		ConstantTrue
	)

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

TYPED_TEST() [17/25]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [18/25]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [19/25]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [20/25]

TYPED_TEST	(	EcOperationsTestsInput2Constant	,
		WitnessTrue
	)

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

TYPED_TEST() [21/25]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [22/25]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [23/25]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [24/25]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [25/25]

TYPED_TEST	(	EcOperationsTestsNoneConstant	,
		WitnessTrue
	)

Definition at line 190 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
	)