arithmetic_constraints.test.cpp File Reference

#include "arithmetic_constraints.hpp"
#include "acir_format.hpp"
#include "barretenberg/circuit_checker/circuit_checker.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 <algorithm>
#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 >
class	BilinearConstraintTestingFunctions< num_bilinear >
class	BilinearConstraintTestingFunctions< num_bilinear >::InvalidWitness
class	BilinearConstraintTest< Params >
class	BatchedEqCheckConstraintTestingFunctions< num_batched_eq >
class	BatchedEqCheckConstraintTestingFunctions< num_batched_eq >::InvalidWitness
class	BatchedEqCheckConstraintTest< Params >

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, 5, 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 >
using	BilinearConfigs = testing::Types< std::integral_constant< size_t, 1 >, std::integral_constant< size_t, 2 >, std::integral_constant< size_t, 3 >, std::integral_constant< size_t, 5 > >
using	BatchedEqConfigs = testing::Types< std::integral_constant< size_t, 1 >, std::integral_constant< size_t, 2 >, std::integral_constant< size_t, 3 >, std::integral_constant< size_t, 4 >, std::integral_constant< size_t, 5 >, std::integral_constant< size_t, 7 > >

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)
	TEST (AssertZeroConstraintTest, UnsatisfiableCircuitWithNonZeroConstantOnly)
	TEST (AssertZeroConstraintTest, SatisfiableCircuitWithZeroConstantOnly)
	TYPED_TEST_SUITE (BilinearConstraintTest, BilinearConfigs)
	TYPED_TEST (BilinearConstraintTest, GenerateVKFromConstraints)
	TYPED_TEST (BilinearConstraintTest, Tampering)
	TYPED_TEST_SUITE (BatchedEqCheckConstraintTest, BatchedEqConfigs)
	TYPED_TEST (BatchedEqCheckConstraintTest, GenerateVKFromConstraints)
	TYPED_TEST (BatchedEqCheckConstraintTest, Tampering)

Typedef Documentation

BatchedEqConfigs

using BatchedEqConfigs = testing::Types<std::integral_constant<size_t, 1>, std::integral_constant<size_t, 2>, std::integral_constant<size_t, 3>, std::integral_constant<size_t, 4>, std::integral_constant<size_t, 5>, std::integral_constant<size_t, 7> >

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

BilinearConfigs

using BilinearConfigs = testing::Types<std::integral_constant<size_t, 1>, std::integral_constant<size_t, 2>, std::integral_constant<size_t, 3>, std::integral_constant<size_t, 5> >

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

BuilderTypes

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

Definition at line 372 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, 5, 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 340 of file arithmetic_constraints.test.cpp.

Function Documentation

TEST() [1/2]

TEST	(	AssertZeroConstraintTest	,
		SatisfiableCircuitWithZeroConstantOnly
	)

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

TEST() [2/2]

TEST	(	AssertZeroConstraintTest	,
		UnsatisfiableCircuitWithNonZeroConstantOnly
	)

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

TYPED_TEST() [1/9]

TYPED_TEST	(	BatchedEqCheckConstraintTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [2/9]

TYPED_TEST	(	BatchedEqCheckConstraintTest	,
		Tampering
	)

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

TYPED_TEST() [3/9]

TYPED_TEST	(	BigQuadConstraintTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [4/9]

TYPED_TEST	(	BigQuadConstraintTest	,
		Tampering
	)

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

TYPED_TEST() [5/9]

TYPED_TEST	(	BigQuadOpcodeGateCountTest	,
		OpcodeGateCount
	)

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

TYPED_TEST() [6/9]

TYPED_TEST	(	BilinearConstraintTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [7/9]

TYPED_TEST	(	BilinearConstraintTest	,
		Tampering
	)

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

TYPED_TEST() [8/9]

TYPED_TEST	(	QuadConstraintTest	,
		GenerateVKFromConstraints
	)

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

TYPED_TEST() [9/9]

TYPED_TEST	(	QuadConstraintTest	,
		Tampering
	)

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

TYPED_TEST_SUITE() [1/5]

TYPED_TEST_SUITE	(	BatchedEqCheckConstraintTest	,
		BatchedEqConfigs
	)

TYPED_TEST_SUITE() [2/5]

TYPED_TEST_SUITE	(	BigQuadConstraintTest	,
		BigQuadConstraintConfigs
	)

TYPED_TEST_SUITE() [3/5]

TYPED_TEST_SUITE	(	BigQuadOpcodeGateCountTest	,
		BuilderTypes
	)

TYPED_TEST_SUITE() [4/5]

TYPED_TEST_SUITE	(	BilinearConstraintTest	,
		BilinearConfigs
	)

TYPED_TEST_SUITE() [5/5]

TYPED_TEST_SUITE	(	QuadConstraintTest	,
		QuadConstraintConfigs
	)