g1.test.cpp File Reference

#include "g1.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/ecc/groups/precomputed_generators_bn254_impl.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Functions
	TEST (g1, BIsCorrect)
	TEST (g1, OneYIsCorrect)
	TEST (g1, RandomElement)
	TEST (g1, RandomAffineElement)
	TEST (g1, Eq)
	TEST (g1, MixedAddCheckAgainstConstants)
	TEST (g1, DblCheckAgainstConstants)
	TEST (g1, AddCheckAgainstConstants)
	TEST (g1, AddExceptionTestInfinity)
	TEST (g1, TestInfinity)
	TEST (g1, AddExceptionTestDbl)
	TEST (g1, AddAffineTest)
	TEST (g1, AddDblConsistency)
	TEST (g1, AddDblConsistencyRepeated)
	TEST (g1, MixedAddExceptionTestInfinity)
	TEST (g1, MixedAddExceptionTestDbl)
	TEST (g1, AddMixedAddConsistencyCheck)
	TEST (g1, BatchNormalize)
	TEST (g1, GroupExponentiationCheckAgainstConstants)
	TEST (g1, OperatorOrdering)
	TEST (g1, GroupExponentiationZeroAndOne)
	TEST (g1, GroupExponentiationConsistencyCheck)
	TEST (g1, DeriveGenerators)
	TEST (g1, Serialize)
template<class T >
void	write (const T t)
	TEST (g1, InitializationCheck)
	TEST (g1, CheckPrecomputedGenerators)
	TEST (g1, ScalarMulNegativeK2Regression)

Function Documentation

TEST() [1/27]

TEST	(	g1	,
		AddAffineTest
	)

Definition at line 215 of file g1.test.cpp.

TEST() [2/27]

TEST	(	g1	,
		AddCheckAgainstConstants
	)

Definition at line 134 of file g1.test.cpp.

TEST() [3/27]

TEST	(	g1	,
		AddDblConsistency
	)

Definition at line 228 of file g1.test.cpp.

TEST() [4/27]

TEST	(	g1	,
		AddDblConsistencyRepeated
	)

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

TEST() [5/27]

TEST	(	g1	,
		AddExceptionTestDbl
	)

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

TEST() [6/27]

TEST	(	g1	,
		AddExceptionTestInfinity
	)

Definition at line 165 of file g1.test.cpp.

TEST() [7/27]

TEST	(	g1	,
		AddMixedAddConsistencyCheck
	)

Definition at line 306 of file g1.test.cpp.

TEST() [8/27]

TEST	(	g1	,
		BatchNormalize
	)

Definition at line 321 of file g1.test.cpp.

TEST() [9/27]

TEST	(	g1	,
		BIsCorrect
	)

Definition at line 30 of file g1.test.cpp.

TEST() [10/27]

TEST	(	g1	,
		CheckPrecomputedGenerators
	)

Definition at line 466 of file g1.test.cpp.

TEST() [11/27]

TEST	(	g1	,
		DblCheckAgainstConstants
	)

Definition at line 109 of file g1.test.cpp.

TEST() [12/27]

TEST	(	g1	,
		DeriveGenerators
	)

Definition at line 419 of file g1.test.cpp.

TEST() [13/27]

TEST	(	g1	,
		Eq
	)

Definition at line 62 of file g1.test.cpp.

TEST() [14/27]

TEST	(	g1	,
		GroupExponentiationCheckAgainstConstants
	)

Definition at line 349 of file g1.test.cpp.

TEST() [15/27]

TEST	(	g1	,
		GroupExponentiationConsistencyCheck
	)

Definition at line 402 of file g1.test.cpp.

TEST() [16/27]

TEST	(	g1	,
		GroupExponentiationZeroAndOne
	)

Definition at line 391 of file g1.test.cpp.

TEST() [17/27]

TEST	(	g1	,
		InitializationCheck
	)

Definition at line 459 of file g1.test.cpp.

TEST() [18/27]

TEST	(	g1	,
		MixedAddCheckAgainstConstants
	)

Definition at line 82 of file g1.test.cpp.

TEST() [19/27]

TEST	(	g1	,
		MixedAddExceptionTestDbl
	)

Definition at line 291 of file g1.test.cpp.

TEST() [20/27]

TEST	(	g1	,
		MixedAddExceptionTestInfinity
	)

Definition at line 271 of file g1.test.cpp.

TEST() [21/27]

TEST	(	g1	,
		OneYIsCorrect
	)

Definition at line 38 of file g1.test.cpp.

TEST() [22/27]

TEST	(	g1	,
		OperatorOrdering
	)

Definition at line 366 of file g1.test.cpp.

TEST() [23/27]

TEST	(	g1	,
		RandomAffineElement
	)

Definition at line 56 of file g1.test.cpp.

TEST() [24/27]

TEST	(	g1	,
		RandomElement
	)

Definition at line 50 of file g1.test.cpp.

TEST() [25/27]

TEST	(	g1	,
		ScalarMulNegativeK2Regression
	)

Definition at line 477 of file g1.test.cpp.

TEST() [26/27]

TEST	(	g1	,
		Serialize
	)

Definition at line 439 of file g1.test.cpp.

TEST() [27/27]

TEST	(	g1	,
		TestInfinity
	)

Definition at line 191 of file g1.test.cpp.

write()

template<class T >

void write

(

const T

t

)

Definition at line 451 of file g1.test.cpp.