translator_circuit_builder.test.cpp File Reference

#include "translator_circuit_builder.hpp"
#include "barretenberg/circuit_checker/translator_circuit_checker.hpp"
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/op_queue/ecc_op_queue.hpp"
#include <array>
#include <cstddef>
#include <gtest/gtest.h>

Go to the source code of this file.

Typedefs
using	CircuitChecker = TranslatorCircuitChecker

Functions
	TEST (TranslatorCircuitBuilder, CircuitBuilderBaseCase)
	Check that a single accumulation gate is created correctly.
	TEST (TranslatorCircuitBuilder, SeveralOperationCorrectness)
	Check that the circuit can handle several accumulations.

Typedef Documentation

CircuitChecker

using CircuitChecker = TranslatorCircuitChecker

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

Function Documentation

TEST() [1/2]

TEST	(	TranslatorCircuitBuilder	,
		CircuitBuilderBaseCase
	)

Check that a single accumulation gate is created correctly.

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

TEST() [2/2]

TEST	(	TranslatorCircuitBuilder	,
		SeveralOperationCorrectness
	)

Check that the circuit can handle several accumulations.

Definition at line 77 of file translator_circuit_builder.test.cpp.