Contains proof and public inputs. Both are given as vectors of fields. To be used for verification. Example uses of this Response would be verification in native BB, WASM BB, solidity or recursively through Noir. More...

#include <bbapi_ultra_honk.hpp>

Public Member Functions
	MSGPACK_FIELDS (public_inputs, proof, vk)

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

Public Attributes
std::vector< uint256_t >	public_inputs

std::vector< uint256_t >	proof

CircuitComputeVk::Response	vk

Static Public Attributes
static constexpr const char	MSGPACK_SCHEMA_NAME [] = "CircuitProveResponse"

Detailed Description

Contains proof and public inputs. Both are given as vectors of fields. To be used for verification. Example uses of this Response would be verification in native BB, WASM BB, solidity or recursively through Noir.

Definition at line 54 of file bbapi_ultra_honk.hpp.

Member Function Documentation

◆ MSGPACK_FIELDS()

bb::bbapi::CircuitProve::Response::MSGPACK_FIELDS	(	public_inputs	,
		proof	,
		vk
	)

◆ operator==()

bool bb::bbapi::CircuitProve::Response::operator== ( const Response & ) const

default

Member Data Documentation

◆ MSGPACK_SCHEMA_NAME

constexpr const char bb::bbapi::CircuitProve::Response::MSGPACK_SCHEMA_NAME[] = "CircuitProveResponse"

staticconstexpr

Definition at line 55 of file bbapi_ultra_honk.hpp.

◆ proof

std::vector<uint256_t> bb::bbapi::CircuitProve::Response::proof

Definition at line 58 of file bbapi_ultra_honk.hpp.

◆ public_inputs

std::vector<uint256_t> bb::bbapi::CircuitProve::Response::public_inputs

Definition at line 57 of file bbapi_ultra_honk.hpp.

◆ vk

CircuitComputeVk::Response bb::bbapi::CircuitProve::Response::vk

Definition at line 59 of file bbapi_ultra_honk.hpp.

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

src/barretenberg/bbapi/bbapi_ultra_honk.hpp

Public Member Functions

Public Attributes

Static Public Attributes