straus_lookup_table.test.cpp File Reference

#include "barretenberg/stdlib/primitives/group/straus_lookup_table.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/group/cycle_group.hpp"
#include "barretenberg/stdlib/primitives/test_utils.hpp"
#include "barretenberg/stdlib/primitives/witness/witness.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	StrausLookupTableTest< Builder >

Typedefs
using	CircuitTypes = ::testing::Types< bb::UltraCircuitBuilder, bb::MegaCircuitBuilder >

Functions
	TYPED_TEST_SUITE (StrausLookupTableTest, CircuitTypes)
	TYPED_TEST (StrausLookupTableTest, TestTableConstuction)
	Test table construction.
	TYPED_TEST (StrausLookupTableTest, TestTableRead)
	Test reading from lookup table.
	TYPED_TEST (StrausLookupTableTest, TestWithProvidedHints)
	Test with provided hints.
	TYPED_TEST (StrausLookupTableTest, TestInfinityBasePoint)
	Test with point at infinity as base point.

Typedef Documentation

CircuitTypes

using CircuitTypes = ::testing::Types<bb::UltraCircuitBuilder, bb::MegaCircuitBuilder>

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

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	StrausLookupTableTest	,
		TestInfinityBasePoint
	)

Test with point at infinity as base point.

Definition at line 163 of file straus_lookup_table.test.cpp.

TYPED_TEST() [2/4]

TYPED_TEST	(	StrausLookupTableTest	,
		TestTableConstuction
	)

Test table construction.

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

TYPED_TEST() [3/4]

TYPED_TEST	(	StrausLookupTableTest	,
		TestTableRead
	)

Test reading from lookup table.

Definition at line 67 of file straus_lookup_table.test.cpp.

TYPED_TEST() [4/4]

TYPED_TEST	(	StrausLookupTableTest	,
		TestWithProvidedHints
	)

Test with provided hints.

Definition at line 111 of file straus_lookup_table.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	StrausLookupTableTest	,
		CircuitTypes
	)