ultra_verification_keys_comparator.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 }
// =====================
 
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/log.hpp"
#include <array>
#include <memory>
namespace bb {
 
template <typename OuterFlavor>
static void compare_ultra_blocks_and_verification_keys(
    std::array<typename OuterFlavor::CircuitBuilder::ExecutionTrace, 2> blocks,
    std::array<std::shared_ptr<typename OuterFlavor::VerificationKey>, 2> verification_keys)
{
 
    // Retrieves the trace blocks (each consisting of a specific gate) from the recursive verifier circuit
 
    bool broke(false);
    auto check_eq = [&broke](auto& p1, auto& p2, size_t block_idx, size_t selector_idx) {
        BB_ASSERT_EQ(p1.size(), p2.size());
        for (size_t idx = 0; idx < p1.size(); idx++) {
            if (p1[idx] != p2[idx]) {
                info("Mismatch selector ", selector_idx, " in block ", block_idx, ",  at ", idx);
                broke = true;
                break;
            }
        }
    };
 
    size_t block_idx = 0;
    for (auto [block_0, block_1] : zip_view(blocks[0].get(), blocks[1].get())) {
        BB_ASSERT_EQ(block_0.get_selectors().size(), block_1.get_selectors().size());
        size_t selector_idx = 0;
        for (auto [p_10, p_11] : zip_view(block_0.get_selectors(), block_1.get_selectors())) {
            check_eq(p_10, p_11, block_idx, selector_idx);
            selector_idx++;
        }
        block_idx++;
    }
 
    typename OuterFlavor::CommitmentLabels labels;
    for (auto [vk_0, vk_1, label] :
         zip_view(verification_keys[0]->get_all(), verification_keys[1]->get_all(), labels.get_precomputed())) {
        if (vk_0 != vk_1) {
            broke = true;
            info("Mismatch verification key label: ", label, " left: ", vk_0, " right: ", vk_1);
        }
    }
 
    BB_ASSERT_EQ(verification_keys[0]->log_circuit_size, verification_keys[1]->log_circuit_size);
    BB_ASSERT_EQ(verification_keys[0]->num_public_inputs, verification_keys[1]->num_public_inputs);
    BB_ASSERT_EQ(verification_keys[0]->pub_inputs_offset, verification_keys[1]->pub_inputs_offset);
 
    ASSERT(!broke);
}
 
} // namespace bb