twin_rom_table.test.cpp File Reference

#include <array>
#include <gtest/gtest.h>
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include "twin_rom_table.hpp"

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	field_ct = stdlib::field_t< Builder >
using	witness_ct = stdlib::witness_t< Builder >
using	twin_rom_table_ct = stdlib::twin_rom_table< Builder >
using	field_pair_ct = std::array< field_ct, 2 >

Functions
STANDARD_TESTING_TAGS	TEST (TwinRomTable, TagCorrectness)
	Check the correctness of tag propagation within the twin rom tables.
	TEST (TwinRomTable, ReadWriteConsistency)
	Check the consistency of read-write operations in the TwinRomTable.

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

Definition at line 14 of file twin_rom_table.test.cpp.

field_ct

using field_ct = stdlib::field_t<Builder>

Definition at line 15 of file twin_rom_table.test.cpp.

field_pair_ct

using field_pair_ct = std::array<field_ct, 2>

Definition at line 18 of file twin_rom_table.test.cpp.

twin_rom_table_ct

using twin_rom_table_ct = stdlib::twin_rom_table<Builder>

Definition at line 17 of file twin_rom_table.test.cpp.

witness_ct

using witness_ct = stdlib::witness_t<Builder>

Definition at line 16 of file twin_rom_table.test.cpp.

Function Documentation

TEST() [1/2]

TEST	(	TwinRomTable	,
		ReadWriteConsistency
	)

Check the consistency of read-write operations in the TwinRomTable.

Definition at line 74 of file twin_rom_table.test.cpp.

TEST() [2/2]

STANDARD_TESTING_TAGS TEST	(	TwinRomTable	,
		TagCorrectness
	)

Check the correctness of tag propagation within the twin rom tables.

Definition at line 29 of file twin_rom_table.test.cpp.