databus.test.cpp File Reference

#include <gtest/gtest.h>
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/numeric/random/engine.hpp"
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
#include "databus.hpp"

Go to the source code of this file.

Typedefs
using	Builder = MegaCircuitBuilder
using	field_ct = stdlib::field_t< Builder >
using	witness_ct = stdlib::witness_t< Builder >
using	databus_ct = stdlib::databus< Builder >

Functions
	TEST (Databus, CallDataAndReturnData)
	An expository test demonstrating the functionality of the databus in a small but representative use case.
	TEST (Databus, ConstantEntryAccess)
	An expository test demonstrating the functionality of the databus in a small use case when the entries are constant witnesses.
	TEST (Databus, UnnormalizedEntryAccess)
	An expository test demonstrating the functionality of the databus in a small use case when the entries of the bus_vector are not normalized.
	TEST (Databus, ConstantAndUnnormalizedIndices)
	An expository test demonstrating the functionality of the databus in a small use case where the indices are constant and/or unnormalized.
	TEST (Databus, BadReadFailure)
	A failure test demonstrating that trying to prove (via a databus read) that an erroneous value is present in the databus will result in an invalid witness.
	TEST (Databus, BadCopyFailure)
	A failure test demonstrating that a bad input-output 'copy' will lead to an invalid witness.
	TEST (Databus, DuplicateRead)
	Check that multiple reads from the same index results in a valid circuit.

Typedef Documentation

Builder

using Builder = MegaCircuitBuilder

Definition at line 11 of file databus.test.cpp.

databus_ct

using databus_ct = stdlib::databus<Builder>

Definition at line 14 of file databus.test.cpp.

field_ct

using field_ct = stdlib::field_t<Builder>

Definition at line 12 of file databus.test.cpp.

witness_ct

using witness_ct = stdlib::witness_t<Builder>

Definition at line 13 of file databus.test.cpp.

Function Documentation

TEST() [1/7]

TEST	(	Databus	,
		BadCopyFailure
	)

A failure test demonstrating that a bad input-output 'copy' will lead to an invalid witness.

Definition at line 214 of file databus.test.cpp.

TEST() [2/7]

TEST	(	Databus	,
		BadReadFailure
	)

A failure test demonstrating that trying to prove (via a databus read) that an erroneous value is present in the databus will result in an invalid witness.

Definition at line 181 of file databus.test.cpp.

TEST() [3/7]

TEST	(	Databus	,
		CallDataAndReturnData
	)

An expository test demonstrating the functionality of the databus in a small but representative use case.

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

TEST() [4/7]

TEST	(	Databus	,
		ConstantAndUnnormalizedIndices
	)

An expository test demonstrating the functionality of the databus in a small use case where the indices are constant and/or unnormalized.

Definition at line 142 of file databus.test.cpp.

TEST() [5/7]

TEST	(	Databus	,
		ConstantEntryAccess
	)

An expository test demonstrating the functionality of the databus in a small use case when the entries are constant witnesses.

Definition at line 85 of file databus.test.cpp.

TEST() [6/7]

TEST	(	Databus	,
		DuplicateRead
	)

Check that multiple reads from the same index results in a valid circuit.

Definition at line 240 of file databus.test.cpp.

TEST() [7/7]

TEST	(	Databus	,
		UnnormalizedEntryAccess
	)

An expository test demonstrating the functionality of the databus in a small use case when the entries of the bus_vector are not normalized.

Definition at line 110 of file databus.test.cpp.