multi_scalar_mul.test.cpp File Reference

#include "multi_scalar_mul.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.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	MultiScalarMulTestingFunctions< Builder_, Constancy >
	Testing functions to generate the MultiScalarMul test suite. Constancy specifies which inputs to the constraints should be constant. More...
class	MultiScalarMulTestingFunctions< Builder_, Constancy >::InvalidWitness
class	MultiScalarMulTestsNoneConstant< Builder >
class	MultiScalarMulTestsPointsConstant< Builder >
class	MultiScalarMulTestsScalarsConstant< Builder >
class	MultiScalarMulTestsBothConstant< Builder >

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

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

Functions
	TYPED_TEST_SUITE (MultiScalarMulTestsNoneConstant, BuilderTypes)
	TYPED_TEST_SUITE (MultiScalarMulTestsPointsConstant, BuilderTypes)
	TYPED_TEST_SUITE (MultiScalarMulTestsScalarsConstant, BuilderTypes)
	TYPED_TEST_SUITE (MultiScalarMulTestsBothConstant, BuilderTypes)
	TYPED_TEST (MultiScalarMulTestsNoneConstant, GenerateVKFromConstraints)
	TYPED_TEST (MultiScalarMulTestsNoneConstant, ConstantTrue)
	TYPED_TEST (MultiScalarMulTestsNoneConstant, WitnessTrue)
	TYPED_TEST (MultiScalarMulTestsNoneConstant, WitnessFalseSlow)
	TYPED_TEST (MultiScalarMulTestsNoneConstant, InvalidWitnesses)
	TYPED_TEST (MultiScalarMulTestsPointsConstant, GenerateVKFromConstraints)
	TYPED_TEST (MultiScalarMulTestsPointsConstant, ConstantTrue)
	TYPED_TEST (MultiScalarMulTestsPointsConstant, WitnessTrue)
	TYPED_TEST (MultiScalarMulTestsPointsConstant, WitnessFalseSlow)
	TYPED_TEST (MultiScalarMulTestsPointsConstant, InvalidWitnesses)
	TYPED_TEST (MultiScalarMulTestsScalarsConstant, GenerateVKFromConstraints)
	TYPED_TEST (MultiScalarMulTestsScalarsConstant, ConstantTrue)
	TYPED_TEST (MultiScalarMulTestsScalarsConstant, WitnessTrue)
	TYPED_TEST (MultiScalarMulTestsScalarsConstant, WitnessFalseSlow)
	TYPED_TEST (MultiScalarMulTestsScalarsConstant, InvalidWitnesses)
	TYPED_TEST (MultiScalarMulTestsBothConstant, GenerateVKFromConstraints)
	TYPED_TEST (MultiScalarMulTestsBothConstant, ConstantTrue)
	TYPED_TEST (MultiScalarMulTestsBothConstant, WitnessTrue)
	TYPED_TEST (MultiScalarMulTestsBothConstant, WitnessFalseSlow)
	TYPED_TEST (MultiScalarMulTestsBothConstant, InvalidWitnesses)

Typedef Documentation

BuilderTypes

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

Definition at line 187 of file multi_scalar_mul.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 multi_scalar_mul.test.cpp.

Function Documentation

TYPED_TEST() [1/20]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		ConstantTrue
	)

Definition at line 290 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [2/20]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		GenerateVKFromConstraints
	)

Definition at line 284 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [3/20]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		InvalidWitnesses
	)

Definition at line 308 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [4/20]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [5/20]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		WitnessTrue
	)

Definition at line 296 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [6/20]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		ConstantTrue
	)

Definition at line 200 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [7/20]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		GenerateVKFromConstraints
	)

Definition at line 194 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [8/20]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		InvalidWitnesses
	)

Definition at line 218 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [9/20]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		WitnessFalseSlow
	)

Definition at line 212 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [10/20]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		WitnessTrue
	)

Definition at line 206 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [11/20]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		ConstantTrue
	)

Definition at line 230 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [12/20]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		GenerateVKFromConstraints
	)

Definition at line 224 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [13/20]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		InvalidWitnesses
	)

Definition at line 248 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [14/20]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		WitnessFalseSlow
	)

Definition at line 242 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [15/20]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		WitnessTrue
	)

Definition at line 236 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [16/20]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		ConstantTrue
	)

Definition at line 260 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [17/20]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		GenerateVKFromConstraints
	)

Definition at line 254 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [18/20]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		InvalidWitnesses
	)

Definition at line 278 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [19/20]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		WitnessFalseSlow
	)

Definition at line 272 of file multi_scalar_mul.test.cpp.

TYPED_TEST() [20/20]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		WitnessTrue
	)

Definition at line 266 of file multi_scalar_mul.test.cpp.

TYPED_TEST_SUITE() [1/4]

TYPED_TEST_SUITE	(	MultiScalarMulTestsBothConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [2/4]

TYPED_TEST_SUITE	(	MultiScalarMulTestsNoneConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [3/4]

TYPED_TEST_SUITE	(	MultiScalarMulTestsPointsConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [4/4]

TYPED_TEST_SUITE	(	MultiScalarMulTestsScalarsConstant	,
		BuilderTypes
	)