test_class.hpp File Reference

#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_format_mocks.hpp"
#include "barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp"
#include "barretenberg/dsl/acir_format/serde/index.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "gtest/gtest.h"
#include <vector>

Go to the source code of this file.

Classes
class	acir_format::TestClass< Base >

Namespaces
namespace	acir_format

Concepts
concept	acir_format::TestBase
	Concept defining the requirements for the Base template parameter of TestClass.

Functions
Acir::FunctionInput	acir_format::witness_or_constant_to_function_input (const WitnessOrConstant< bb::fr > &input)
	Convert a WitnessOrConstant back to an Acir::FunctionInput.
Acir::FunctionInput	acir_format::witness_to_function_input (uint32_t witness_index)
	Convert a witness index to an Acir::FunctionInput (witness variant).
Acir::Expression	acir_format::witness_or_constant_to_expression (const WitnessOrConstant< bb::fr > &input)
	Convert a WitnessOrConstant to an Acir::Expression.
Acir::Expression	acir_format::access_type_to_expression (AccessType access_type)
	Convert an AccessType to an Acir::Expression representing the operation type.
Acir::MemOp	acir_format::mem_op_to_acir_mem_op (const MemOp &mem_op)
	Convert an acir_format::MemOp to an Acir::MemOp.
Acir::BlockType	acir_format::block_type_to_acir_block_type (BlockType type, CallDataType calldata_id)
	Convert an acir_format::BlockType to an Acir::BlockType.
std::vector< Acir::Opcode >	acir_format::block_constraint_to_acir_opcodes (const BlockConstraint &constraint, uint32_t block_id=0)
	Convert a BlockConstraint to a vector of Acir::Opcodes.
void	acir_format::add_terms_to_expression (Acir::Expression &expr, const mul_quad_< bb::fr > &mul_quad)
	Add terms for a mul_quad_ gate to an Acir::Expression.
template<typename ConstraintType >
std::vector< Acir::Opcode >	acir_format::constraint_to_acir_opcode (const ConstraintType &constraint)
	Convert a constraint to a vector of Acir::Opcodes.
Acir::Circuit	acir_format::build_acir_circuit (const std::vector< Acir::Opcode > &opcodes, uint32_t max_witness_index)
	Build an Acir::Circuit from opcodes and witness count.
template<typename ConstraintType >
AcirFormat	acir_format::constraint_to_acir_format (const ConstraintType &constraint, uint32_t varnum)
	Convert an AcirConstraint to AcirFormat by going through the full ACIR serde flow.