ultra_circuit.test.cpp File Reference

#include <fstream>
#include <iostream>
#include <string>
#include "barretenberg/common/mem.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/crypto/pedersen_commitment/pedersen.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib/primitives/group/cycle_group.hpp"
#include "barretenberg/stdlib/primitives/logic/logic.hpp"
#include "barretenberg/stdlib/primitives/memory/ram_table.hpp"
#include "barretenberg/stdlib/primitives/memory/rom_table.hpp"
#include "barretenberg/smt_verification/circuit/ultra_circuit.hpp"
#include "barretenberg/smt_verification/util/smt_util.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	witness_t = stdlib::witness_t< UltraCircuitBuilder >
using	pub_witness_t = stdlib::public_witness_t< UltraCircuitBuilder >
using	field_t = stdlib::field_t< UltraCircuitBuilder >
using	bigfield_t = bb::stdlib::bigfield< Builder, bb::Bn254FqParams >
using	rom_table_t = bb::stdlib::rom_table< Builder >
using	ram_table_t = bb::stdlib::ram_table< Builder >
using	cycle_group_t = bb::stdlib::cycle_group< Builder >

Functions
	TEST (UltraCircuitSMT, AssertEqual)
	TEST (UltraCircuitSMT, ArithmeticRelation)
	TEST (UltraCircuitSMT, EllipticRelationADD)
	TEST (UltraCircuitSMT, EllipticRelationDBL)
	TEST (UltraCircuitSMT, OptimizedDeltaRangeRelation)
	TEST (UltraCircuitSMT, LookupRelation1)
	TEST (UltraCircuitSMT, LookupRelation2)
	TEST (UltraCircuitSMT, ROMTables)
	TEST (UltraCircuitSMT, ROMTablesRelaxed)
	TEST (UltraCircuitSMT, RAMTables)
	TEST (UltraCircuitSMT, RAMTablesRelaxed)
	TEST (UltraCircuitSMT, XorOptimization)
	TEST (UltraCircuitSMT, AndOptimization)

Typedef Documentation

bigfield_t

using bigfield_t = bb::stdlib::bigfield<Builder, bb::Bn254FqParams>

Definition at line 34 of file ultra_circuit.test.cpp.

Builder

using Builder = UltraCircuitBuilder

Definition at line 28 of file ultra_circuit.test.cpp.

cycle_group_t

using cycle_group_t = bb::stdlib::cycle_group<Builder>

Definition at line 37 of file ultra_circuit.test.cpp.

field_t

using field_t = stdlib::field_t<UltraCircuitBuilder>

Definition at line 33 of file ultra_circuit.test.cpp.

pub_witness_t

using pub_witness_t = stdlib::public_witness_t<UltraCircuitBuilder>

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

ram_table_t

using ram_table_t = bb::stdlib::ram_table<Builder>

Definition at line 36 of file ultra_circuit.test.cpp.

rom_table_t

using rom_table_t = bb::stdlib::rom_table<Builder>

Definition at line 35 of file ultra_circuit.test.cpp.

witness_t

using witness_t = stdlib::witness_t<UltraCircuitBuilder>

Definition at line 30 of file ultra_circuit.test.cpp.

Function Documentation

TEST() [1/13]

TEST	(	UltraCircuitSMT	,
		AndOptimization
	)

Definition at line 491 of file ultra_circuit.test.cpp.

TEST() [2/13]

TEST	(	UltraCircuitSMT	,
		ArithmeticRelation
	)

Definition at line 78 of file ultra_circuit.test.cpp.

TEST() [3/13]

TEST	(	UltraCircuitSMT	,
		AssertEqual
	)

Definition at line 39 of file ultra_circuit.test.cpp.

TEST() [4/13]

TEST	(	UltraCircuitSMT	,
		EllipticRelationADD
	)

Definition at line 105 of file ultra_circuit.test.cpp.

TEST() [5/13]

TEST	(	UltraCircuitSMT	,
		EllipticRelationDBL
	)

Definition at line 151 of file ultra_circuit.test.cpp.

TEST() [6/13]

TEST	(	UltraCircuitSMT	,
		LookupRelation1
	)

Definition at line 214 of file ultra_circuit.test.cpp.

TEST() [7/13]

TEST	(	UltraCircuitSMT	,
		LookupRelation2
	)

Definition at line 239 of file ultra_circuit.test.cpp.

TEST() [8/13]

TEST	(	UltraCircuitSMT	,
		OptimizedDeltaRangeRelation
	)

Definition at line 193 of file ultra_circuit.test.cpp.

TEST() [9/13]

TEST	(	UltraCircuitSMT	,
		RAMTables
	)

Definition at line 376 of file ultra_circuit.test.cpp.

TEST() [10/13]

TEST	(	UltraCircuitSMT	,
		RAMTablesRelaxed
	)

Definition at line 418 of file ultra_circuit.test.cpp.

TEST() [11/13]

TEST	(	UltraCircuitSMT	,
		ROMTables
	)

Definition at line 293 of file ultra_circuit.test.cpp.

TEST() [12/13]

TEST	(	UltraCircuitSMT	,
		ROMTablesRelaxed
	)

Definition at line 334 of file ultra_circuit.test.cpp.

TEST() [13/13]

TEST	(	UltraCircuitSMT	,
		XorOptimization
	)

Definition at line 461 of file ultra_circuit.test.cpp.