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, 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/4]

TEST	(	Databus	,
		BadCopyFailure
	)

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

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

TEST() [2/4]

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 86 of file databus.test.cpp.

TEST() [3/4]

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

TEST	(	Databus	,
		DuplicateRead
	)

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

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