block_constraint.hpp File Reference

#include "barretenberg/stdlib/primitives/field/field.hpp"
#include <cstdint>
#include <vector>

Go to the source code of this file.

Classes
struct	acir_format::MemOp
struct	acir_format::BlockConstraint

Namespaces
namespace	acir_format

Enumerations
enum	acir_format::BlockType { acir_format::ROM = 0 , acir_format::RAM = 1 , acir_format::CallData = 2 , acir_format::ReturnData = 3 }

Functions
template<typename Builder >
void	acir_format::create_block_constraints (Builder &builder, const BlockConstraint &constraint, bool has_valid_witness_assignments=true)
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)
template<typename B >
void	acir_format::read (B &buf, MemOp &mem_op)
template<typename B >
void	acir_format::write (B &buf, MemOp const &mem_op)
template<typename B >
void	acir_format::read (B &buf, BlockConstraint &constraint)
template<typename B >
void	acir_format::write (B &buf, BlockConstraint const &constraint)