Verify a Chonk proof passed as a flat field-element array (with public inputs prepended). More...

#include <bbapi_chonk.hpp>

Classes
struct	Response

Public Member Functions
Response	execute (const BBApiRequest &request={}) &&

	SERIALIZATION_FIELDS (proof, vk)

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

Public Attributes
std::vector< bb::fr >	proof
	Flat proof field elements with public inputs prepended.

std::vector< uint8_t >	vk
	The verification key.

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

Detailed Description

Verify a Chonk proof passed as a flat field-element array (with public inputs prepended).

The split into structured ChonkProof sub-proofs is done server-side via ChonkProof::from_field_elements, so callers do not need to know the per-component sub-proof sizes. This is the recommended entry point for TypeScript callers that hold the proof as a flat Fr[] (e.g. from tx.chonkProof.attachPublicInputs).

Definition at line 169 of file bbapi_chonk.hpp.

Member Function Documentation

◆ execute()

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

Definition at line 192 of file bbapi_chonk.cpp.

◆ operator==()

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

default

◆ SERIALIZATION_FIELDS()

bb::bbapi::ChonkVerifyFromFields::SERIALIZATION_FIELDS	(	proof	,
		vk
	)

Member Data Documentation

◆ MSGPACK_SCHEMA_NAME

constexpr const char bb::bbapi::ChonkVerifyFromFields::MSGPACK_SCHEMA_NAME[] = "ChonkVerifyFromFields"

staticconstexpr

Definition at line 170 of file bbapi_chonk.hpp.

◆ proof

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

Flat proof field elements with public inputs prepended.

Definition at line 182 of file bbapi_chonk.hpp.

◆ vk

std::vector<uint8_t> bb::bbapi::ChonkVerifyFromFields::vk

The verification key.

Definition at line 184 of file bbapi_chonk.hpp.

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

src/barretenberg/bbapi/bbapi_chonk.hpp
src/barretenberg/bbapi/bbapi_chonk.cpp

Classes

Public Member Functions

Public Attributes

Static Public Attributes