Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Static Public Attributes | List of all members
bb::ECCVMStructuredProofBase< Flavor > Struct Template Reference

#include <proof_structures.hpp>

Inheritance diagram for bb::ECCVMStructuredProofBase< Flavor >:
bb::StructuredProofHelper< 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 > wire_comms
 
Commitment lookup_inverses_comm
 
Commitment z_perm_comm
 
Commitment libra_concatenation_commitment
 
FF libra_sum
 
std::vector< Commitment > sumcheck_round_comms
 
std::vector< FF > sumcheck_round_eval_0s
 
std::vector< FF > sumcheck_round_eval_1s
 
std::array< FF, NUM_ALL_ENTITIES > sumcheck_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 translation_masking_comm
 
FF translation_op_eval
 
FF translation_Px_eval
 
FF translation_Py_eval
 
FF translation_z1_eval
 
FF translation_z2_eval
 
FF translation_masking_eval
 
Commitment translation_grand_sum_commitment
 
Commitment translation_quotient_commitment
 
FF translation_concatenation_eval
 
FF translation_shifted_grand_sum_eval
 
FF translation_grand_sum_eval
 
FF translation_quotient_eval
 
Commitment final_shplonk_q_comm
 

Static Public Attributes

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

Definition at line 763 of file proof_structures.hpp.

Member Typedef Documentation

◆ Base

template<typename Flavor >
using bb::ECCVMStructuredProofBase< Flavor >::Base = StructuredProofHelper<Flavor>

Definition at line 764 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::ECCVMStructuredProofBase< Flavor >::deserialize ( ProofData &  proof_data,
size_t  ,
size_t  log_n 
)
inline

Definition at line 824 of file proof_structures.hpp.

◆ serialize()

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

Definition at line 898 of file proof_structures.hpp.

Member Data Documentation

◆ final_shplonk_q_comm

template<typename Flavor >
Commitment bb::ECCVMStructuredProofBase< Flavor >::final_shplonk_q_comm

Definition at line 822 of file proof_structures.hpp.

◆ gemini_fold_comms

template<typename Flavor >
std::vector<Commitment> bb::ECCVMStructuredProofBase< Flavor >::gemini_fold_comms

Definition at line 794 of file proof_structures.hpp.

◆ gemini_fold_evals

template<typename Flavor >
std::vector<FF> bb::ECCVMStructuredProofBase< Flavor >::gemini_fold_evals

Definition at line 795 of file proof_structures.hpp.

◆ gemini_masking_poly_comm

template<typename Flavor >
Commitment bb::ECCVMStructuredProofBase< Flavor >::gemini_masking_poly_comm

Definition at line 771 of file proof_structures.hpp.

◆ libra_claimed_evaluation

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

Definition at line 789 of file proof_structures.hpp.

◆ libra_concatenation_commitment

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

Definition at line 777 of file proof_structures.hpp.

◆ libra_concatenation_eval

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

Definition at line 798 of file proof_structures.hpp.

◆ libra_grand_sum_commitment

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

Definition at line 790 of file proof_structures.hpp.

◆ libra_grand_sum_eval

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

Definition at line 800 of file proof_structures.hpp.

◆ libra_quotient_commitment

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

Definition at line 791 of file proof_structures.hpp.

◆ libra_quotient_eval

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

Definition at line 801 of file proof_structures.hpp.

◆ libra_shifted_grand_sum_eval

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

Definition at line 799 of file proof_structures.hpp.

◆ libra_sum

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

Definition at line 778 of file proof_structures.hpp.

◆ lookup_inverses_comm

template<typename Flavor >
Commitment bb::ECCVMStructuredProofBase< Flavor >::lookup_inverses_comm

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

◆ shplonk_q_comm

template<typename Flavor >
Commitment bb::ECCVMStructuredProofBase< Flavor >::shplonk_q_comm

Definition at line 804 of file proof_structures.hpp.

◆ sumcheck_evaluations

template<typename Flavor >
std::array<FF, NUM_ALL_ENTITIES> bb::ECCVMStructuredProofBase< Flavor >::sumcheck_evaluations

Definition at line 786 of file proof_structures.hpp.

◆ sumcheck_round_comms

template<typename Flavor >
std::vector<Commitment> bb::ECCVMStructuredProofBase< Flavor >::sumcheck_round_comms

Definition at line 781 of file proof_structures.hpp.

◆ sumcheck_round_eval_0s

template<typename Flavor >
std::vector<FF> bb::ECCVMStructuredProofBase< Flavor >::sumcheck_round_eval_0s

Definition at line 782 of file proof_structures.hpp.

◆ sumcheck_round_eval_1s

template<typename Flavor >
std::vector<FF> bb::ECCVMStructuredProofBase< Flavor >::sumcheck_round_eval_1s

Definition at line 783 of file proof_structures.hpp.

◆ translation_concatenation_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_concatenation_eval

Definition at line 816 of file proof_structures.hpp.

◆ translation_grand_sum_commitment

template<typename Flavor >
Commitment bb::ECCVMStructuredProofBase< Flavor >::translation_grand_sum_commitment

Definition at line 814 of file proof_structures.hpp.

◆ translation_grand_sum_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_grand_sum_eval

Definition at line 818 of file proof_structures.hpp.

◆ translation_masking_comm

template<typename Flavor >
Commitment bb::ECCVMStructuredProofBase< Flavor >::translation_masking_comm

Definition at line 807 of file proof_structures.hpp.

◆ translation_masking_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_masking_eval

Definition at line 813 of file proof_structures.hpp.

◆ translation_op_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_op_eval

Definition at line 808 of file proof_structures.hpp.

◆ translation_Px_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_Px_eval

Definition at line 809 of file proof_structures.hpp.

◆ translation_Py_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_Py_eval

Definition at line 810 of file proof_structures.hpp.

◆ translation_quotient_commitment

template<typename Flavor >
Commitment bb::ECCVMStructuredProofBase< Flavor >::translation_quotient_commitment

Definition at line 815 of file proof_structures.hpp.

◆ translation_quotient_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_quotient_eval

Definition at line 819 of file proof_structures.hpp.

◆ translation_shifted_grand_sum_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_shifted_grand_sum_eval

Definition at line 817 of file proof_structures.hpp.

◆ translation_z1_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_z1_eval

Definition at line 811 of file proof_structures.hpp.

◆ translation_z2_eval

template<typename Flavor >
FF bb::ECCVMStructuredProofBase< Flavor >::translation_z2_eval

Definition at line 812 of file proof_structures.hpp.

◆ wire_comms

template<typename Flavor >
std::vector<Commitment> bb::ECCVMStructuredProofBase< Flavor >::wire_comms

Definition at line 772 of file proof_structures.hpp.

◆ z_perm_comm

template<typename Flavor >
Commitment bb::ECCVMStructuredProofBase< Flavor >::z_perm_comm

Definition at line 774 of file proof_structures.hpp.

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