bb::SumcheckClientIVC::Proof Struct Reference

A full proof for the IVC scheme containing a Mega proof showing correctness of the hiding circuit (which recursive verified the last folding and decider proof) and a Goblin proof (translator VM, ECCVM and last merge proof). More...

#include <sumcheck_client_ivc.hpp>

Classes
class	DeserializationError

Public Member Functions
size_t	size () const
std::vector< FF >	to_field_elements () const
	Serialize proof to field elements.
msgpack::sbuffer	to_msgpack_buffer () const
uint8_t *	to_msgpack_heap_buffer () const
	Very quirky method to convert a msgpack buffer to a "heap" buffer.
void	to_file_msgpack (const std::string &filename) const
	MSGPACK_FIELDS (mega_proof, goblin_proof)
bool	operator== (const Proof &other) const =default

Static Public Member Functions
static constexpr size_t	PROOF_LENGTH_WITHOUT_PUB_INPUTS (size_t virtual_log_n=MegaZKFlavor::VIRTUAL_LOG_N)
	The size of a ClientIVC proof without backend-added public inputs.
static constexpr size_t	PROOF_LENGTH (size_t virtual_log_n=MegaZKFlavor::VIRTUAL_LOG_N)
	The size of a ClientIVC proof with backend-added public inputs: HidingKernelIO.
static Proof	from_field_elements (const std::vector< SumcheckClientIVC::FF > &fields)
static Proof	from_msgpack_buffer (uint8_t const *&buffer)
static Proof	from_msgpack_buffer (const msgpack::sbuffer &buffer)
static Proof	from_file_msgpack (const std::string &filename)

Public Attributes
HonkProof	mega_proof
GoblinProof	goblin_proof

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

Detailed Description

A full proof for the IVC scheme containing a Mega proof showing correctness of the hiding circuit (which recursive verified the last folding and decider proof) and a Goblin proof (translator VM, ECCVM and last merge proof).

This proof will be zero-knowledge.

Definition at line 98 of file sumcheck_client_ivc.hpp.

Member Function Documentation

from_field_elements()

SumcheckClientIVC::Proof bb::SumcheckClientIVC::Proof::from_field_elements ( const std::vector< SumcheckClientIVC::FF > &  fields )

static

Definition at line 847 of file sumcheck_client_ivc.cpp.

from_file_msgpack()

SumcheckClientIVC::Proof bb::SumcheckClientIVC::Proof::from_file_msgpack ( const std::string &  filename )

static

Definition at line 929 of file sumcheck_client_ivc.cpp.

from_msgpack_buffer() [1/2]

SumcheckClientIVC::Proof bb::SumcheckClientIVC::Proof::from_msgpack_buffer ( const msgpack::sbuffer &  buffer )

static

Definition at line 909 of file sumcheck_client_ivc.cpp.

from_msgpack_buffer() [2/2]

SumcheckClientIVC::Proof bb::SumcheckClientIVC::Proof::from_msgpack_buffer ( uint8_t const *&  buffer )

static

Definition at line 899 of file sumcheck_client_ivc.cpp.

MSGPACK_FIELDS()

bb::SumcheckClientIVC::Proof::MSGPACK_FIELDS	(	mega_proof	,
		goblin_proof
	)

operator==()

bool bb::SumcheckClientIVC::Proof::operator== ( const Proof &  other ) const

default

PROOF_LENGTH()

static constexpr size_t bb::SumcheckClientIVC::Proof::PROOF_LENGTH ( size_t  virtual_log_n = MegaZKFlavor::VIRTUAL_LOG_N )

inlinestaticconstexpr

The size of a ClientIVC proof with backend-added public inputs: HidingKernelIO.

Parameters

virtual_log_n

Returns

constexpr size_t

Definition at line 123 of file sumcheck_client_ivc.hpp.

PROOF_LENGTH_WITHOUT_PUB_INPUTS()

static constexpr size_t bb::SumcheckClientIVC::Proof::PROOF_LENGTH_WITHOUT_PUB_INPUTS ( size_t  virtual_log_n = MegaZKFlavor::VIRTUAL_LOG_N )

inlinestaticconstexpr

The size of a ClientIVC proof without backend-added public inputs.

Parameters

virtual_log_n

Returns

constexpr size_t

Definition at line 108 of file sumcheck_client_ivc.hpp.

size()

size_t bb::SumcheckClientIVC::Proof::size

(

)

const

Definition at line 829 of file sumcheck_client_ivc.cpp.

to_field_elements()

std::vector< SumcheckClientIVC::FF > bb::SumcheckClientIVC::Proof::to_field_elements

(

)

const

Serialize proof to field elements.

Returns

std::vector<FF>

Definition at line 834 of file sumcheck_client_ivc.cpp.

to_file_msgpack()

void bb::SumcheckClientIVC::Proof::to_file_msgpack

(

const std::string &

filename

)

const

Definition at line 918 of file sumcheck_client_ivc.cpp.

to_msgpack_buffer()

msgpack::sbuffer bb::SumcheckClientIVC::Proof::to_msgpack_buffer

(

)

const

Definition at line 884 of file sumcheck_client_ivc.cpp.

to_msgpack_heap_buffer()

uint8_t * bb::SumcheckClientIVC::Proof::to_msgpack_heap_buffer

(

)

const

Very quirky method to convert a msgpack buffer to a "heap" buffer.

This method results in a buffer that is double-size-prefixed with the buffer size. This is to mimmic the original bb.js behavior which did a *out_proof = to_heap_buffer(to_buffer(proof));

Returns

uint8_t* Double size-prefixed msgpack buffer

Definition at line 891 of file sumcheck_client_ivc.cpp.

Member Data Documentation

goblin_proof

GoblinProof bb::SumcheckClientIVC::Proof::goblin_proof

Definition at line 100 of file sumcheck_client_ivc.hpp.

mega_proof

HonkProof bb::SumcheckClientIVC::Proof::mega_proof

Definition at line 99 of file sumcheck_client_ivc.hpp.

MSGPACK_SCHEMA_NAME

constexpr const char bb::SumcheckClientIVC::Proof::MSGPACK_SCHEMA_NAME[] = "ClientIVCProof"

staticconstexpr

Definition at line 152 of file sumcheck_client_ivc.hpp.

---

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

• src/barretenberg/client_ivc/sumcheck_client_ivc.hpp
• src/barretenberg/client_ivc/sumcheck_client_ivc.cpp