multi_scalar_mul.test.cpp File Reference

#include "multi_scalar_mul.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	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 >
struct	MsmAcirPoint
struct	MsmScalar
class	MsmSingleTermFixture< Builder >
class	MultiScalarMulInfinityTests< Builder >
class	MultiScalarMulScalarBoundsTests< Builder >

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

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)
	TYPED_TEST_SUITE (MultiScalarMulInfinityTests, BuilderTypes)
	TYPED_TEST (MultiScalarMulInfinityTests, ResultIsInfinity)
	TYPED_TEST (MultiScalarMulInfinityTests, ForgedInfinityFlagOnFiniteResultFails)
	TYPED_TEST (MultiScalarMulInfinityTests, ForgedFiniteFlagOnInfinityResultFails)
	TYPED_TEST_SUITE (MultiScalarMulScalarBoundsTests, BuilderTypes)
	TYPED_TEST (MultiScalarMulScalarBoundsTests, ScalarEqualToModulusFails)
	TYPED_TEST (MultiScalarMulScalarBoundsTests, ScalarModulusPlusOneFails)
	TYPED_TEST (MultiScalarMulScalarBoundsTests, ScalarModulusMinusOneProves)
	TYPED_TEST (MultiScalarMulScalarBoundsTests, MaxRepresentableScalarFails)
	TYPED_TEST (MultiScalarMulScalarBoundsTests, ScalarWithOversizedHiLimbFails)
	TYPED_TEST (MultiScalarMulScalarBoundsTests, AddingGrumpkinModulusDoesNotReproveSameOutput)

Typedef Documentation

BuilderTypes

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

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

MsmFF

using MsmFF = bb::fr

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

MsmGrumpkinPoint

using MsmGrumpkinPoint = bb::grumpkin::g1::affine_element

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

Function Documentation

TYPED_TEST() [1/29]

TYPED_TEST	(	MultiScalarMulInfinityTests	,
		ForgedFiniteFlagOnInfinityResultFails
	)

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

TYPED_TEST() [2/29]

TYPED_TEST	(	MultiScalarMulInfinityTests	,
		ForgedInfinityFlagOnFiniteResultFails
	)

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

TYPED_TEST() [3/29]

TYPED_TEST	(	MultiScalarMulInfinityTests	,
		ResultIsInfinity
	)

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

TYPED_TEST() [4/29]

TYPED_TEST	(	MultiScalarMulScalarBoundsTests	,
		AddingGrumpkinModulusDoesNotReproveSameOutput
	)

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

TYPED_TEST() [5/29]

TYPED_TEST	(	MultiScalarMulScalarBoundsTests	,
		MaxRepresentableScalarFails
	)

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

TYPED_TEST() [6/29]

TYPED_TEST	(	MultiScalarMulScalarBoundsTests	,
		ScalarEqualToModulusFails
	)

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

TYPED_TEST() [7/29]

TYPED_TEST	(	MultiScalarMulScalarBoundsTests	,
		ScalarModulusMinusOneProves
	)

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

TYPED_TEST() [8/29]

TYPED_TEST	(	MultiScalarMulScalarBoundsTests	,
		ScalarModulusPlusOneFails
	)

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

TYPED_TEST() [9/29]

TYPED_TEST	(	MultiScalarMulScalarBoundsTests	,
		ScalarWithOversizedHiLimbFails
	)

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

TYPED_TEST() [10/29]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [11/29]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [12/29]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [13/29]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [14/29]

TYPED_TEST	(	MultiScalarMulTestsBothConstant	,
		WitnessTrue
	)

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

TYPED_TEST() [15/29]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [16/29]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [17/29]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [18/29]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [19/29]

TYPED_TEST	(	MultiScalarMulTestsNoneConstant	,
		WitnessTrue
	)

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

TYPED_TEST() [20/29]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [21/29]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [22/29]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [23/29]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [24/29]

TYPED_TEST	(	MultiScalarMulTestsPointsConstant	,
		WitnessTrue
	)

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

TYPED_TEST() [25/29]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		ConstantTrue
	)

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

TYPED_TEST() [26/29]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [27/29]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		InvalidWitnesses
	)

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

TYPED_TEST() [28/29]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		WitnessFalseSlow
	)

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

TYPED_TEST() [29/29]

TYPED_TEST	(	MultiScalarMulTestsScalarsConstant	,
		WitnessTrue
	)

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

TYPED_TEST_SUITE() [1/6]

TYPED_TEST_SUITE	(	MultiScalarMulInfinityTests	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [2/6]

TYPED_TEST_SUITE	(	MultiScalarMulScalarBoundsTests	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [3/6]

TYPED_TEST_SUITE	(	MultiScalarMulTestsBothConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [4/6]

TYPED_TEST_SUITE	(	MultiScalarMulTestsNoneConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [5/6]

TYPED_TEST_SUITE	(	MultiScalarMulTestsPointsConstant	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [6/6]

TYPED_TEST_SUITE	(	MultiScalarMulTestsScalarsConstant	,
		BuilderTypes
	)