translator_circuit_checker.hpp

Go to the documentation of this file.

#pragma once
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/relations/translator_vm/translator_decomposition_relation.hpp"
#include "barretenberg/relations/translator_vm/translator_extra_relations.hpp"
#include "barretenberg/relations/translator_vm/translator_non_native_field_relation.hpp"
#include "barretenberg/translator_vm/translator_circuit_builder.hpp"
#include "barretenberg/translator_vm/translator_flavor.hpp"
namespace bb {
class TranslatorCircuitChecker {
    using Builder = TranslatorCircuitBuilder;
    using Flavor = TranslatorFlavor;
    using Fr = Flavor::FF;
    using Fq = Flavor::BF;
    using WireIds = Builder::WireIds;
    using AllValues = Flavor::AllValues;
    using Params = RelationParameters<Fr>;
 
    // Number of limbs used to decompose a 254-bit value for modular arithmetic
    static constexpr size_t NUM_BINARY_LIMBS = Builder::NUM_BINARY_LIMBS;
 
    static constexpr size_t RESULT_ROW = Builder::RESULT_ROW;
 
  public:
    TranslatorCircuitChecker() = default;
 
    static Fq get_computation_result(const Builder& circuit)
    {
        BB_ASSERT_GT(circuit.num_gates(), RESULT_ROW);
        return Fq(
            circuit.get_variable(circuit.wires[WireIds::ACCUMULATORS_BINARY_LIMBS_0][RESULT_ROW]) +
            circuit.get_variable(circuit.wires[WireIds::ACCUMULATORS_BINARY_LIMBS_1][RESULT_ROW]) * Builder::SHIFT_1 +
            circuit.get_variable(circuit.wires[WireIds::ACCUMULATORS_BINARY_LIMBS_2][RESULT_ROW]) * Builder::SHIFT_2 +
            circuit.get_variable(circuit.wires[WireIds::ACCUMULATORS_BINARY_LIMBS_3][RESULT_ROW]) * Builder::SHIFT_3);
    }
 
    static bool check(const Builder& circuit);
 
  private:
    static Params compute_relation_params(const Builder& circuit);
 
    static void populate_values(const Builder& circuit, AllValues& values, size_t row_idx);
 
    template <typename Relation> static bool check_relation(const AllValues& values, const Params& params)
    {
        typename Relation::SumcheckArrayOfValuesOverSubrelations evals;
        for (auto& e : evals) {
            e = Fr(0);
        }
        Relation::accumulate(evals, values, params, Fr(1));
        for (auto& e : evals) {
            if (e != Fr(0)) {
                return false;
            }
        }
        return true;
    }
};
} // namespace bb