private_execution_steps.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Sergei], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#include "barretenberg/chonk/circuit_input.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include <cstdint>
#include <filesystem>
#include <memory>
#include <string>
#include <vector>
 
namespace bb {
 
class Chonk;
 
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;
    CircuitKind kind = CircuitKind::None;
 
    // Unrolled from SERIALIZATION_FIELDS for custom name for function_name.
    void msgpack(auto pack_fn) { pack_fn(NVP(bytecode, witness, vk), "functionName", function_name, NVP(kind)); };
    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);
};
 
struct PrivateExecutionSteps {
    std::vector<acir_format::AcirProgram> folding_stack; 
    std::vector<std::string> function_names;             
    std::vector<std::vector<uint8_t>> precomputed_vks;   
    std::vector<CircuitKind> kinds;                      
 
    std::shared_ptr<Chonk> accumulate();
 
    void parse(std::vector<PrivateExecutionStepRaw>&& steps);
};
} // namespace bb