acir_graph.hpp

Go to the documentation of this file.

#pragma once
#include <cstdint>
#include <unordered_map>
#include <unordered_set>
#include <vector>
 
namespace Acir {
struct Circuit;
} // namespace Acir
 
namespace acir_components_check {
 
class AcirGraph {
  public:
    void process_acir_circuit(const Acir::Circuit& circuit);
 
    std::unordered_map<uint32_t, size_t> get_witness_component_map() const;
 
  private:
    std::unordered_map<uint32_t, std::unordered_set<uint32_t>> adjacency_lists_;
 
    void add_constraint(const std::vector<uint32_t>& witnesses);
 
    std::vector<std::vector<uint32_t>> find_components() const;
};
 
} // namespace acir_components_check