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<typename Builder >
stdlib::field_t< Builder >	acir_format::poly_to_field_ct (const poly_triple poly, Builder &builder)
template<>
void	acir_format::create_block_constraints (UltraCircuitBuilder &builder, const BlockConstraint &constraint, bool has_valid_witness_assignments)
	Create block constraints; Specialization for Ultra arithmetization.
template<>
void	acir_format::create_block_constraints (MegaCircuitBuilder &builder, const BlockConstraint &constraint, bool has_valid_witness_assignments)
	Create block constraints; Specialization for Mega arithmetization.
template<typename Builder >
void	acir_format::process_ROM_operations (Builder &builder, const BlockConstraint &constraint, bool has_valid_witness_assignments, std::vector< bb::stdlib::field_t< Builder > > &init)
template<typename Builder >
void	acir_format::process_RAM_operations (Builder &builder, const BlockConstraint &constraint, bool has_valid_witness_assignments, std::vector< bb::stdlib::field_t< Builder > > &init)
template<typename Builder >
void	acir_format::process_call_data_operations (Builder &builder, const BlockConstraint &constraint, bool has_valid_witness_assignments, std::vector< bb::stdlib::field_t< Builder > > &init)
template<typename Builder >
void	acir_format::process_return_data_operations (const BlockConstraint &constraint, std::vector< bb::stdlib::field_t< Builder > > &init)