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

Codec constants computed from Flavor types. More...

#include <proof_length.hpp>

Inheritance diagram for bb::ProofLength::CodecConstants< Flavor >:
bb::ProofLength::MultilinearBatching< Flavor > bb::ProofLength::Oink< Flavor > bb::ProofLength::Shplemini< Flavor > bb::ProofLength::Sumcheck< Flavor >

Public Types

using Codec = typename Flavor::Codec
 
using Commitment = typename Flavor::Commitment
 
using FF = typename Flavor::FF
 

Static Public Attributes

static constexpr size_t num_frs_in_comm = Codec::template calc_num_fields<Commitment>()
 
static constexpr size_t num_frs_in_scalar = Codec::template calc_num_fields<FF>()
 

Detailed Description

template<typename Flavor>
struct bb::ProofLength::CodecConstants< Flavor >

Codec constants computed from Flavor types.

Uses Flavor::Codec to compute serialization sizes. All flavors define Codec:

  • Native flavors: FrCodec (or U256Codec for Keccak)
  • Recursive flavors: StdlibCodec<FF> Both codecs return the same values for calc_num_fields since proof serialization is identical.

Definition at line 23 of file proof_length.hpp.

Member Typedef Documentation

◆ Codec

template<typename Flavor >
using bb::ProofLength::CodecConstants< Flavor >::Codec = typename Flavor::Codec

Definition at line 24 of file proof_length.hpp.

◆ Commitment

template<typename Flavor >
using bb::ProofLength::CodecConstants< Flavor >::Commitment = typename Flavor::Commitment

Definition at line 25 of file proof_length.hpp.

◆ FF

template<typename Flavor >
using bb::ProofLength::CodecConstants< Flavor >::FF = typename Flavor::FF

Definition at line 26 of file proof_length.hpp.

Member Data Documentation

◆ num_frs_in_comm

template<typename Flavor >
constexpr size_t bb::ProofLength::CodecConstants< Flavor >::num_frs_in_comm = Codec::template calc_num_fields<Commitment>()
staticconstexpr

Definition at line 28 of file proof_length.hpp.

◆ num_frs_in_scalar

template<typename Flavor >
constexpr size_t bb::ProofLength::CodecConstants< Flavor >::num_frs_in_scalar = Codec::template calc_num_fields<FF>()
staticconstexpr

Definition at line 29 of file proof_length.hpp.

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