arithmetic_constraints.test.cpp File Reference

#include "arithmetic_constraints.hpp"
#include "acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp"
#include "barretenberg/dsl/acir_format/test_class.hpp"
#include "barretenberg/dsl/acir_format/utils.hpp"
#include <cstdint>
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	ArithmeticConstraintParams< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >
class	ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >
class	ArithmeticConstraintsTestingFunctions< Builder_, AcirConstraint_, num_multiplication_terms, num_linear_terms, overlap_mul_and_linear, overlap_linear >::InvalidWitness
class	BigQuadConstraintTest< ArithmeticConstraintParams_ >
class	QuadConstraintTest< ArithmeticConstraintParams_ >

Typedefs
using	BigQuadConstraintConfigs = testing::Types< ArithmeticConstraintParams< UltraCircuitBuilder, BigQuadConstraint, 1, 3, false, false >, ArithmeticConstraintParams< UltraCircuitBuilder, BigQuadConstraint, 0, 5, false, false >, ArithmeticConstraintParams< UltraCircuitBuilder, BigQuadConstraint, 2, 0, false, false >, ArithmeticConstraintParams< UltraCircuitBuilder, BigQuadConstraint, 3, 3, true, false >, ArithmeticConstraintParams< UltraCircuitBuilder, BigQuadConstraint, 1, 4, false, true >, ArithmeticConstraintParams< UltraCircuitBuilder, BigQuadConstraint, 5, 5, true, true >, ArithmeticConstraintParams< UltraCircuitBuilder, BigQuadConstraint, 0, 6, false, true >, ArithmeticConstraintParams< MegaCircuitBuilder, BigQuadConstraint, 1, 3, false, false >, ArithmeticConstraintParams< MegaCircuitBuilder, BigQuadConstraint, 0, 5, false, false >, ArithmeticConstraintParams< MegaCircuitBuilder, BigQuadConstraint, 2, 0, false, false >, ArithmeticConstraintParams< MegaCircuitBuilder, BigQuadConstraint, 3, 3, true, false >, ArithmeticConstraintParams< MegaCircuitBuilder, BigQuadConstraint, 1, 4, false, true >, ArithmeticConstraintParams< MegaCircuitBuilder, BigQuadConstraint, 5, 5, true, true >, ArithmeticConstraintParams< MegaCircuitBuilder, BigQuadConstraint, 0, 6, false, true > >
using	QuadConstraintConfigs = testing::Types< ArithmeticConstraintParams< UltraCircuitBuilder, QuadConstraint, 1, 0, false, false >, ArithmeticConstraintParams< UltraCircuitBuilder, QuadConstraint, 1, 1, false, false >, ArithmeticConstraintParams< UltraCircuitBuilder, QuadConstraint, 1, 2, false, false >, ArithmeticConstraintParams< UltraCircuitBuilder, QuadConstraint, 1, 3, false, true >, ArithmeticConstraintParams< UltraCircuitBuilder, QuadConstraint, 1, 4, true, true >, ArithmeticConstraintParams< UltraCircuitBuilder, QuadConstraint, 0, 4, false, false >, ArithmeticConstraintParams< UltraCircuitBuilder, QuadConstraint, 0, 4, false, true >, ArithmeticConstraintParams< MegaCircuitBuilder, QuadConstraint, 1, 0, false, false >, ArithmeticConstraintParams< MegaCircuitBuilder, QuadConstraint, 1, 1, false, false >, ArithmeticConstraintParams< MegaCircuitBuilder, QuadConstraint, 1, 2, false, false >, ArithmeticConstraintParams< MegaCircuitBuilder, QuadConstraint, 1, 3, false, true >, ArithmeticConstraintParams< MegaCircuitBuilder, QuadConstraint, 1, 4, true, true >, ArithmeticConstraintParams< MegaCircuitBuilder, QuadConstraint, 0, 4, false, false >, ArithmeticConstraintParams< MegaCircuitBuilder, QuadConstraint, 0, 5, false, true > >

Functions
	TYPED_TEST_SUITE (BigQuadConstraintTest, BigQuadConstraintConfigs)
	TYPED_TEST (BigQuadConstraintTest, GenerateVKFromConstraints)
	TYPED_TEST (BigQuadConstraintTest, Tampering)
	TYPED_TEST_SUITE (QuadConstraintTest, QuadConstraintConfigs)
	TYPED_TEST (QuadConstraintTest, GenerateVKFromConstraints)
	TYPED_TEST (QuadConstraintTest, Tampering)

Typedef Documentation

BigQuadConstraintConfigs

using BigQuadConstraintConfigs = testing::Types< ArithmeticConstraintParams<UltraCircuitBuilder, BigQuadConstraint, 1, 3, false, false>, ArithmeticConstraintParams<UltraCircuitBuilder, BigQuadConstraint, 0, 5, false, false>, ArithmeticConstraintParams<UltraCircuitBuilder, BigQuadConstraint, 2, 0, false, false>, ArithmeticConstraintParams<UltraCircuitBuilder, BigQuadConstraint, 3, 3, true, false>, ArithmeticConstraintParams<UltraCircuitBuilder, BigQuadConstraint, 1, 4, false, true>, ArithmeticConstraintParams<UltraCircuitBuilder, BigQuadConstraint, 5, 5, true, true>, ArithmeticConstraintParams<UltraCircuitBuilder, BigQuadConstraint, 0, 6, false, true>, ArithmeticConstraintParams<MegaCircuitBuilder, BigQuadConstraint, 1, 3, false, false>, ArithmeticConstraintParams<MegaCircuitBuilder, BigQuadConstraint, 0, 5, false, false>, ArithmeticConstraintParams<MegaCircuitBuilder, BigQuadConstraint, 2, 0, false, false>, ArithmeticConstraintParams<MegaCircuitBuilder, BigQuadConstraint, 3, 3, true, false>, ArithmeticConstraintParams<MegaCircuitBuilder, BigQuadConstraint, 1, 4, false, true>, ArithmeticConstraintParams<MegaCircuitBuilder, BigQuadConstraint, 5, 5, true, true>, ArithmeticConstraintParams<MegaCircuitBuilder, BigQuadConstraint, 0, 6, false, true> >

Definition at line 287 of file arithmetic_constraints.test.cpp.

QuadConstraintConfigs

using QuadConstraintConfigs = testing::Types< ArithmeticConstraintParams<UltraCircuitBuilder, QuadConstraint, 1, 0, false, false>, ArithmeticConstraintParams<UltraCircuitBuilder, QuadConstraint, 1, 1, false, false>, ArithmeticConstraintParams<UltraCircuitBuilder, QuadConstraint, 1, 2, false, false>, ArithmeticConstraintParams<UltraCircuitBuilder, QuadConstraint, 1, 3, false, true>, ArithmeticConstraintParams<UltraCircuitBuilder, QuadConstraint, 1, 4, true, true>, ArithmeticConstraintParams<UltraCircuitBuilder, QuadConstraint, 0, 4, false, false>, ArithmeticConstraintParams<UltraCircuitBuilder, QuadConstraint, 0, 4, false, true>, ArithmeticConstraintParams<MegaCircuitBuilder, QuadConstraint, 1, 0, false, false>, ArithmeticConstraintParams<MegaCircuitBuilder, QuadConstraint, 1, 1, false, false>, ArithmeticConstraintParams<MegaCircuitBuilder, QuadConstraint, 1, 2, false, false>, ArithmeticConstraintParams<MegaCircuitBuilder, QuadConstraint, 1, 3, false, true>, ArithmeticConstraintParams<MegaCircuitBuilder, QuadConstraint, 1, 4, true, true>, ArithmeticConstraintParams<MegaCircuitBuilder, QuadConstraint, 0, 4, false, false>, ArithmeticConstraintParams<MegaCircuitBuilder, QuadConstraint, 0, 5, false, true> >

Definition at line 336 of file arithmetic_constraints.test.cpp.

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	BigQuadConstraintTest	,
		GenerateVKFromConstraints
	)

Definition at line 311 of file arithmetic_constraints.test.cpp.

TYPED_TEST() [2/4]

TYPED_TEST	(	BigQuadConstraintTest	,
		Tampering
	)

Definition at line 318 of file arithmetic_constraints.test.cpp.

TYPED_TEST() [3/4]

TYPED_TEST	(	QuadConstraintTest	,
		GenerateVKFromConstraints
	)

Definition at line 354 of file arithmetic_constraints.test.cpp.

TYPED_TEST() [4/4]

TYPED_TEST	(	QuadConstraintTest	,
		Tampering
	)

Definition at line 361 of file arithmetic_constraints.test.cpp.

TYPED_TEST_SUITE() [1/2]

TYPED_TEST_SUITE	(	BigQuadConstraintTest	,
		BigQuadConstraintConfigs
	)

TYPED_TEST_SUITE() [2/2]

TYPED_TEST_SUITE	(	QuadConstraintTest	,
		QuadConstraintConfigs
	)