translator_circuit_checker.hpp

Go to the documentation of this file.

#pragma once
#include "barretenberg/translator_vm/translator_circuit_builder.hpp"
namespace bb {
class TranslatorCircuitChecker {
    using Fr = bb::fr;
    using Fq = bb::fq;
    using Builder = TranslatorCircuitBuilder;
    using WireIds = Builder::WireIds;
 
    // 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:
    struct RelationInputs {
        std::array<Fr, NUM_BINARY_LIMBS> x_limbs;
        std::array<Fr, NUM_BINARY_LIMBS> v_limbs;
        std::array<Fr, NUM_BINARY_LIMBS> v_squared_limbs = { 0 };
        std::array<Fr, NUM_BINARY_LIMBS> v_cubed_limbs = { 0 };
        std::array<Fr, NUM_BINARY_LIMBS> v_quarted_limbs = { 0 };
    };
    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 RelationInputs compute_relation_inputs_limbs(const Fq& batching_challenge_v, const Fq& evaluation_input_x);
 
    static bool check(const Builder& circuit);
};
} // namespace bb