Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::MegaZKStructuredProofBase< Flavor > Struct Template Reference

#include <proof_structures.hpp>

Inheritance diagram for bb::MegaZKStructuredProofBase< Flavor >:
bb::MegaStructuredProofBase< Flavor > bb::StructuredProofHelper< Flavor >

Public Types

using Base = MegaStructuredProofBase< Flavor >
 
using Commitment = typename Flavor::Commitment
 
using FF = typename Flavor::FF
 
using ProofData = typename Transcript::Proof
 
- Public Types inherited from bb::MegaStructuredProofBase< Flavor >
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 Member Functions inherited from bb::MegaStructuredProofBase< Flavor >
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

Commitment hiding_polynomial_commitment
 
Commitment libra_concatenation_commitment
 
FF libra_sum
 
FF libra_claimed_evaluation
 
Commitment libra_grand_sum_commitment
 
Commitment libra_quotient_commitment
 
FF libra_concatenation_eval
 
FF libra_shifted_grand_sum_eval
 
FF libra_grand_sum_eval
 
FF libra_quotient_eval
 
- Public Attributes inherited from bb::MegaStructuredProofBase< Flavor >
std::vector< FFpublic_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_ENTITIESsumcheck_evaluations
 
std::vector< Commitmentgemini_fold_comms
 
std::vector< FFgemini_fold_evals
 
Commitment shplonk_q_comm
 
Commitment kzg_w_comm
 

Additional Inherited Members

- Static Public Attributes inherited from bb::MegaStructuredProofBase< Flavor >
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 inherited from bb::MegaStructuredProofBase< Flavor >
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
 
- 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::MegaZKStructuredProofBase< Flavor >

Definition at line 490 of file proof_structures.hpp.

Member Typedef Documentation

◆ Base

Definition at line 491 of file proof_structures.hpp.

◆ Commitment

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

Definition at line 306 of file proof_structures.hpp.

◆ FF

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

Definition at line 307 of file proof_structures.hpp.

◆ ProofData

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

Definition at line 308 of file proof_structures.hpp.

Member Function Documentation

◆ deserialize()

template<typename Flavor >
void bb::MegaZKStructuredProofBase< Flavor >::deserialize ( ProofData proof_data,
size_t  num_public_inputs,
size_t  log_n 
)
inline

Definition at line 508 of file proof_structures.hpp.

◆ serialize()

template<typename Flavor >
void bb::MegaZKStructuredProofBase< Flavor >::serialize ( ProofData proof_data,
size_t  log_n 
) const
inline

Definition at line 548 of file proof_structures.hpp.

Member Data Documentation

◆ hiding_polynomial_commitment

template<typename Flavor >
Commitment bb::MegaZKStructuredProofBase< Flavor >::hiding_polynomial_commitment

Definition at line 497 of file proof_structures.hpp.

◆ libra_claimed_evaluation

template<typename Flavor >
FF bb::MegaZKStructuredProofBase< Flavor >::libra_claimed_evaluation

Definition at line 500 of file proof_structures.hpp.

◆ libra_concatenation_commitment

template<typename Flavor >
Commitment bb::MegaZKStructuredProofBase< Flavor >::libra_concatenation_commitment

Definition at line 498 of file proof_structures.hpp.

◆ libra_concatenation_eval

template<typename Flavor >
FF bb::MegaZKStructuredProofBase< Flavor >::libra_concatenation_eval

Definition at line 503 of file proof_structures.hpp.

◆ libra_grand_sum_commitment

template<typename Flavor >
Commitment bb::MegaZKStructuredProofBase< Flavor >::libra_grand_sum_commitment

Definition at line 501 of file proof_structures.hpp.

◆ libra_grand_sum_eval

template<typename Flavor >
FF bb::MegaZKStructuredProofBase< Flavor >::libra_grand_sum_eval

Definition at line 505 of file proof_structures.hpp.

◆ libra_quotient_commitment

template<typename Flavor >
Commitment bb::MegaZKStructuredProofBase< Flavor >::libra_quotient_commitment

Definition at line 502 of file proof_structures.hpp.

◆ libra_quotient_eval

template<typename Flavor >
FF bb::MegaZKStructuredProofBase< Flavor >::libra_quotient_eval

Definition at line 506 of file proof_structures.hpp.

◆ libra_shifted_grand_sum_eval

template<typename Flavor >
FF bb::MegaZKStructuredProofBase< Flavor >::libra_shifted_grand_sum_eval

Definition at line 504 of file proof_structures.hpp.

◆ libra_sum

template<typename Flavor >
FF bb::MegaZKStructuredProofBase< Flavor >::libra_sum

Definition at line 499 of file proof_structures.hpp.


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