Barretenberg
The ZK-SNARK library at the core of Aztec
|
A circuit to be used in either ultrahonk or ClientIVC-honk proving. More...
#include <bbapi_shared.hpp>
Public Member Functions | |
MSGPACK_FIELDS (name, bytecode, verification_key) | |
bool | operator== (const CircuitInput &other) const =default |
Public Attributes | |
std::string | name |
Human-readable name for the circuit. | |
std::vector< uint8_t > | bytecode |
Serialized bytecode representation of the circuit. | |
std::vector< uint8_t > | verification_key |
Verification key of the circuit. This could be derived, but it is more efficient to have it fixed ahead of time. As well, this guards against unexpected changes in the verification key. | |
A circuit to be used in either ultrahonk or ClientIVC-honk proving.
Definition at line 47 of file bbapi_shared.hpp.
bb::bbapi::CircuitInput::MSGPACK_FIELDS | ( | name | , |
bytecode | , | ||
verification_key | |||
) |
|
default |
std::vector<uint8_t> bb::bbapi::CircuitInput::bytecode |
Serialized bytecode representation of the circuit.
Contains the ACIR program in serialized form. The format (bincode or msgpack) is determined by examining the first byte of the bytecode.
Definition at line 62 of file bbapi_shared.hpp.
std::string bb::bbapi::CircuitInput::name |
Human-readable name for the circuit.
This name is not used for processing but serves as a debugging aid and provides context for circuit identification in logs and diagnostics.
Definition at line 54 of file bbapi_shared.hpp.
std::vector<uint8_t> bb::bbapi::CircuitInput::verification_key |
Verification key of the circuit. This could be derived, but it is more efficient to have it fixed ahead of time. As well, this guards against unexpected changes in the verification key.
Definition at line 68 of file bbapi_shared.hpp.