scalar_multiplication_safe_mode.test.cpp File Reference

#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "scalar_multiplication.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	ScalarMultiplicationSafeModeTest< Curve >
	Tests for pippenger safe mode (handle_edge_cases=true) which is used in native batch_mul. These tests verify that pippenger correctly handles scenarios that would fail with the unsafe affine variant: More...

Typedefs
using	CurveTypes = ::testing::Types< bb::curve::BN254, bb::curve::Grumpkin >

Functions
	TYPED_TEST_SUITE (ScalarMultiplicationSafeModeTest, CurveTypes)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, DuplicatePoints)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, PointAndNegation)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, MixedDuplicatesAndUnique)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, AllSamePointDifferentScalars)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, EmptyInput)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, ZeroScalars)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, AllZeroScalars)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, PointsAtInfinityInInput)
	TYPED_TEST (ScalarMultiplicationSafeModeTest, AllPointsAtInfinity)

Typedef Documentation

CurveTypes

using CurveTypes = ::testing::Types<bb::curve::BN254, bb::curve::Grumpkin>

Definition at line 293 of file scalar_multiplication_safe_mode.test.cpp.

Function Documentation

TYPED_TEST() [1/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		AllPointsAtInfinity
	)

Definition at line 328 of file scalar_multiplication_safe_mode.test.cpp.

TYPED_TEST() [2/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		AllSamePointDifferentScalars
	)

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

TYPED_TEST() [3/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		AllZeroScalars
	)

Definition at line 320 of file scalar_multiplication_safe_mode.test.cpp.

TYPED_TEST() [4/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		DuplicatePoints
	)

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

TYPED_TEST() [5/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		EmptyInput
	)

Definition at line 312 of file scalar_multiplication_safe_mode.test.cpp.

TYPED_TEST() [6/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		MixedDuplicatesAndUnique
	)

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

TYPED_TEST() [7/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		PointAndNegation
	)

Definition at line 300 of file scalar_multiplication_safe_mode.test.cpp.

TYPED_TEST() [8/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		PointsAtInfinityInInput
	)

Definition at line 324 of file scalar_multiplication_safe_mode.test.cpp.

TYPED_TEST() [9/9]

TYPED_TEST	(	ScalarMultiplicationSafeModeTest	,
		ZeroScalars
	)

Definition at line 316 of file scalar_multiplication_safe_mode.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	ScalarMultiplicationSafeModeTest	,
		CurveTypes
	)