ultra_circuit_builder.test.cpp File Reference

#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/crypto/pedersen_commitment/pedersen.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/stdlib_circuit_builders/plookup_tables/fixed_base/fixed_base.hpp"
#include <cstddef>
#include <gtest/gtest.h>

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Functions
	bb::TEST (UltraCircuitBuilder, CopyConstructor)
	bb::TEST (UltraCircuitBuilder, CreateGatesFromPlookupAccumulators)
	bb::TEST (UltraCircuitBuilder, BadLookupFailure)
	bb::TEST (UltraCircuitBuilder, BaseCase)
	bb::TEST (UltraCircuitBuilder, TestNoLookupProof)
	bb::TEST (UltraCircuitBuilder, TestEllipticGate)
	bb::TEST (UltraCircuitBuilder, TestEllipticGateFailure)
	bb::TEST (UltraCircuitBuilder, TestEllipticDoubleGate)
	bb::TEST (UltraCircuitBuilder, NonTrivialTagPermutation)
	bb::TEST (UltraCircuitBuilder, NonTrivialTagPermutationAndCycles)
	bb::TEST (UltraCircuitBuilder, BadTagPermutation)
	bb::TEST (UltraCircuitBuilder, SortWidget)
std::vector< uint32_t >	bb::add_variables (UltraCircuitBuilder &builder, std::vector< fr > variables)
	bb::TEST (UltraCircuitBuilder, SortWithEdgesGate)
	bb::TEST (UltraCircuitBuilder, RangeConstraint)
	bb::TEST (UltraCircuitBuilder, RangeWithGates)
	bb::TEST (UltraCircuitBuilder, RangeWithGatesWhereRangeIsNotAPowerOfTwo)
	bb::TEST (UltraCircuitBuilder, SortWidgetComplex)
	bb::TEST (UltraCircuitBuilder, SortWidgetNeg)
	bb::TEST (UltraCircuitBuilder, ComposedRangeConstraint)
	bb::TEST (UltraCircuitBuilder, NonNativeFieldMultiplication)
	bb::TEST (UltraCircuitBuilder, NonNativeFieldMultiplicationRegression)
	bb::TEST (UltraCircuitBuilder, NonNativeFieldMultiplicationSortCheck)
	Test that the nnf block only contains nnf gates.
	bb::TEST (UltraCircuitBuilder, Rom)
	bb::TEST (UltraCircuitBuilder, RamSimple)
	A simple-as-possible RAM read test, for easier debugging.
	bb::TEST (UltraCircuitBuilder, Ram)
	bb::TEST (UltraCircuitBuilder, RangeChecksOnDuplicates)
	bb::TEST (UltraCircuitBuilder, CheckCircuitShowcase)