acir_loader.hpp

Go to the documentation of this file.

#pragma once
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/smt_verification/circuit/ultra_circuit.hpp"
#include <cstdint>
#include <string>
#include <vector>
 
class AcirToSmtLoader {
  public:
    // Deleted constructors/operators to prevent copying/moving
    AcirToSmtLoader() = delete;
    AcirToSmtLoader(const AcirToSmtLoader& other) = delete;
    AcirToSmtLoader(AcirToSmtLoader&& other) = delete;
    AcirToSmtLoader& operator=(const AcirToSmtLoader other) = delete;
    AcirToSmtLoader&& operator=(AcirToSmtLoader&& other) = delete;
 
    ~AcirToSmtLoader() = default;
 
    AcirToSmtLoader(std::string filename);
 
    acir_format::AcirFormat& get_constraint_systems() { return this->constraint_system; }
 
    bb::UltraCircuitBuilder get_circuit_builder();
 
    smt_solver::Solver get_smt_solver();
 
    smt_circuit::UltraCircuit get_bitvec_smt_circuit(smt_solver::Solver* solver);
 
    smt_circuit::UltraCircuit get_field_smt_circuit(smt_solver::Solver* solver);
 
    smt_circuit::UltraCircuit get_integer_smt_circuit(smt_solver::Solver* solver);
 
    smt_circuit::CircuitSchema get_circuit_schema();
 
  private:
    std::string instruction_name;              
    std::vector<uint8_t> acir_program_buf;     
    acir_format::AcirFormat constraint_system; 
    msgpack::sbuffer circuit_buf;              
};