Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Classes | Public Member Functions | Public Attributes | Static Public Attributes | List of all members
bb::bbapi::ChonkCheckPrecomputedVk Struct Reference

Verify that a precomputed verification key matches the circuit. More...

#include <bbapi_chonk.hpp>

Classes

struct  Response
 Contains the validation result. More...
 

Public Member Functions

Response execute (const BBApiRequest &request={}) &&
 
 SERIALIZATION_FIELDS (circuit, use_zk_flavor)
 
bool operator== (const ChonkCheckPrecomputedVk &) const =default
 

Public Attributes

CircuitInput circuit
 Circuit with its precomputed verification key.
 
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 [] = "ChonkCheckPrecomputedVk"
 

Detailed Description

Verify that a precomputed verification key matches the circuit.

Definition at line 229 of file bbapi_chonk.hpp.

Member Function Documentation

◆ execute()

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

Definition at line 296 of file bbapi_chonk.cpp.

◆ operator==()

bool bb::bbapi::ChonkCheckPrecomputedVk::operator== ( const ChonkCheckPrecomputedVk &  ) const
default

◆ SERIALIZATION_FIELDS()

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

Member Data Documentation

◆ circuit

CircuitInput bb::bbapi::ChonkCheckPrecomputedVk::circuit

Circuit with its precomputed verification key.

Definition at line 248 of file bbapi_chonk.hpp.

◆ MSGPACK_SCHEMA_NAME

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

Definition at line 230 of file bbapi_chonk.hpp.

◆ use_zk_flavor

bool bb::bbapi::ChonkCheckPrecomputedVk::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 251 of file bbapi_chonk.hpp.

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