bbapi_shared.hpp

Go to the documentation of this file.

#pragma once
#include "barretenberg/client_ivc/client_ivc.hpp"
#include "barretenberg/client_ivc/sumcheck_client_ivc.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/honk/execution_trace/mega_execution_trace.hpp"
#include <cstdint>
#include <string>
#include <vector>
 
namespace bb::bbapi {
 
inline bool USE_SUMCHECK_IVC = false;
 
struct CircuitInputNoVK {
    std::string name;
 
    std::vector<uint8_t> bytecode;
 
    MSGPACK_FIELDS(name, bytecode);
    bool operator==(const CircuitInputNoVK& other) const = default;
};
 
struct CircuitInput {
    std::string name;
 
    std::vector<uint8_t> bytecode;
 
    std::vector<uint8_t> verification_key;
 
    MSGPACK_FIELDS(name, bytecode, verification_key);
    bool operator==(const CircuitInput& other) const = default;
};
 
struct ProofSystemSettings {
    bool ipa_accumulation = false;
 
    std::string oracle_hash_type = "poseidon2";
 
    bool disable_zk = false;
 
    // TODO(md): remove this once considered stable
    bool optimized_solidity_verifier = false;
 
    MSGPACK_FIELDS(ipa_accumulation, oracle_hash_type, disable_zk, optimized_solidity_verifier);
    bool operator==(const ProofSystemSettings& other) const = default;
};
 
enum class OracleHashType { POSEIDON2, KECCAK, STARKNET };
 
inline OracleHashType parse_oracle_hash_type(const std::string& type)
{
    if (type == "keccak") {
        return OracleHashType::KECCAK;
    }
    if (type == "starknet") {
        return OracleHashType::STARKNET;
    }
    return OracleHashType::POSEIDON2; // default
}
 
struct BBApiRequest {
    TraceSettings trace_settings{ AZTEC_TRACE_STRUCTURE };
    // Current depth of the IVC stack for this request
    uint32_t ivc_stack_depth = 0;
    std::shared_ptr<IVCBase> ivc_in_progress;
    // Name of the last loaded circuit
    std::string loaded_circuit_name;
    // Store the parsed constraint system to get ahead of parsing before accumulate
    std::optional<acir_format::AcirFormat> loaded_circuit_constraints;
    // Store the verification key passed with the circuit
    std::vector<uint8_t> loaded_circuit_vk;
};
 
} // namespace bb::bbapi