components_check.hpp

Go to the documentation of this file.

#pragma once
#include "acir_graph.hpp"
#include "barretenberg/boomerang_value_detection/graph.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include <cstdint>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <vector>
 
namespace Acir {
struct Circuit;
}
 
namespace acir_components_check {
 
struct Error {
    enum class Type {
        SPLIT,
        UNCONSTRAINED
    };
    Type type;
    size_t acir_component;
    std::string message;
};
 
template <typename Builder> class ComponentsChecker_ {
  public:
    ComponentsChecker_(const Acir::Circuit& acir_circuit, Builder& builder)
        : acir_circuit_(acir_circuit)
        , builder_(builder)
    {}
 
    std::vector<Error> check();
 
  private:
    const Acir::Circuit& acir_circuit_;
    Builder& builder_;
 
    std::unordered_map<uint32_t, size_t> acir_witness_map_;
 
    std::unordered_map<uint32_t, size_t> circuit_witness_map_;
 
    std::unordered_map<uint32_t, size_t> circuit_var_to_cc_;
 
    std::unordered_set<uint32_t> constant_var_set_;
 
    std::unordered_set<uint32_t> range_list_vars_;
 
    std::unordered_map<uint32_t, size_t> gate_counts_;
 
    void build_acir_component_map();
 
    void build_circuit_component_map();
 
    std::vector<Error> compare_components() const;
 
    std::string format_witness_debug(uint32_t witness_idx) const;
};
 
using ComponentsChecker = ComponentsChecker_<bb::UltraCircuitBuilder>;
using UltraComponentsChecker = ComponentsChecker_<bb::UltraCircuitBuilder>;
using MegaComponentsChecker = ComponentsChecker_<bb::MegaCircuitBuilder>;
 
} // namespace acir_components_check