|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Compute MegaHonk verification key for a circuit to be accumulated in Chonk. More...
#include <bbapi_chonk.hpp>
Classes | |
| struct | Response |
| Contains the computed verification key in multiple formats. More... | |
Public Member Functions | |
| Response | execute (const BBApiRequest &request={}) && |
| SERIALIZATION_FIELDS (circuit, use_zk_flavor) | |
| bool | operator== (const ChonkComputeVk &) const =default |
Public Attributes | |
| CircuitInputNoVK | circuit |
| bool | use_zk_flavor = false |
| When true, derive VK using MegaZKFlavor; otherwise MegaFlavor. The caller sets this to true for the hiding-kernel circuit. | |
Static Public Attributes | |
| static constexpr const char | MSGPACK_SCHEMA_NAME [] = "ChonkComputeVk" |
Compute MegaHonk verification key for a circuit to be accumulated in Chonk.
This unified command replaces the former ChonkComputeStandaloneVk and ChonkComputeIvcVk. Both standalone circuits (to be accumulated) and the IVC hiding kernel use the same MegaVerificationKey, so a single implementation suffices for all Chonk VK computation needs.
Definition at line 198 of file bbapi_chonk.hpp.
| ChonkComputeVk::Response bb::bbapi::ChonkComputeVk::execute | ( | const BBApiRequest & | request = {} | ) | && |
Definition at line 278 of file bbapi_chonk.cpp.
|
default |
| bb::bbapi::ChonkComputeVk::SERIALIZATION_FIELDS | ( | circuit | , |
| use_zk_flavor | |||
| ) |
| CircuitInputNoVK bb::bbapi::ChonkComputeVk::circuit |
Definition at line 216 of file bbapi_chonk.hpp.
|
staticconstexpr |
Definition at line 199 of file bbapi_chonk.hpp.
| bool bb::bbapi::ChonkComputeVk::use_zk_flavor = false |
When true, derive VK using MegaZKFlavor; otherwise MegaFlavor. The caller sets this to true for the hiding-kernel circuit.
Definition at line 219 of file bbapi_chonk.hpp.