#include <proof_structures.hpp>

Inheritance diagram for bb::MegaStructuredProofBase< Flavor >:

Public Types
using	Base = StructuredProofHelper< Flavor >

using	Commitment = typename Flavor::Commitment

using	FF = typename Flavor::FF

using	ProofData = typename Transcript::Proof

Public Types inherited from bb::StructuredProofHelper< Flavor >
using	FF = typename Flavor::FF

using	Commitment = typename Flavor::Commitment

using	Transcript = typename Flavor::Transcript

using	Codec = typename Transcript::Codec

using	ProofData = typename Transcript::Proof

Public Member Functions
void	deserialize (ProofData &proof_data, size_t num_public_inputs, size_t log_n)

void	serialize (ProofData &proof_data, size_t log_n) const

Public Attributes
std::vector< FF >	public_inputs

Commitment	w_l_comm

Commitment	w_r_comm

Commitment	w_o_comm

Commitment	ecc_op_wire_1_comm

Commitment	ecc_op_wire_2_comm

Commitment	ecc_op_wire_3_comm

Commitment	ecc_op_wire_4_comm

Commitment	calldata_comm

Commitment	calldata_read_counts_comm

Commitment	calldata_read_tags_comm

Commitment	secondary_calldata_comm

Commitment	secondary_calldata_read_counts_comm

Commitment	secondary_calldata_read_tags_comm

Commitment	return_data_comm

Commitment	return_data_read_counts_comm

Commitment	return_data_read_tags_comm

Commitment	lookup_read_counts_comm

Commitment	lookup_read_tags_comm

Commitment	w_4_comm

Commitment	lookup_inverses_comm

Commitment	calldata_inverses_comm

Commitment	secondary_calldata_inverses_comm

Commitment	return_data_inverses_comm

Commitment	z_perm_comm

std::vector< bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > >	sumcheck_univariates

std::array< FF, NUM_ALL_ENTITIES >	sumcheck_evaluations

std::vector< Commitment >	gemini_fold_comms

std::vector< FF >	gemini_fold_evals

Commitment	shplonk_q_comm

Commitment	kzg_w_comm

Static Public Attributes
static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH

static constexpr size_t	NUM_ALL_ENTITIES

Static Public Attributes inherited from bb::StructuredProofHelper< Flavor >
static constexpr size_t	BATCHED_RELATION_PARTIAL_LENGTH = Flavor::BATCHED_RELATION_PARTIAL_LENGTH

static constexpr size_t	NUM_ALL_ENTITIES = Flavor::NUM_ALL_ENTITIES

Protected Member Functions
void	clear_vectors ()

void	deserialize_mega_witness_comms (const ProofData &proof_data, size_t &offset)

void	serialize_mega_witness_comms (ProofData &proof_data) const

void	deserialize_sumcheck (const ProofData &proof_data, size_t &offset, size_t log_n)

void	serialize_sumcheck (ProofData &proof_data, size_t log_n) const

void	deserialize_pcs (const ProofData &proof_data, size_t &offset, size_t log_n)

void	serialize_pcs (ProofData &proof_data, size_t log_n) const

Additional Inherited Members
Static Protected Member Functions inherited from bb::StructuredProofHelper< Flavor >
template<typename T >
static T	deserialize_from_buffer (const ProofData &proof_data, size_t &offset)

template<typename T >
static void	serialize_to_buffer (const T &element, ProofData &proof_data)

Detailed Description

template<typename Flavor>
struct bb::MegaStructuredProofBase< Flavor >

Definition at line 302 of file proof_structures.hpp.

Member Typedef Documentation

◆ Base

template<typename Flavor >

using bb::MegaStructuredProofBase< Flavor >::Base = StructuredProofHelper<Flavor>

Definition at line 303 of file proof_structures.hpp.

◆ Commitment

template<typename Flavor >

using bb::StructuredProofHelper< Flavor >::Commitment = typename Flavor::Commitment

Definition at line 34 of file proof_structures.hpp.

◆ FF

template<typename Flavor >

using bb::StructuredProofHelper< Flavor >::FF = typename Flavor::FF

Definition at line 33 of file proof_structures.hpp.

◆ ProofData

template<typename Flavor >

using bb::StructuredProofHelper< Flavor >::ProofData = typename Transcript::Proof

Definition at line 37 of file proof_structures.hpp.

Member Function Documentation

◆ clear_vectors()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::clear_vectors ( )

inlineprotected

Definition at line 344 of file proof_structures.hpp.

◆ deserialize()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::deserialize	(	ProofData &	proof_data,
		size_t	num_public_inputs,
		size_t	log_n
	)

inline

Definition at line 458 of file proof_structures.hpp.

◆ deserialize_mega_witness_comms()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::deserialize_mega_witness_comms	(	const ProofData &	proof_data,
		size_t &	offset
	)

inlineprotected

Definition at line 353 of file proof_structures.hpp.

◆ deserialize_pcs()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::deserialize_pcs	(	const ProofData &	proof_data,
		size_t &	offset,
		size_t	log_n
	)

inlineprotected

Definition at line 432 of file proof_structures.hpp.

◆ deserialize_sumcheck()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::deserialize_sumcheck	(	const ProofData &	proof_data,
		size_t &	offset,
		size_t	log_n
	)

inlineprotected

Definition at line 411 of file proof_structures.hpp.

◆ serialize()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::serialize	(	ProofData &	proof_data,
		size_t	log_n
	)		const

inline

Definition at line 471 of file proof_structures.hpp.

◆ serialize_mega_witness_comms()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::serialize_mega_witness_comms ( ProofData & proof_data ) const

inlineprotected

Definition at line 382 of file proof_structures.hpp.

◆ serialize_pcs()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::serialize_pcs	(	ProofData &	proof_data,
		size_t	log_n
	)		const

inlineprotected

Definition at line 445 of file proof_structures.hpp.

◆ serialize_sumcheck()

template<typename Flavor >

void bb::MegaStructuredProofBase< Flavor >::serialize_sumcheck	(	ProofData &	proof_data,
		size_t	log_n
	)		const

inlineprotected

Definition at line 423 of file proof_structures.hpp.

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

template<typename Flavor >

constexpr size_t bb::StructuredProofHelper< Flavor >::BATCHED_RELATION_PARTIAL_LENGTH

staticconstexpr

Definition at line 38 of file proof_structures.hpp.

◆ calldata_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::calldata_comm

Definition at line 319 of file proof_structures.hpp.

◆ calldata_inverses_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::calldata_inverses_comm

Definition at line 332 of file proof_structures.hpp.

◆ calldata_read_counts_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::calldata_read_counts_comm

Definition at line 320 of file proof_structures.hpp.

◆ calldata_read_tags_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::calldata_read_tags_comm

Definition at line 321 of file proof_structures.hpp.

◆ ecc_op_wire_1_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::ecc_op_wire_1_comm

Definition at line 315 of file proof_structures.hpp.

◆ ecc_op_wire_2_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::ecc_op_wire_2_comm

Definition at line 316 of file proof_structures.hpp.

◆ ecc_op_wire_3_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::ecc_op_wire_3_comm

Definition at line 317 of file proof_structures.hpp.

◆ ecc_op_wire_4_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::ecc_op_wire_4_comm

Definition at line 318 of file proof_structures.hpp.

◆ gemini_fold_comms

template<typename Flavor >

std::vector<Commitment> bb::MegaStructuredProofBase< Flavor >::gemini_fold_comms

Definition at line 338 of file proof_structures.hpp.

◆ gemini_fold_evals

template<typename Flavor >

std::vector<FF> bb::MegaStructuredProofBase< Flavor >::gemini_fold_evals

Definition at line 339 of file proof_structures.hpp.

◆ kzg_w_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::kzg_w_comm

Definition at line 341 of file proof_structures.hpp.

◆ lookup_inverses_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::lookup_inverses_comm

Definition at line 331 of file proof_structures.hpp.

◆ lookup_read_counts_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::lookup_read_counts_comm

Definition at line 328 of file proof_structures.hpp.

◆ lookup_read_tags_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::lookup_read_tags_comm

Definition at line 329 of file proof_structures.hpp.

◆ NUM_ALL_ENTITIES

template<typename Flavor >

constexpr size_t bb::StructuredProofHelper< Flavor >::NUM_ALL_ENTITIES

staticconstexpr

Definition at line 39 of file proof_structures.hpp.

◆ public_inputs

template<typename Flavor >

std::vector<FF> bb::MegaStructuredProofBase< Flavor >::public_inputs

Definition at line 311 of file proof_structures.hpp.

◆ return_data_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::return_data_comm

Definition at line 325 of file proof_structures.hpp.

◆ return_data_inverses_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::return_data_inverses_comm

Definition at line 334 of file proof_structures.hpp.

◆ return_data_read_counts_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::return_data_read_counts_comm

Definition at line 326 of file proof_structures.hpp.

◆ return_data_read_tags_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::return_data_read_tags_comm

Definition at line 327 of file proof_structures.hpp.

◆ secondary_calldata_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::secondary_calldata_comm

Definition at line 322 of file proof_structures.hpp.

◆ secondary_calldata_inverses_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::secondary_calldata_inverses_comm

Definition at line 333 of file proof_structures.hpp.

◆ secondary_calldata_read_counts_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::secondary_calldata_read_counts_comm

Definition at line 323 of file proof_structures.hpp.

◆ secondary_calldata_read_tags_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::secondary_calldata_read_tags_comm

Definition at line 324 of file proof_structures.hpp.

◆ shplonk_q_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::shplonk_q_comm

Definition at line 340 of file proof_structures.hpp.

◆ sumcheck_evaluations

template<typename Flavor >

std::array<FF, NUM_ALL_ENTITIES> bb::MegaStructuredProofBase< Flavor >::sumcheck_evaluations

Definition at line 337 of file proof_structures.hpp.

◆ sumcheck_univariates

template<typename Flavor >

std::vector<bb::Univariate<FF, BATCHED_RELATION_PARTIAL_LENGTH> > bb::MegaStructuredProofBase< Flavor >::sumcheck_univariates

Definition at line 336 of file proof_structures.hpp.

◆ w_4_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::w_4_comm

Definition at line 330 of file proof_structures.hpp.

◆ w_l_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::w_l_comm

Definition at line 312 of file proof_structures.hpp.

◆ w_o_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::w_o_comm

Definition at line 314 of file proof_structures.hpp.

◆ w_r_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::w_r_comm

Definition at line 313 of file proof_structures.hpp.

◆ z_perm_comm

template<typename Flavor >

Commitment bb::MegaStructuredProofBase< Flavor >::z_perm_comm

Definition at line 335 of file proof_structures.hpp.

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

src/barretenberg/flavor/test_utils/proof_structures.hpp

Public Types

Public Member Functions

Public Attributes

Static Public Attributes

Protected Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ Base

◆ Commitment

◆ FF

◆ ProofData

Member Function Documentation

◆ clear_vectors()

◆ deserialize()

◆ deserialize_mega_witness_comms()

◆ deserialize_pcs()

◆ deserialize_sumcheck()

◆ serialize()

◆ serialize_mega_witness_comms()

◆ serialize_pcs()

◆ serialize_sumcheck()

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

◆ calldata_comm

◆ calldata_inverses_comm

◆ calldata_read_counts_comm

◆ calldata_read_tags_comm

◆ ecc_op_wire_1_comm

◆ ecc_op_wire_2_comm

◆ ecc_op_wire_3_comm

◆ ecc_op_wire_4_comm

◆ gemini_fold_comms

◆ gemini_fold_evals

◆ kzg_w_comm

◆ lookup_inverses_comm

◆ lookup_read_counts_comm

◆ lookup_read_tags_comm

◆ NUM_ALL_ENTITIES

◆ public_inputs

◆ return_data_comm

◆ return_data_inverses_comm

◆ return_data_read_counts_comm

◆ return_data_read_tags_comm

◆ secondary_calldata_comm

◆ secondary_calldata_inverses_comm

◆ secondary_calldata_read_counts_comm

◆ secondary_calldata_read_tags_comm

◆ shplonk_q_comm

◆ sumcheck_evaluations

◆ sumcheck_univariates

◆ w_4_comm

◆ w_l_comm

◆ w_o_comm

◆ w_r_comm

◆ z_perm_comm