Represents a request to generate a proof. Currently, UltraHonk is the only proving system supported by BB (after plonk was deprecated and removed). This is used for one-shot proving, not our "IVC" scheme, ClientIVC-honk. For that, use the ClientIVC* commands. More...

#include <bbapi_ultra_honk.hpp>

Classes
struct	Response
	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...

Public Member Functions
	MSGPACK_FIELDS (circuit, witness, settings)

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

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

Public Attributes
CircuitInput	circuit

std::vector< uint8_t >	witness

ProofSystemSettings	settings

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

Detailed Description

Represents a request to generate a proof. Currently, UltraHonk is the only proving system supported by BB (after plonk was deprecated and removed). This is used for one-shot proving, not our "IVC" scheme, ClientIVC-honk. For that, use the ClientIVC* commands.

Definition at line 46 of file bbapi_ultra_honk.hpp.

Member Function Documentation

◆ execute()

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

Definition at line 193 of file bbapi_ultra_honk.cpp.

◆ MSGPACK_FIELDS()

bb::bbapi::CircuitProve::MSGPACK_FIELDS	(	circuit	,
		witness	,
		settings
	)

◆ operator==()

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

default

Member Data Documentation

◆ circuit

CircuitInput bb::bbapi::CircuitProve::circuit

Definition at line 64 of file bbapi_ultra_honk.hpp.

◆ MSGPACK_SCHEMA_NAME

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

staticconstexpr

Definition at line 47 of file bbapi_ultra_honk.hpp.

◆ settings

ProofSystemSettings bb::bbapi::CircuitProve::settings

Definition at line 66 of file bbapi_ultra_honk.hpp.

◆ witness

std::vector<uint8_t> bb::bbapi::CircuitProve::witness

Definition at line 65 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