acir_format_mocks.cpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#include "acir_format.hpp"
 
acir_format::AcirFormatOriginalOpcodeIndices create_empty_original_opcode_indices()
{
    return acir_format::AcirFormatOriginalOpcodeIndices{
        .logic_constraints = {},
        .range_constraints = {},
        .aes128_constraints = {},
        .sha256_compression = {},
        .ecdsa_k1_constraints = {},
        .ecdsa_r1_constraints = {},
        .blake2s_constraints = {},
        .blake3_constraints = {},
        .keccak_permutations = {},
        .poseidon2_constraints = {},
        .multi_scalar_mul_constraints = {},
        .ec_add_constraints = {},
        .honk_recursion_constraints = {},
        .avm_recursion_constraints = {},
        .hn_recursion_constraints = {},
        .chonk_recursion_constraints = {},
        .arithmetic_triple_constraints = {},
        .quad_constraints = {},
        .big_quad_constraints = {},
        .block_constraints = {},
    };
}
 
void mock_opcode_indices(acir_format::AcirFormat& constraint_system)
{
    size_t current_opcode = 0;
    for (size_t i = 0; i < constraint_system.logic_constraints.size(); i++) {
        constraint_system.original_opcode_indices.logic_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.range_constraints.size(); i++) {
        constraint_system.original_opcode_indices.range_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.aes128_constraints.size(); i++) {
        constraint_system.original_opcode_indices.aes128_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.sha256_compression.size(); i++) {
        constraint_system.original_opcode_indices.sha256_compression.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.ecdsa_k1_constraints.size(); i++) {
        constraint_system.original_opcode_indices.ecdsa_k1_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.ecdsa_r1_constraints.size(); i++) {
        constraint_system.original_opcode_indices.ecdsa_r1_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.blake2s_constraints.size(); i++) {
        constraint_system.original_opcode_indices.blake2s_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.blake3_constraints.size(); i++) {
        constraint_system.original_opcode_indices.blake3_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.keccak_permutations.size(); i++) {
        constraint_system.original_opcode_indices.keccak_permutations.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.poseidon2_constraints.size(); i++) {
        constraint_system.original_opcode_indices.poseidon2_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.multi_scalar_mul_constraints.size(); i++) {
        constraint_system.original_opcode_indices.multi_scalar_mul_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.ec_add_constraints.size(); i++) {
        constraint_system.original_opcode_indices.ec_add_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.honk_recursion_constraints.size(); i++) {
        constraint_system.original_opcode_indices.honk_recursion_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.avm_recursion_constraints.size(); i++) {
        constraint_system.original_opcode_indices.avm_recursion_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.hn_recursion_constraints.size(); i++) {
        constraint_system.original_opcode_indices.hn_recursion_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.chonk_recursion_constraints.size(); i++) {
        constraint_system.original_opcode_indices.chonk_recursion_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.quad_constraints.size(); i++) {
        constraint_system.original_opcode_indices.quad_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.big_quad_constraints.size(); i++) {
        constraint_system.original_opcode_indices.big_quad_constraints.push_back(current_opcode++);
    }
    for (size_t i = 0; i < constraint_system.block_constraints.size(); i++) {
        std::vector<size_t> block_indices;
        for (size_t j = 0; j < constraint_system.block_constraints[i].trace.size(); j++) {
            block_indices.push_back(current_opcode++);
        }
        constraint_system.original_opcode_indices.block_constraints.push_back(block_indices);
    }
 
    constraint_system.num_acir_opcodes = static_cast<uint32_t>(current_opcode);
}