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

#include <proof_structures.hpp>

Inheritance diagram for bb::StructuredProofHelper< Flavor >:
bb::MegaStructuredProofBase< MegaFlavor > bb::MegaStructuredProofBase< MegaZKFlavor > bb::UltraStructuredProofBase< UltraFlavor > bb::UltraStructuredProofBase< UltraKeccakFlavor > bb::UltraStructuredProofBase< UltraKeccakZKFlavor > bb::UltraStructuredProofBase< UltraRollupFlavor > bb::UltraStructuredProofBase< UltraZKFlavor > bb::MegaStructuredProofBase< Flavor > bb::UltraStructuredProofBase< Flavor >

Public Types

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
 

Static Public Attributes

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

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

Definition at line 32 of file proof_structures.hpp.

Member Typedef Documentation

◆ Codec

template<typename Flavor >
using bb::StructuredProofHelper< Flavor >::Codec = typename Transcript::Codec

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

◆ Transcript

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

Definition at line 35 of file proof_structures.hpp.

Member Function Documentation

◆ deserialize_from_buffer()

template<typename Flavor >
template<typename T >
static T bb::StructuredProofHelper< Flavor >::deserialize_from_buffer ( const ProofData proof_data,
size_t &  offset 
)
inlinestaticprotected

Definition at line 42 of file proof_structures.hpp.

◆ serialize_to_buffer()

template<typename Flavor >
template<typename T >
static void bb::StructuredProofHelper< Flavor >::serialize_to_buffer ( const T &  element,
ProofData proof_data 
)
inlinestaticprotected

Definition at line 51 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 = Flavor::BATCHED_RELATION_PARTIAL_LENGTH
staticconstexpr

Definition at line 38 of file proof_structures.hpp.

◆ NUM_ALL_ENTITIES

template<typename Flavor >
constexpr size_t bb::StructuredProofHelper< Flavor >::NUM_ALL_ENTITIES = Flavor::NUM_ALL_ENTITIES
staticconstexpr

Definition at line 39 of file proof_structures.hpp.


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