bb::ProofLength::Shplemini< Flavor > Struct Template Reference

Computes Shplemini/PCS proof length from flavor traits. More...

#include <proof_length.hpp>

Inheritance diagram for bb::ProofLength::Shplemini< Flavor >:

Static Public Member Functions
static constexpr size_t	LENGTH (size_t log_n)

Additional Inherited Members
Public Types inherited from bb::ProofLength::CodecConstants< Flavor >
using	Codec = typename Flavor::Codec
using	Commitment = typename Flavor::Commitment
using	FF = typename Flavor::FF
Static Public Attributes inherited from bb::ProofLength::CodecConstants< Flavor >
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::Shplemini< Flavor >

Computes Shplemini/PCS proof length from flavor traits.

Shplemini reduces multivariate opening claims to a single KZG check. Contains: Gemini fold commitments, Gemini evaluations, Shplonk Q, KZG W. ZK flavors add small IPA evaluations for masking.

Definition at line 74 of file proof_length.hpp.

Member Function Documentation

LENGTH()

template<typename Flavor >

static constexpr size_t bb::ProofLength::Shplemini< Flavor >::LENGTH ( size_t  log_n )

inlinestaticconstexpr

Definition at line 78 of file proof_length.hpp.

---

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

• src/barretenberg/honk/proof_length.hpp