#include <proof_structures.hpp>

Inheritance diagram for bb::UltraStructuredProofBase< 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	lookup_read_counts_comm

Commitment	lookup_read_tags_comm

Commitment	w_4_comm

Commitment	z_perm_comm

Commitment	lookup_inverses_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_ultra_witness_comms (const ProofData &proof_data, size_t &offset)

void	serialize_ultra_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::UltraStructuredProofBase< Flavor >

Definition at line 61 of file proof_structures.hpp.

Member Typedef Documentation

◆ Base

template<typename Flavor >

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

Definition at line 62 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::UltraStructuredProofBase< Flavor >::clear_vectors ( )

inlineprotected

Definition at line 87 of file proof_structures.hpp.

◆ deserialize()

template<typename Flavor >

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

inline

Definition at line 169 of file proof_structures.hpp.

◆ deserialize_pcs()

template<typename Flavor >

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

inlineprotected

Definition at line 143 of file proof_structures.hpp.

◆ deserialize_sumcheck()

template<typename Flavor >

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

inlineprotected

Definition at line 122 of file proof_structures.hpp.

◆ deserialize_ultra_witness_comms()

template<typename Flavor >

void bb::UltraStructuredProofBase< Flavor >::deserialize_ultra_witness_comms	(	const ProofData &	proof_data,
		size_t &	offset
	)

inlineprotected

Definition at line 96 of file proof_structures.hpp.

◆ serialize()

template<typename Flavor >

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

inline

Definition at line 182 of file proof_structures.hpp.

◆ serialize_pcs()

template<typename Flavor >

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

inlineprotected

Definition at line 156 of file proof_structures.hpp.

◆ serialize_sumcheck()

template<typename Flavor >

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

inlineprotected

Definition at line 134 of file proof_structures.hpp.

◆ serialize_ultra_witness_comms()

template<typename Flavor >

void bb::UltraStructuredProofBase< Flavor >::serialize_ultra_witness_comms ( ProofData & proof_data ) const

inlineprotected

Definition at line 109 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.

◆ gemini_fold_comms

template<typename Flavor >

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

Definition at line 81 of file proof_structures.hpp.

◆ gemini_fold_evals

template<typename Flavor >

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

Definition at line 82 of file proof_structures.hpp.

◆ kzg_w_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::kzg_w_comm

Definition at line 84 of file proof_structures.hpp.

◆ lookup_inverses_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::lookup_inverses_comm

Definition at line 78 of file proof_structures.hpp.

◆ lookup_read_counts_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::lookup_read_counts_comm

Definition at line 74 of file proof_structures.hpp.

◆ lookup_read_tags_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::lookup_read_tags_comm

Definition at line 75 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::UltraStructuredProofBase< Flavor >::public_inputs

Definition at line 70 of file proof_structures.hpp.

◆ shplonk_q_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::shplonk_q_comm

Definition at line 83 of file proof_structures.hpp.

◆ sumcheck_evaluations

template<typename Flavor >

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

Definition at line 80 of file proof_structures.hpp.

◆ sumcheck_univariates

template<typename Flavor >

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

Definition at line 79 of file proof_structures.hpp.

◆ w_4_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::w_4_comm

Definition at line 76 of file proof_structures.hpp.

◆ w_l_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::w_l_comm

Definition at line 71 of file proof_structures.hpp.

◆ w_o_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::w_o_comm

Definition at line 73 of file proof_structures.hpp.

◆ w_r_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::w_r_comm

Definition at line 72 of file proof_structures.hpp.

◆ z_perm_comm

template<typename Flavor >

Commitment bb::UltraStructuredProofBase< Flavor >::z_perm_comm

Definition at line 77 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_pcs()

◆ deserialize_sumcheck()

◆ deserialize_ultra_witness_comms()

◆ serialize()

◆ serialize_pcs()

◆ serialize_sumcheck()

◆ serialize_ultra_witness_comms()

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

◆ 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

◆ shplonk_q_comm

◆ sumcheck_evaluations

◆ sumcheck_univariates

◆ w_4_comm

◆ w_l_comm

◆ w_o_comm

◆ w_r_comm

◆ z_perm_comm