private_execution_steps.hpp

Go to the documentation of this file.

#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include <cstdint>
#include <filesystem>
#include <string>
#include <vector>
 
namespace bb {
 
struct PrivateExecutionStepRaw {
    // Represents bincode.
    std::vector<uint8_t> bytecode;
    // Represents bincoded witness data.
    std::vector<uint8_t> witness;
    // Represents a legacy-serialized vk.
    std::vector<uint8_t> vk;
    // Represents the function name.
    std::string function_name;
 
    // Unrolled from MSGPACK_FIELDS for custom name for function_name.
    void msgpack(auto pack_fn) { pack_fn(NVP(bytecode, witness, vk), "functionName", function_name); };
    void self_decompress();
    static std::vector<PrivateExecutionStepRaw> load_and_decompress(const std::filesystem::path& input_path);
    static std::vector<PrivateExecutionStepRaw> load(const std::filesystem::path& input_path);
    static std::vector<PrivateExecutionStepRaw> parse_uncompressed(const std::vector<uint8_t>& buf);
    static void compress_and_save(std::vector<PrivateExecutionStepRaw>&& steps,
                                  const std::filesystem::path& output_path);
};
 
// TODO(https://github.com/AztecProtocol/barretenberg/issues/1162) this should have a common code path with
// the WASM folding stack code.
struct PrivateExecutionSteps {
    std::vector<acir_format::AcirProgram> folding_stack;
    std::vector<std::string> function_names;
    std::vector<std::shared_ptr<ClientIVC::MegaVerificationKey>> precomputed_vks;
 
    std::shared_ptr<ClientIVC> accumulate();
    void parse(std::vector<PrivateExecutionStepRaw>&& steps);
};
} // namespace bb