barycentric.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "univariate.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	BarycentricDataTests< FF >

Macros
#define	BARYCENTIC_DATA_TESTS_TYPE_ALIASES   using FF = TypeParam;

Typedefs
using	FieldTypes = testing::Types< bb::fr >
using	Builder = bb::UltraCircuitBuilder
	Tests for the BarycentricDataRunTime path using stdlib field_t.
using	field_ct = bb::stdlib::field_t< Builder >
using	witness_ct = bb::stdlib::witness_t< Builder >

Functions
	TYPED_TEST_SUITE (BarycentricDataTests, FieldTypes)
	TYPED_TEST (BarycentricDataTests, CompileTimeComputation)
	Ensure auxilliary arrays (e.g. big_domain) are computed at compile time if possible (i.e. if FF is a native field)
	TYPED_TEST (BarycentricDataTests, Extend)
	TYPED_TEST (BarycentricDataTests, SelfExtend)
	TYPED_TEST (BarycentricDataTests, Evaluate)
	TYPED_TEST (BarycentricDataTests, BarycentricData2to3)
	TYPED_TEST (BarycentricDataTests, BarycentricData5to6)
	TEST (BarycentricDataRunTimeTests, DataArraysMatchCompileTime2to3)
	TEST (BarycentricDataRunTimeTests, DataArraysMatchCompileTime5to6)
	TEST (BarycentricDataRunTimeTests, Evaluate)
	TEST (BarycentricDataRunTimeTests, Extend)
	TEST (BarycentricDataRunTimeTests, Extend5to6)

Macro Definition Documentation

BARYCENTIC_DATA_TESTS_TYPE_ALIASES

#define BARYCENTIC_DATA_TESTS_TYPE_ALIASES   using FF = TypeParam;

Definition at line 15 of file barycentric.test.cpp.

Typedef Documentation

Builder

using Builder = bb::UltraCircuitBuilder

Tests for the BarycentricDataRunTime path using stdlib field_t.

Definition at line 107 of file barycentric.test.cpp.

field_ct

using field_ct = bb::stdlib::field_t<Builder>

Definition at line 108 of file barycentric.test.cpp.

FieldTypes

using FieldTypes = testing::Types<bb::fr>

Definition at line 12 of file barycentric.test.cpp.

witness_ct

using witness_ct = bb::stdlib::witness_t<Builder>

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

Function Documentation

TEST() [1/5]

TEST	(	BarycentricDataRunTimeTests	,
		DataArraysMatchCompileTime2to3
	)

Definition at line 112 of file barycentric.test.cpp.

TEST() [2/5]

TEST	(	BarycentricDataRunTimeTests	,
		DataArraysMatchCompileTime5to6
	)

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

TEST() [3/5]

TEST	(	BarycentricDataRunTimeTests	,
		Evaluate
	)

Definition at line 157 of file barycentric.test.cpp.

TEST() [4/5]

TEST	(	BarycentricDataRunTimeTests	,
		Extend
	)

Definition at line 175 of file barycentric.test.cpp.

TEST() [5/5]

TEST	(	BarycentricDataRunTimeTests	,
		Extend5to6
	)

Definition at line 195 of file barycentric.test.cpp.

TYPED_TEST() [1/6]

TYPED_TEST	(	BarycentricDataTests	,
		BarycentricData2to3
	)

Definition at line 64 of file barycentric.test.cpp.

TYPED_TEST() [2/6]

TYPED_TEST	(	BarycentricDataTests	,
		BarycentricData5to6
	)

Definition at line 89 of file barycentric.test.cpp.

TYPED_TEST() [3/6]

TYPED_TEST	(	BarycentricDataTests	,
		CompileTimeComputation
	)

Ensure auxilliary arrays (e.g. big_domain) are computed at compile time if possible (i.e. if FF is a native field)

Definition at line 22 of file barycentric.test.cpp.

TYPED_TEST() [4/6]

TYPED_TEST	(	BarycentricDataTests	,
		Evaluate
	)

Definition at line 53 of file barycentric.test.cpp.

TYPED_TEST() [5/6]

TYPED_TEST	(	BarycentricDataTests	,
		Extend
	)

Definition at line 31 of file barycentric.test.cpp.

TYPED_TEST() [6/6]

TYPED_TEST	(	BarycentricDataTests	,
		SelfExtend
	)

Definition at line 42 of file barycentric.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	BarycentricDataTests	,
		FieldTypes
	)