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::AvmVerify Struct Reference

Verify an AVM proof against serialized public inputs. More...

#include <bbapi_avm.hpp>

Classes

struct  Response
 

Public Member Functions

 SERIALIZATION_FIELDS (proof, public_inputs)
 
Response execute (const BBApiRequest &request={}) &&
 
bool operator== (const AvmVerify &) const =default
 

Public Attributes

std::vector< bb::fr > proof
 
std::vector< uint8_t > public_inputs
 

Static Public Attributes

static constexpr const char MSGPACK_SCHEMA_NAME [] = "AvmVerify"
 

Detailed Description

Verify an AVM proof against serialized public inputs.

Definition at line 62 of file bbapi_avm.hpp.

Member Function Documentation

◆ execute()

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

Definition at line 39 of file bbapi_avm.cpp.

◆ operator==()

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

◆ SERIALIZATION_FIELDS()

bb::bbapi::AvmVerify::SERIALIZATION_FIELDS ( proof  ,
public_inputs   
)

Member Data Documentation

◆ MSGPACK_SCHEMA_NAME

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

Definition at line 63 of file bbapi_avm.hpp.

◆ proof

std::vector<bb::fr> bb::bbapi::AvmVerify::proof

Definition at line 73 of file bbapi_avm.hpp.

◆ public_inputs

std::vector<uint8_t> bb::bbapi::AvmVerify::public_inputs

Definition at line 74 of file bbapi_avm.hpp.

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