Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
List of all members
bb::StructuredProof< TranslatorFlavor > Struct Reference

#include <proof_structures.hpp>

Inheritance diagram for bb::StructuredProof< TranslatorFlavor >:
bb::TranslatorStructuredProofBase< TranslatorFlavor > bb::StructuredProofHelper< Flavor >

Additional Inherited Members

- Public Types inherited from bb::TranslatorStructuredProofBase< TranslatorFlavor >
using Base = StructuredProofHelper< TranslatorFlavor >
 
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 inherited from bb::TranslatorStructuredProofBase< TranslatorFlavor >
void deserialize (ProofData &proof_data, size_t, size_t log_n)
 
void serialize (ProofData &proof_data, size_t log_n) const
 
- Public Attributes inherited from bb::TranslatorStructuredProofBase< TranslatorFlavor >
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 inherited from bb::TranslatorStructuredProofBase< TranslatorFlavor >
static constexpr size_t NUM_BATCH_WITNESS_COMMS
 
static constexpr size_t LOG_MINI_CIRCUIT_SIZE
 
static constexpr size_t NUM_MINICIRCUIT_EVALUATIONS
 
static constexpr size_t 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
 
- 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

Definition at line 986 of file proof_structures.hpp.

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