Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::bbapi::ChonkComputeVk Struct Reference

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"
 

Detailed Description

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.

Member Function Documentation

◆ execute()

ChonkComputeVk::Response bb::bbapi::ChonkComputeVk::execute ( const BBApiRequest request = {}) &&

Definition at line 278 of file bbapi_chonk.cpp.

◆ operator==()

bool bb::bbapi::ChonkComputeVk::operator== ( const ChonkComputeVk ) const
default

◆ SERIALIZATION_FIELDS()

bb::bbapi::ChonkComputeVk::SERIALIZATION_FIELDS ( circuit  ,
use_zk_flavor   
)

Member Data Documentation

◆ circuit

CircuitInputNoVK bb::bbapi::ChonkComputeVk::circuit

Definition at line 216 of file bbapi_chonk.hpp.

◆ MSGPACK_SCHEMA_NAME

constexpr const char bb::bbapi::ChonkComputeVk::MSGPACK_SCHEMA_NAME[] = "ChonkComputeVk"
staticconstexpr

Definition at line 199 of file bbapi_chonk.hpp.

◆ use_zk_flavor

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.


The documentation for this struct was generated from the following files: