acir_format::BlockConstraint Struct Reference

Struct holding the data required to add memory constraints to a circuit. More...

#include <block_constraint.hpp>

Public Attributes
std::vector< uint32_t >	init
std::vector< MemOp >	trace
BlockType	type
CallDataType	calldata_id

Detailed Description

Struct holding the data required to add memory constraints to a circuit.

1. init holds the initial values of the RAM/ROM/CallData/ReturnData table
   1. trace holds the sequence of memory operations (reads/writes) performed on the table
   2. type indicates the type of memory being constrained (RAM/ROM/CallData/ReturnData)
   3. calldata_id (used only for CallData) indicates whether we are operating on primary (kernel) or secondary (app) calldata

Definition at line 52 of file block_constraint.hpp.

Member Data Documentation

calldata_id

CallDataType acir_format::BlockConstraint::calldata_id

Definition at line 56 of file block_constraint.hpp.

init

std::vector<uint32_t> acir_format::BlockConstraint::init

Definition at line 53 of file block_constraint.hpp.

trace

std::vector<MemOp> acir_format::BlockConstraint::trace

Definition at line 54 of file block_constraint.hpp.

type

BlockType acir_format::BlockConstraint::type

Definition at line 55 of file block_constraint.hpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/dsl/acir_format/block_constraint.hpp