composer_lib.test.cpp File Reference

#include "barretenberg/honk/composer/composer_lib.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/honk/composer/permutation_lib.hpp"
#include "barretenberg/srs/factories/crs_factory.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/ultra_honk/ultra_honk.test.hpp"
#include <array>
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	ComposerLibTests

Functions
	TEST_F (ComposerLibTests, LookupReadCounts)
	A test to demonstrate that lookup read counts/tags are computed correctly for a simple 'hand-computable' case using the uint32 XOR table.
	TEST_F (ComposerLibTests, TagCollisionFailure)
	Test that that if two distinct elements are given tags that are related by a transposition in tau, then the circuit fails.

Function Documentation

TEST_F() [1/2]

TEST_F	(	ComposerLibTests	,
		LookupReadCounts
	)

A test to demonstrate that lookup read counts/tags are computed correctly for a simple 'hand-computable' case using the uint32 XOR table.

Definition at line 25 of file composer_lib.test.cpp.

TEST_F() [2/2]

TEST_F	(	ComposerLibTests	,
		TagCollisionFailure
	)

Test that that if two distinct elements are given tags that are related by a transposition in tau, then the circuit fails.

Definition at line 81 of file composer_lib.test.cpp.