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, 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)
	TEST (AffineElement, HashToCurve)

Function Documentation

TEST()

TEST	(	AffineElement	,
		HashToCurve
	)

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

TYPED_TEST() [1/32]

TYPED_TEST	(	TestAffineElement	,
		AddAffine
	)

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

TYPED_TEST() [2/32]

TYPED_TEST	(	TestAffineElement	,
		BatchEndomoprhismByMinusOne
	)

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

TYPED_TEST() [3/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulEmptyInput
	)

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

TYPED_TEST() [4/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulEndomorphismEvenScalars
	)

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

TYPED_TEST() [5/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulK2125Bits
	)

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

TYPED_TEST() [6/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulK2126Bits
	)

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

TYPED_TEST() [7/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulK2127Bits
	)

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

TYPED_TEST() [8/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulK2128BitsNeverOccurs
	)

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

TYPED_TEST() [9/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulMatchesNonBatchMul
	)

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

TYPED_TEST() [10/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulNumPointsNotMultipleOfThreads
	)

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

TYPED_TEST() [11/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulRandomizedMatchesNaive
	)

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

TYPED_TEST() [12/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulScalarLow127BitsZero
	)

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

TYPED_TEST() [13/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulScalarUnder127Bits
	)

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

TYPED_TEST() [14/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulSizeLessThanNumThreads
	)

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

TYPED_TEST() [15/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulSmallScalarsEdgePredicate
	)

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

TYPED_TEST() [16/32]

TYPED_TEST	(	TestAffineElement	,
		BatchMulZeroScalar
	)

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

TYPED_TEST() [17/32]

TYPED_TEST	(	TestAffineElement	,
		DeserializeOffCurveThrows
	)

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

TYPED_TEST() [18/32]

TYPED_TEST	(	TestAffineElement	,
		FixedInfinityPoint
	)

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

TYPED_TEST() [19/32]

TYPED_TEST	(	TestAffineElement	,
		FrCodecRoundTrip
	)

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

TYPED_TEST() [20/32]

TYPED_TEST	(	TestAffineElement	,
		InfinityBatchMulByScalarIsInfinity
	)

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

TYPED_TEST() [21/32]

TYPED_TEST	(	TestAffineElement	,
		InfinityMulByScalarIsInfinity
	)

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

TYPED_TEST() [22/32]

TYPED_TEST	(	TestAffineElement	,
		InfinityOrderingRegression
	)

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

TYPED_TEST() [23/32]

TYPED_TEST	(	TestAffineElement	,
		IsInPrimeSubgroupAcceptsSubgroupPoints
	)

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

TYPED_TEST() [24/32]

TYPED_TEST	(	TestAffineElement	,
		MixedAddInfinityRegression
	)

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

TYPED_TEST() [25/32]

TYPED_TEST	(	TestAffineElement	,
		MulConstTimeMatchesOperatorMul
	)

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

TYPED_TEST() [26/32]

TYPED_TEST	(	TestAffineElement	,
		MulWithEndomorphismEdgeCasesMatchMulWithoutEndomorphism
	)

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

TYPED_TEST() [27/32]

TYPED_TEST	(	TestAffineElement	,
		MulWithEndomorphismMatchesMulWithoutEndomorphism
	)

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

TYPED_TEST() [28/32]

TYPED_TEST	(	TestAffineElement	,
		PointCompression
	)

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

TYPED_TEST() [29/32]

TYPED_TEST	(	TestAffineElement	,
		PointCompressionInvalidX
	)

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

TYPED_TEST() [30/32]

TYPED_TEST	(	TestAffineElement	,
		PointCompressionUnsafe
	)

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

TYPED_TEST() [31/32]

TYPED_TEST	(	TestAffineElement	,
		ReadWrite
	)

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

TYPED_TEST() [32/32]

TYPED_TEST	(	TestAffineElement	,
		ReadWriteBuffer
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	TestAffineElement	,
		TestTypes
	)