#include <proof_structures.hpp>

Inheritance diagram for bb::TranslatorStructuredProofBase< 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, size_t log_n)

void	serialize (ProofData &proof_data, size_t log_n) const

Public Attributes
Commitment	gemini_masking_poly_comm

std::vector< Commitment >	witness_comms

Commitment	z_perm_comm

Commitment	libra_concatenation_commitment

FF	libra_sum

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

std::array< FF, NUM_MINICIRCUIT_EVALUATIONS >	minicircuit_evaluations

std::array< FF, NUM_FULL_CIRCUIT_EVALUATIONS >	full_circuit_evaluations

FF	libra_claimed_evaluation

Commitment	libra_grand_sum_commitment

Commitment	libra_quotient_commitment

std::vector< Commitment >	gemini_fold_comms

std::vector< FF >	gemini_fold_evals

FF	libra_concatenation_eval

FF	libra_shifted_grand_sum_eval

FF	libra_grand_sum_eval

FF	libra_quotient_eval

Commitment	shplonk_q_comm

Commitment	kzg_w_comm

Static Public Attributes
static constexpr size_t	NUM_BATCH_WITNESS_COMMS = Flavor::NUM_COMMITMENTS_IN_PROOF

static constexpr size_t	LOG_MINI_CIRCUIT_SIZE = Flavor::LOG_MINI_CIRCUIT_SIZE

static constexpr size_t	NUM_MINICIRCUIT_EVALUATIONS = Flavor::NUM_MINICIRCUIT_EVALUATIONS

static constexpr size_t	NUM_FULL_CIRCUIT_EVALUATIONS = Flavor::NUM_FULL_CIRCUIT_EVALUATIONS

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

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::TranslatorStructuredProofBase< Flavor >

Definition at line 592 of file proof_structures.hpp.

Member Typedef Documentation

◆ Base

template<typename Flavor >

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

Definition at line 593 of file proof_structures.hpp.

◆ Commitment

template<typename Flavor >

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

Definition at line 35 of file proof_structures.hpp.

◆ FF

template<typename Flavor >

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

Definition at line 34 of file proof_structures.hpp.

◆ ProofData

template<typename Flavor >

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

Definition at line 38 of file proof_structures.hpp.

Member Function Documentation

◆ deserialize()

template<typename Flavor >

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

inline

Definition at line 642 of file proof_structures.hpp.

◆ serialize()

template<typename Flavor >

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

inline

Definition at line 704 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 39 of file proof_structures.hpp.

◆ full_circuit_evaluations

template<typename Flavor >

std::array<FF, NUM_FULL_CIRCUIT_EVALUATIONS> bb::TranslatorStructuredProofBase< Flavor >::full_circuit_evaluations

Definition at line 621 of file proof_structures.hpp.

◆ gemini_fold_comms

template<typename Flavor >

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

Definition at line 629 of file proof_structures.hpp.

◆ gemini_fold_evals

template<typename Flavor >

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

Definition at line 630 of file proof_structures.hpp.

◆ gemini_masking_poly_comm

template<typename Flavor >

Commitment bb::TranslatorStructuredProofBase< Flavor >::gemini_masking_poly_comm

Definition at line 608 of file proof_structures.hpp.

◆ kzg_w_comm

template<typename Flavor >

Commitment bb::TranslatorStructuredProofBase< Flavor >::kzg_w_comm

Definition at line 640 of file proof_structures.hpp.

◆ libra_claimed_evaluation

template<typename Flavor >

FF bb::TranslatorStructuredProofBase< Flavor >::libra_claimed_evaluation

Definition at line 622 of file proof_structures.hpp.

◆ libra_concatenation_commitment

template<typename Flavor >

Commitment bb::TranslatorStructuredProofBase< Flavor >::libra_concatenation_commitment

Definition at line 613 of file proof_structures.hpp.

◆ libra_concatenation_eval

template<typename Flavor >

FF bb::TranslatorStructuredProofBase< Flavor >::libra_concatenation_eval

Definition at line 633 of file proof_structures.hpp.

◆ libra_grand_sum_commitment

template<typename Flavor >

Commitment bb::TranslatorStructuredProofBase< Flavor >::libra_grand_sum_commitment

Definition at line 625 of file proof_structures.hpp.

◆ libra_grand_sum_eval

template<typename Flavor >

FF bb::TranslatorStructuredProofBase< Flavor >::libra_grand_sum_eval

Definition at line 635 of file proof_structures.hpp.

◆ libra_quotient_commitment

template<typename Flavor >

Commitment bb::TranslatorStructuredProofBase< Flavor >::libra_quotient_commitment

Definition at line 626 of file proof_structures.hpp.

◆ libra_quotient_eval

template<typename Flavor >

FF bb::TranslatorStructuredProofBase< Flavor >::libra_quotient_eval

Definition at line 636 of file proof_structures.hpp.

◆ libra_shifted_grand_sum_eval

template<typename Flavor >

FF bb::TranslatorStructuredProofBase< Flavor >::libra_shifted_grand_sum_eval

Definition at line 634 of file proof_structures.hpp.

◆ libra_sum

template<typename Flavor >

FF bb::TranslatorStructuredProofBase< Flavor >::libra_sum

Definition at line 614 of file proof_structures.hpp.

◆ LOG_MINI_CIRCUIT_SIZE

template<typename Flavor >

constexpr size_t bb::TranslatorStructuredProofBase< Flavor >::LOG_MINI_CIRCUIT_SIZE = Flavor::LOG_MINI_CIRCUIT_SIZE

staticconstexpr

Definition at line 603 of file proof_structures.hpp.

◆ minicircuit_evaluations

template<typename Flavor >

std::array<FF, NUM_MINICIRCUIT_EVALUATIONS> bb::TranslatorStructuredProofBase< Flavor >::minicircuit_evaluations

Definition at line 619 of file proof_structures.hpp.

◆ NUM_ALL_ENTITIES

template<typename Flavor >

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

staticconstexpr

Definition at line 40 of file proof_structures.hpp.

◆ NUM_BATCH_WITNESS_COMMS

template<typename Flavor >

constexpr size_t bb::TranslatorStructuredProofBase< Flavor >::NUM_BATCH_WITNESS_COMMS = Flavor::NUM_COMMITMENTS_IN_PROOF

staticconstexpr

Definition at line 601 of file proof_structures.hpp.

◆ NUM_FULL_CIRCUIT_EVALUATIONS

template<typename Flavor >

constexpr size_t bb::TranslatorStructuredProofBase< Flavor >::NUM_FULL_CIRCUIT_EVALUATIONS = Flavor::NUM_FULL_CIRCUIT_EVALUATIONS

staticconstexpr

Definition at line 605 of file proof_structures.hpp.

◆ NUM_MINICIRCUIT_EVALUATIONS

template<typename Flavor >

constexpr size_t bb::TranslatorStructuredProofBase< Flavor >::NUM_MINICIRCUIT_EVALUATIONS = Flavor::NUM_MINICIRCUIT_EVALUATIONS

staticconstexpr

Definition at line 604 of file proof_structures.hpp.

◆ shplonk_q_comm

template<typename Flavor >

Commitment bb::TranslatorStructuredProofBase< Flavor >::shplonk_q_comm

Definition at line 639 of file proof_structures.hpp.

◆ sumcheck_univariates

template<typename Flavor >

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

Definition at line 617 of file proof_structures.hpp.

◆ witness_comms

template<typename Flavor >

std::vector<Commitment> bb::TranslatorStructuredProofBase< Flavor >::witness_comms

Definition at line 609 of file proof_structures.hpp.

◆ z_perm_comm

template<typename Flavor >

Commitment bb::TranslatorStructuredProofBase< Flavor >::z_perm_comm

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

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ Base

◆ Commitment

◆ FF

◆ ProofData

Member Function Documentation

◆ deserialize()

◆ serialize()

Member Data Documentation

◆ BATCHED_RELATION_PARTIAL_LENGTH

◆ full_circuit_evaluations

◆ gemini_fold_comms

◆ gemini_fold_evals

◆ gemini_masking_poly_comm

◆ kzg_w_comm

◆ libra_claimed_evaluation

◆ libra_concatenation_commitment

◆ libra_concatenation_eval

◆ libra_grand_sum_commitment

◆ libra_grand_sum_eval

◆ libra_quotient_commitment

◆ libra_quotient_eval

◆ libra_shifted_grand_sum_eval

◆ libra_sum

◆ LOG_MINI_CIRCUIT_SIZE

◆ minicircuit_evaluations

◆ NUM_ALL_ENTITIES

◆ NUM_BATCH_WITNESS_COMMS

◆ NUM_FULL_CIRCUIT_EVALUATIONS

◆ NUM_MINICIRCUIT_EVALUATIONS

◆ shplonk_q_comm

◆ sumcheck_univariates

◆ witness_comms

◆ z_perm_comm