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.
	TYPED_TEST (StrausLookupTableTest, ZeroIndexTable)

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/5]

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/5]

TYPED_TEST	(	StrausLookupTableTest	,
		TestTableConstuction
	)

Test table construction.

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

TYPED_TEST() [3/5]

TYPED_TEST	(	StrausLookupTableTest	,
		TestTableRead
	)

Test reading from lookup table.

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

TYPED_TEST() [4/5]

TYPED_TEST	(	StrausLookupTableTest	,
		TestWithProvidedHints
	)

Test with provided hints.

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

TYPED_TEST() [5/5]

TYPED_TEST	(	StrausLookupTableTest	,
		ZeroIndexTable
	)

When table_index = 0 and all the wires contributing to the lookup term are zero, the batched denominator term in the log derivative lookup relation is equal to gamma (it is independent of beta), and a malicious prover could inject a fake row anywhere in the trace balancing the lookup. This test shows this bug is not possible anymore because tables are indexed from 1.

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	StrausLookupTableTest	,
		CircuitTypes
	)