plookup.test.cpp File Reference

#include "plookup.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/bitop/rotate.hpp"
#include "barretenberg/numeric/bitop/sparse_form.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
#include "barretenberg/stdlib/primitives/biggroup/biggroup.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"
#include <gtest/gtest.h>

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	plookup_read = stdlib::plookup_read< Builder >

Functions
	TEST (PlookupTests, uint32_xor)
	TEST (PlookupTests, blake2s_xor_rotate_16)
	TEST (PlookupTests, blake2s_xor_rotate_8)
	TEST (PlookupTests, blake2s_xor_rotate_7)
	TEST (PlookupTests, blake2s_xor)
	TEST (PlookupTests, uint32_and)
	TEST (PlookupTests, secp256k1_generator)
	TEST (PlookupTests, ConstantInputsConstantOutputs)
	TEST (PlookupTests, VariableInputsVariableOutputs)
	TEST (PlookupTests, MixedConstantVariableInputs)
	TEST (PlookupTests, Secp256k1GeneratorSliceSizeBound)
	TEST (PlookupTests, Secp256r1FixedBaseSliceSizeBound)
	TEST (PlookupTests, Sha256InputMultiTablesMatchBasicTableSizes)
	Invariant check for SHA-256 input multitables: basic-table sizes match declared slice_sizes.

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

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

field_ct

using field_ct = stdlib::field_t<Builder>

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

plookup_read

using plookup_read = stdlib::plookup_read<Builder>

Definition at line 19 of file plookup.test.cpp.

witness_ct

using witness_ct = stdlib::witness_t<Builder>

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

Function Documentation

TEST() [1/13]

TEST	(	PlookupTests	,
		blake2s_xor
	)

Definition at line 253 of file plookup.test.cpp.

TEST() [2/13]

TEST	(	PlookupTests	,
		blake2s_xor_rotate_16
	)

Definition at line 68 of file plookup.test.cpp.

TEST() [3/13]

TEST	(	PlookupTests	,
		blake2s_xor_rotate_7
	)

Definition at line 195 of file plookup.test.cpp.

TEST() [4/13]

TEST	(	PlookupTests	,
		blake2s_xor_rotate_8
	)

Definition at line 137 of file plookup.test.cpp.

TEST() [5/13]

TEST	(	PlookupTests	,
		ConstantInputsConstantOutputs
	)

Definition at line 460 of file plookup.test.cpp.

TEST() [6/13]

TEST	(	PlookupTests	,
		MixedConstantVariableInputs
	)

Definition at line 504 of file plookup.test.cpp.

TEST() [7/13]

TEST	(	PlookupTests	,
		secp256k1_generator
	)

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

TEST() [8/13]

TEST	(	PlookupTests	,
		Secp256k1GeneratorSliceSizeBound
	)

Definition at line 530 of file plookup.test.cpp.

TEST() [9/13]

TEST	(	PlookupTests	,
		Secp256r1FixedBaseSliceSizeBound
	)

Definition at line 550 of file plookup.test.cpp.

TEST() [10/13]

TEST	(	PlookupTests	,
		Sha256InputMultiTablesMatchBasicTableSizes
	)

Invariant check for SHA-256 input multitables: basic-table sizes match declared slice_sizes.

Each SHA-256 input multitable (MAJ_INPUT, CH_INPUT, WITNESS_INPUT) is a 1-to-1 decomposition lookup: each slot reads a single key in [0, slice_sizes[slot]) and the backing basic table is generated by iterating i = 0 .. 2^bits_per_slice. Soundness requires basic.size() == slice_sizes[slot]; a larger basic table admits keys outside the declared range and lets a prover witness an out-of-range slice.

Definition at line 613 of file plookup.test.cpp.

TEST() [11/13]

TEST	(	PlookupTests	,
		uint32_and
	)

Definition at line 316 of file plookup.test.cpp.

TEST() [12/13]

TEST	(	PlookupTests	,
		uint32_xor
	)

Definition at line 24 of file plookup.test.cpp.

TEST() [13/13]

TEST	(	PlookupTests	,
		VariableInputsVariableOutputs
	)

Definition at line 481 of file plookup.test.cpp.