block_constraint.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Raju], commit: 05a381f8b31ae4648e480f1369e911b148216e8b}
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include <cstdint>
#include <vector>
 
namespace acir_format {
 
enum AccessType : std::uint8_t {
    Read = 0,
    Write = 1,
};
 
enum CallDataType : std::uint8_t {
    None = 0,
    Primary = 1,
    Secondary = 2,
};
 
struct MemOp {
    AccessType access_type;
    WitnessOrConstant<bb::fr> index;
    WitnessOrConstant<bb::fr> value;
};
 
enum BlockType : std::uint8_t {
    ROM = 0,
    RAM = 1,
    CallData = 2,
    ReturnData = 3,
};
 
struct BlockConstraint {
    std::vector<uint32_t> init;
    std::vector<MemOp> trace;
    BlockType type;
    CallDataType calldata_id;
};
 
template <typename Builder> void create_block_constraints(Builder& builder, const BlockConstraint& constraint);
 
template <typename Builder>
void process_ROM_operations(Builder& builder,
                            const BlockConstraint& constraint,
                            std::vector<bb::stdlib::field_t<Builder>>& init);
template <typename Builder>
void process_RAM_operations(Builder& builder,
                            const BlockConstraint& constraint,
                            std::vector<bb::stdlib::field_t<Builder>>& init);
template <typename Builder>
void process_call_data_operations(Builder& builder,
                                  const BlockConstraint& constraint,
                                  std::vector<bb::stdlib::field_t<Builder>>& init);
template <typename Builder>
void process_return_data_operations(Builder& builder,
                                    const BlockConstraint& constraint,
                                    std::vector<bb::stdlib::field_t<Builder>>& init);
} // namespace acir_format