Verify a proof against a verification key and public inputs. More...

#include <bbapi_ultra_honk.hpp>

Classes
struct	Response

Public Member Functions
	MSGPACK_FIELDS (verification_key, public_inputs, proof, settings)

Response	execute (const BBApiRequest &request={}) &&

bool	operator== (const CircuitVerify &) const =default

Public Attributes
std::vector< uint8_t >	verification_key

std::vector< uint256_t >	public_inputs

std::vector< uint256_t >	proof

ProofSystemSettings	settings

Static Public Attributes
static constexpr const char *	MSGPACK_SCHEMA_NAME = "CircuitVerify"

Detailed Description

Verify a proof against a verification key and public inputs.

Definition at line 103 of file bbapi_ultra_honk.hpp.

Member Function Documentation

◆ execute()

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

Definition at line 299 of file bbapi_ultra_honk.cpp.

◆ MSGPACK_FIELDS()

bb::bbapi::CircuitVerify::MSGPACK_FIELDS	(	verification_key	,
		public_inputs	,
		proof	,
		settings
	)

◆ operator==()

bool bb::bbapi::CircuitVerify::operator== ( const CircuitVerify & ) const

default

Member Data Documentation

◆ MSGPACK_SCHEMA_NAME

constexpr const char* bb::bbapi::CircuitVerify::MSGPACK_SCHEMA_NAME = "CircuitVerify"

staticconstexpr

Definition at line 104 of file bbapi_ultra_honk.hpp.

◆ proof

std::vector<uint256_t> bb::bbapi::CircuitVerify::proof

Definition at line 116 of file bbapi_ultra_honk.hpp.

◆ public_inputs

std::vector<uint256_t> bb::bbapi::CircuitVerify::public_inputs

Definition at line 115 of file bbapi_ultra_honk.hpp.

◆ settings

ProofSystemSettings bb::bbapi::CircuitVerify::settings

Definition at line 117 of file bbapi_ultra_honk.hpp.

◆ verification_key

std::vector<uint8_t> bb::bbapi::CircuitVerify::verification_key

Definition at line 114 of file bbapi_ultra_honk.hpp.

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

src/barretenberg/bbapi/bbapi_ultra_honk.hpp
src/barretenberg/bbapi/bbapi_ultra_honk.cpp

Classes

Public Member Functions

Public Attributes

Static Public Attributes