api.hpp

Go to the documentation of this file.

#pragma once
#include <filesystem>
#include <iostream>
 
namespace bb {
 
class API {
  public:
    // see the setting of these flags in bb/main.cpp for more information
    struct Flags {
        bool verbose{ false };    // more logging
        bool debug{ false };      // even more logging
        bool disable_zk{ false }; // disable the zero knowledge property. this is off by default as we aim to use the
                                  // zero knowledge variant of the protocol by default
        std::filesystem::path crs_path{ "" }; // the location of reference strings for commitment schemes
        bool recursive{ false };              // deprecated flag indicating that a circuit is to be recursively verified
        bool ipa_accumulation{ false };       // indicate whether the command is doing IPA proof aggregation
        std::string scheme;                   // the proving system or IVC scheme
        std::string oracle_hash_type;         // which hash function does the prover use as a random oracle?
        std::string verifier_type; // is a verification key for use a single circuit verifier (e.g. a SNARK or folding
                                   // recursive verifier) or is it for an ivc verifier?
        bool write_vk{ false };    // should we addditionally write the verification key when writing the proof
        bool include_gates_per_opcode{ false }; // should we include gates_per_opcode in the gates command output
        bool slow_low_memory{ false };          // use file backed memory for polynomials
        std::string storage_budget;             // storage budget for file backed memory (e.g. "500m", "2g")
        bool update_inputs{ false };            // update inputs when check fails
 
        bool optimized_solidity_verifier{ false }; // should we use the optimized sol verifier? (temp)
 
        friend std::ostream& operator<<(std::ostream& os, const Flags& flags)
        {
            os << "flags: [\n"
               << "  verbose: " << flags.verbose << "\n"
               << "  debug: " << flags.debug << "\n"
               << "  disable_zk: " << flags.disable_zk << "\n"
               << "  crs_path: " << flags.crs_path << "\n"
               << "  ipa_accumulation: " << flags.ipa_accumulation << "\n"
               << "  scheme: " << flags.scheme << "\n"
               << "  oracle_hash_type: " << flags.oracle_hash_type << "\n"
               << "  verifier_type: " << flags.verifier_type << "\n"
               << "  write_vk " << flags.write_vk << "\n"
               << "  include_gates_per_opcode " << flags.include_gates_per_opcode << "\n"
               << "  slow_low_memory " << flags.slow_low_memory << "\n"
               << "  storage_budget " << flags.storage_budget << "\n"
               << "]" << std::endl;
            return os;
        }
    };
 
    // TODO(https://github.com/AztecProtocol/barretenberg/issues/1256): Implement
    virtual bool check(const Flags& flags,
                       const std::filesystem::path& bytecode_path,
                       const std::filesystem::path& witness_path) = 0;
 
    virtual bool verify(const Flags& flags,
                        const std::filesystem::path& public_inputs_path,
                        const std::filesystem::path& proof_path,
                        const std::filesystem::path& vk_path) = 0;
 
    virtual void write_vk(const Flags& flags,
                          const std::filesystem::path& bytecode_path,
                          const std::filesystem::path& output_path) = 0;
 
    virtual void gates(const Flags& flags, const std::filesystem::path& bytecode_path) = 0;
 
    virtual void write_solidity_verifier(const Flags& flags,
                                         const std::filesystem::path& output_path,
                                         const std::filesystem::path& vk_path) = 0;
};
} // namespace bb