|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
A circuit to be used in either ultrahonk or Chonk 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 Chonk proving.
Definition at line 59 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 74 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 66 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 80 of file bbapi_shared.hpp.