block_constraint.cpp File Reference

#include "block_constraint.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/stdlib/primitives/databus/databus.hpp"
#include "barretenberg/stdlib/primitives/memory/ram_table.hpp"
#include "barretenberg/stdlib/primitives/memory/rom_table.hpp"

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
template<>
void	acir_format::create_block_constraints (UltraCircuitBuilder &builder, const BlockConstraint &constraint)
	Create block constraints; Specialization for Ultra arithmetization.
template<>
void	acir_format::create_block_constraints (MegaCircuitBuilder &builder, const BlockConstraint &constraint)
	Create block constraints; Specialization for Mega arithmetization.
template<typename Builder >
void	acir_format::process_ROM_operations (Builder &builder, const BlockConstraint &constraint, std::vector< bb::stdlib::field_t< Builder > > &init)
template<typename Builder >
void	acir_format::process_RAM_operations (Builder &builder, const BlockConstraint &constraint, std::vector< bb::stdlib::field_t< Builder > > &init)
template<typename Builder >
void	acir_format::process_call_data_operations (Builder &builder, const BlockConstraint &constraint, std::vector< bb::stdlib::field_t< Builder > > &init)
template<typename Builder >
void	acir_format::process_return_data_operations (Builder &builder, const BlockConstraint &constraint, std::vector< bb::stdlib::field_t< Builder > > &init)