|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
This is the msgpack encoding of the objects returned by the following typescript: const stepToStruct = (step: PrivateExecutionStep) => { return { bytecode: step.bytecode, witness: serializeWitness(step.witness), vk: step.vk, functionName: step.functionName }; }; await fs.writeFile(path, encode(executionSteps.map(stepToStruct))); See format notes below. More...
#include <private_execution_steps.hpp>
Public Member Functions | |
| void | msgpack (auto pack_fn) |
| void | self_decompress () |
Static Public Member Functions | |
| 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) |
Public Attributes | |
| std::vector< uint8_t > | bytecode |
| std::vector< uint8_t > | witness |
| std::vector< uint8_t > | vk |
| std::string | function_name |
| CircuitKind | kind = CircuitKind::None |
This is the msgpack encoding of the objects returned by the following typescript: const stepToStruct = (step: PrivateExecutionStep) => { return { bytecode: step.bytecode, witness: serializeWitness(step.witness), vk: step.vk, functionName: step.functionName }; }; await fs.writeFile(path, encode(executionSteps.map(stepToStruct))); See format notes below.
Definition at line 33 of file private_execution_steps.hpp.
|
static |
Definition at line 189 of file private_execution_steps.cpp.
|
static |
Definition at line 100 of file private_execution_steps.cpp.
|
static |
Definition at line 114 of file private_execution_steps.cpp.
|
inline |
Definition at line 45 of file private_execution_steps.hpp.
|
static |
Definition at line 126 of file private_execution_steps.cpp.
| void bb::PrivateExecutionStepRaw::self_decompress | ( | ) |
Definition at line 107 of file private_execution_steps.cpp.
| std::vector<uint8_t> bb::PrivateExecutionStepRaw::bytecode |
Definition at line 35 of file private_execution_steps.hpp.
| std::string bb::PrivateExecutionStepRaw::function_name |
Definition at line 41 of file private_execution_steps.hpp.
| CircuitKind bb::PrivateExecutionStepRaw::kind = CircuitKind::None |
Definition at line 42 of file private_execution_steps.hpp.
| std::vector<uint8_t> bb::PrivateExecutionStepRaw::vk |
Definition at line 39 of file private_execution_steps.hpp.
| std::vector<uint8_t> bb::PrivateExecutionStepRaw::witness |
Definition at line 37 of file private_execution_steps.hpp.