dummy.hpp

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 }
// =====================
 
#pragma once
#include "barretenberg/common/assert.hpp"
#include "types.hpp"
 
namespace bb::plookup::dummy_tables {
 
template <uint64_t id> inline std::array<bb::fr, 2> get_value_from_key(const std::array<uint64_t, 2> key)
{
    return { key[0] * 3 + key[1] * 4 + id * 0x1337ULL, 0ULL };
}
 
template <uint64_t table_id>
inline BasicTable generate_honk_dummy_table(const BasicTableId id, const size_t table_index)
{
 
    // We do the assertion, since this function is templated, but the general API for these functions contains the id,
    // too. This helps us ensure that the correct instantion is used for a particular BasicTableId
    BB_ASSERT_EQ(table_id, static_cast<uint64_t>(id));
    const size_t base = 1 << 1; // Probably has to be a power of 2
    BasicTable table;
    table.id = id;
    table.table_index = table_index;
    table.use_twin_keys = true;
    for (uint64_t i = 0; i < base; ++i) {
        for (uint64_t j = 0; j < base; ++j) {
            table.column_1.emplace_back(i);
            table.column_2.emplace_back(j);
            table.column_3.emplace_back(i * 3 + j * 4 + static_cast<uint64_t>(id) * 0x1337ULL);
        }
    }
 
    table.get_values_from_key = &get_value_from_key<table_id>;
 
    table.column_1_step_size = base;
    table.column_2_step_size = base;
    table.column_3_step_size = base;
 
    return table;
}
inline MultiTable get_honk_dummy_multitable()
{
    const MultiTableId id = HONK_DUMMY_MULTI;
    const size_t number_of_elements_in_argument = 1 << 1; // Probably has to be a power of 2
    const size_t number_of_lookups = 2;
    MultiTable table(number_of_elements_in_argument,
                     number_of_elements_in_argument,
                     number_of_elements_in_argument,
                     number_of_lookups);
    table.id = id;
    table.slice_sizes.emplace_back(number_of_elements_in_argument);
    table.basic_table_ids.emplace_back(HONK_DUMMY_BASIC1);
    table.get_table_values.emplace_back(&get_value_from_key<HONK_DUMMY_BASIC1>);
    table.slice_sizes.emplace_back(number_of_elements_in_argument);
    table.basic_table_ids.emplace_back(HONK_DUMMY_BASIC2);
    table.get_table_values.emplace_back(&get_value_from_key<HONK_DUMMY_BASIC2>);
    return table;
}
} // namespace bb::plookup::dummy_tables