arithmetic_constraints.test.cpp File Reference

#include "arithmetic_constraints.hpp"
#include "acir_format.hpp"
#include "acir_format_mocks.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	BigQuadConstraint = std::vector< mul_quad_< bb::fr > >
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	QuadConstraint = mul_quad_< bb::fr >
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

BigQuadConstraint

using BigQuadConstraint = std::vector<mul_quad_<bb::fr> >

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

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 284 of file arithmetic_constraints.test.cpp.

QuadConstraint

using QuadConstraint = mul_quad_<bb::fr>

Definition at line 333 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 334 of file arithmetic_constraints.test.cpp.

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	BigQuadConstraintTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [2/4]

TYPED_TEST	(	BigQuadConstraintTest	,
		Tampering
	)

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

TYPED_TEST() [3/4]

TYPED_TEST	(	QuadConstraintTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [4/4]

TYPED_TEST	(	QuadConstraintTest	,
		Tampering
	)

Definition at line 359 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
	)