bbapi_avm.hpp

Go to the documentation of this file.

#pragma once
#include "barretenberg/bbapi/bbapi_shared.hpp"
#include "barretenberg/common/named_union.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include <cstdint>
#include <string>
#include <vector>
 
namespace bb::bbapi {
 
struct AvmStat {
    static constexpr const char MSGPACK_SCHEMA_NAME[] = "AvmStat";
 
    std::string name;
    uint64_t value_ms;
    SERIALIZATION_FIELDS(name, value_ms);
    bool operator==(const AvmStat&) const = default;
};
 
struct AvmProve {
    static constexpr const char MSGPACK_SCHEMA_NAME[] = "AvmProve";
 
    struct Response {
        static constexpr const char MSGPACK_SCHEMA_NAME[] = "AvmProveResponse";
 
        std::vector<bb::fr> proof;
        std::vector<AvmStat> stats;
        SERIALIZATION_FIELDS(proof, stats);
        bool operator==(const Response&) const = default;
    };
 
    std::vector<uint8_t> inputs;
    SERIALIZATION_FIELDS(inputs);
    Response execute(const BBApiRequest& request = {}) &&;
    bool operator==(const AvmProve&) const = default;
};
 
struct AvmVerify {
    static constexpr const char MSGPACK_SCHEMA_NAME[] = "AvmVerify";
 
    struct Response {
        static constexpr const char MSGPACK_SCHEMA_NAME[] = "AvmVerifyResponse";
 
        bool verified;
        SERIALIZATION_FIELDS(verified);
        bool operator==(const Response&) const = default;
    };
 
    std::vector<bb::fr> proof;
    std::vector<uint8_t> public_inputs;
    SERIALIZATION_FIELDS(proof, public_inputs);
    Response execute(const BBApiRequest& request = {}) &&;
    bool operator==(const AvmVerify&) const = default;
};
 
struct AvmCheckCircuit {
    static constexpr const char MSGPACK_SCHEMA_NAME[] = "AvmCheckCircuit";
 
    struct Response {
        static constexpr const char MSGPACK_SCHEMA_NAME[] = "AvmCheckCircuitResponse";
 
        bool passed;
        std::vector<AvmStat> stats;
        SERIALIZATION_FIELDS(passed, stats);
        bool operator==(const Response&) const = default;
    };
 
    std::vector<uint8_t> inputs;
    SERIALIZATION_FIELDS(inputs);
    Response execute(const BBApiRequest& request = {}) &&;
    bool operator==(const AvmCheckCircuit&) const = default;
};
 
} // namespace bb::bbapi