affine_element.test.cpp File Reference

#include "barretenberg/serialize/msgpack_impl.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/ecc/curves/bn254/g1.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/ecc/curves/secp256k1/secp256k1.hpp"
#include "barretenberg/ecc/curves/secp256r1/secp256r1.hpp"
#include "barretenberg/ecc/fields/field_conversion.hpp"
#include "barretenberg/ecc/groups/element.hpp"
#include "barretenberg/serialize/test_helper.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "gmock/gmock.h"
#include <algorithm>
#include <fstream>
#include <gtest/gtest.h>
#include <iterator>
#include <tuple>

Go to the source code of this file.

Classes
class	bb::group_elements::TestElementPrivate

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::group_elements

Functions
	TYPED_TEST_SUITE (TestAffineElement, TestTypes)
	TYPED_TEST (TestAffineElement, AddAffine)
	TYPED_TEST (TestAffineElement, MixedAddInfinityRegression)
	TYPED_TEST (TestAffineElement, ReadWrite)
	TYPED_TEST (TestAffineElement, ReadWriteBuffer)
	TYPED_TEST (TestAffineElement, PointCompression)
	TYPED_TEST (TestAffineElement, FixedInfinityPoint)
	TYPED_TEST (TestAffineElement, PointCompressionUnsafe)
	TYPED_TEST (TestAffineElement, InfinityOrderingRegression)
	TYPED_TEST (TestAffineElement, MulWithEndomorphismMatchesMulWithoutEndomorphism)
	TYPED_TEST (TestAffineElement, MulWithEndomorphismEdgeCasesMatchMulWithoutEndomorphism)
	TYPED_TEST (TestAffineElement, MulConstTimeMatchesOperatorMul)
	TYPED_TEST (TestAffineElement, FrCodecRoundTrip)
	TYPED_TEST (TestAffineElement, BatchMulEndomorphismEvenScalars)
	TYPED_TEST (TestAffineElement, InfinityMulByScalarIsInfinity)
	TYPED_TEST (TestAffineElement, BatchMulMatchesNonBatchMul)
	TYPED_TEST (TestAffineElement, InfinityBatchMulByScalarIsInfinity)
	TYPED_TEST (TestAffineElement, BatchEndomoprhismByMinusOne)
	TYPED_TEST (TestAffineElement, BatchMulZeroScalar)
	TYPED_TEST (TestAffineElement, BatchMulNumPointsNotMultipleOfThreads)
	TYPED_TEST (TestAffineElement, TwoRoundFoldRandomChallenges)
	TYPED_TEST (TestAffineElement, TwoRoundFoldSmallChallenges)
	TYPED_TEST (TestAffineElement, TwoRoundFoldMatchesSequentialFolds)
	TYPED_TEST (TestAffineElement, BatchMulScalarUnder127Bits)
	TYPED_TEST (TestAffineElement, BatchMulScalarLow127BitsZero)
	TYPED_TEST (TestAffineElement, BatchMulK2128BitsNeverOccurs)
	TYPED_TEST (TestAffineElement, BatchMulK2127Bits)
	TYPED_TEST (TestAffineElement, BatchMulK2126Bits)
	TYPED_TEST (TestAffineElement, BatchMulK2125Bits)
	TYPED_TEST (TestAffineElement, BatchMulEmptyInput)
	TYPED_TEST (TestAffineElement, BatchMulSizeLessThanNumThreads)
	TYPED_TEST (TestAffineElement, BatchMulRandomizedMatchesNaive)
	TYPED_TEST (TestAffineElement, BatchMulSmallScalarsEdgePredicate)
	TYPED_TEST (TestAffineElement, DeserializeOffCurveThrows)
	TYPED_TEST (TestAffineElement, IsInPrimeSubgroupAcceptsSubgroupPoints)
	TYPED_TEST (TestAffineElement, PointCompressionInvalidX)
	TYPED_TEST (TestAffineElement, PointCompressionNonCanonicalX)
	TEST (AffineElement, HashToCurve)

Function Documentation

TEST()

TEST	(	AffineElement	,
		HashToCurve
	)

Definition at line 1045 of file affine_element.test.cpp.

TYPED_TEST() [1/36]

TYPED_TEST	(	TestAffineElement	,
		AddAffine
	)

Definition at line 673 of file affine_element.test.cpp.

TYPED_TEST() [2/36]

TYPED_TEST	(	TestAffineElement	,
		BatchEndomoprhismByMinusOne
	)

Definition at line 865 of file affine_element.test.cpp.

TYPED_TEST() [3/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulEmptyInput
	)

Definition at line 977 of file affine_element.test.cpp.

TYPED_TEST() [4/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulEndomorphismEvenScalars
	)

Definition at line 830 of file affine_element.test.cpp.

TYPED_TEST() [5/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulK2125Bits
	)

Definition at line 968 of file affine_element.test.cpp.

TYPED_TEST() [6/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulK2126Bits
	)

Definition at line 959 of file affine_element.test.cpp.

TYPED_TEST() [7/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulK2127Bits
	)

Definition at line 950 of file affine_element.test.cpp.

TYPED_TEST() [8/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulK2128BitsNeverOccurs
	)

Definition at line 941 of file affine_element.test.cpp.

TYPED_TEST() [9/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulMatchesNonBatchMul
	)

Definition at line 846 of file affine_element.test.cpp.

TYPED_TEST() [10/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulNumPointsNotMultipleOfThreads
	)

Definition at line 886 of file affine_element.test.cpp.

TYPED_TEST() [11/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulRandomizedMatchesNaive
	)

Definition at line 995 of file affine_element.test.cpp.

TYPED_TEST() [12/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulScalarLow127BitsZero
	)

Definition at line 932 of file affine_element.test.cpp.

TYPED_TEST() [13/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulScalarUnder127Bits
	)

Definition at line 923 of file affine_element.test.cpp.

TYPED_TEST() [14/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulSizeLessThanNumThreads
	)

Definition at line 986 of file affine_element.test.cpp.

TYPED_TEST() [15/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulSmallScalarsEdgePredicate
	)

Definition at line 1004 of file affine_element.test.cpp.

TYPED_TEST() [16/36]

TYPED_TEST	(	TestAffineElement	,
		BatchMulZeroScalar
	)

Definition at line 877 of file affine_element.test.cpp.

TYPED_TEST() [17/36]

TYPED_TEST	(	TestAffineElement	,
		DeserializeOffCurveThrows
	)

Definition at line 1014 of file affine_element.test.cpp.

TYPED_TEST() [18/36]

TYPED_TEST	(	TestAffineElement	,
		FixedInfinityPoint
	)

Definition at line 705 of file affine_element.test.cpp.

TYPED_TEST() [19/36]

TYPED_TEST	(	TestAffineElement	,
		FrCodecRoundTrip
	)

Definition at line 819 of file affine_element.test.cpp.

TYPED_TEST() [20/36]

TYPED_TEST	(	TestAffineElement	,
		InfinityBatchMulByScalarIsInfinity
	)

Definition at line 856 of file affine_element.test.cpp.

TYPED_TEST() [21/36]

TYPED_TEST	(	TestAffineElement	,
		InfinityMulByScalarIsInfinity
	)

Definition at line 840 of file affine_element.test.cpp.

TYPED_TEST() [22/36]

TYPED_TEST	(	TestAffineElement	,
		InfinityOrderingRegression
	)

Definition at line 723 of file affine_element.test.cpp.

TYPED_TEST() [23/36]

TYPED_TEST	(	TestAffineElement	,
		IsInPrimeSubgroupAcceptsSubgroupPoints
	)

Definition at line 1020 of file affine_element.test.cpp.

TYPED_TEST() [24/36]

TYPED_TEST	(	TestAffineElement	,
		MixedAddInfinityRegression
	)

Definition at line 680 of file affine_element.test.cpp.

TYPED_TEST() [25/36]

TYPED_TEST	(	TestAffineElement	,
		MulConstTimeMatchesOperatorMul
	)

Definition at line 801 of file affine_element.test.cpp.

TYPED_TEST() [26/36]

TYPED_TEST	(	TestAffineElement	,
		MulWithEndomorphismEdgeCasesMatchMulWithoutEndomorphism
	)

Definition at line 765 of file affine_element.test.cpp.

TYPED_TEST() [27/36]

TYPED_TEST	(	TestAffineElement	,
		MulWithEndomorphismMatchesMulWithoutEndomorphism
	)

Definition at line 748 of file affine_element.test.cpp.

TYPED_TEST() [28/36]

TYPED_TEST	(	TestAffineElement	,
		PointCompression
	)

Definition at line 696 of file affine_element.test.cpp.

TYPED_TEST() [29/36]

TYPED_TEST	(	TestAffineElement	,
		PointCompressionInvalidX
	)

Definition at line 1026 of file affine_element.test.cpp.

TYPED_TEST() [30/36]

TYPED_TEST	(	TestAffineElement	,
		PointCompressionNonCanonicalX
	)

Definition at line 1036 of file affine_element.test.cpp.

TYPED_TEST() [31/36]

TYPED_TEST	(	TestAffineElement	,
		PointCompressionUnsafe
	)

Definition at line 714 of file affine_element.test.cpp.

TYPED_TEST() [32/36]

TYPED_TEST	(	TestAffineElement	,
		ReadWrite
	)

Definition at line 685 of file affine_element.test.cpp.

TYPED_TEST() [33/36]

TYPED_TEST	(	TestAffineElement	,
		ReadWriteBuffer
	)

Definition at line 690 of file affine_element.test.cpp.

TYPED_TEST() [34/36]

TYPED_TEST	(	TestAffineElement	,
		TwoRoundFoldMatchesSequentialFolds
	)

Definition at line 914 of file affine_element.test.cpp.

TYPED_TEST() [35/36]

TYPED_TEST	(	TestAffineElement	,
		TwoRoundFoldRandomChallenges
	)

Definition at line 896 of file affine_element.test.cpp.

TYPED_TEST() [36/36]

TYPED_TEST	(	TestAffineElement	,
		TwoRoundFoldSmallChallenges
	)

Definition at line 905 of file affine_element.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	TestAffineElement	,
		TestTypes
	)