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/gate_count_constants.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_ >
class	BigQuadOpcodeGateCountTest< Builder >

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 > >
using	BuilderTypes = testing::Types< UltraCircuitBuilder, MegaCircuitBuilder >

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)
	TYPED_TEST_SUITE (BigQuadOpcodeGateCountTest, BuilderTypes)
	TYPED_TEST (BigQuadOpcodeGateCountTest, OpcodeGateCount)

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

BuilderTypes

using BuilderTypes = testing::Types<UltraCircuitBuilder, MegaCircuitBuilder>

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

Function Documentation

TYPED_TEST() [1/5]

TYPED_TEST	(	BigQuadConstraintTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [2/5]

TYPED_TEST	(	BigQuadConstraintTest	,
		Tampering
	)

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

TYPED_TEST() [3/5]

TYPED_TEST	(	BigQuadOpcodeGateCountTest	,
		OpcodeGateCount
	)

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

TYPED_TEST() [4/5]

TYPED_TEST	(	QuadConstraintTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [5/5]

TYPED_TEST	(	QuadConstraintTest	,
		Tampering
	)

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

TYPED_TEST_SUITE() [1/3]

TYPED_TEST_SUITE	(	BigQuadConstraintTest	,
		BigQuadConstraintConfigs
	)

TYPED_TEST_SUITE() [2/3]

TYPED_TEST_SUITE	(	BigQuadOpcodeGateCountTest	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [3/3]

TYPED_TEST_SUITE	(	QuadConstraintTest	,
		QuadConstraintConfigs
	)