block_constraint.hpp File Reference

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

Go to the source code of this file.

Classes
struct	acir_format::MemOp
	Memory operation. index is the witness index of the memory location, and value is the witness index of the value to be read or written. More...
struct	acir_format::BlockConstraint
	Struct holding the data required to add memory constraints to a circuit. More...

Namespaces
namespace	acir_format

Enumerations
enum	acir_format::AccessType : std::uint8_t { acir_format::Read = 0 , acir_format::Write = 1 }
enum	acir_format::CallDataType : std::uint32_t {   acir_format::KernelCalldata = 0 , acir_format::FirstAppCalldata = 1 , acir_format::SecondAppCalldata = 2 , acir_format::ThirdAppCalldata = 3 ,   acir_format::None = bb::MAX_APPS_PER_KERNEL + 1 }
enum	acir_format::BlockType : std::uint8_t { 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)
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)