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

MultilinearBatching proof layout (used by HyperNova folding). More...

#include <proof_length.hpp>

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

Static Public Attributes
static constexpr size_t	LENGTH = Sumcheck<Flavor>::LENGTH(Flavor::VIRTUAL_LOG_N)
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>()

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

Detailed Description

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

MultilinearBatching proof layout (used by HyperNova folding).

Batches two accumulators (from previous fold + incoming instance) into one. It only contains the sumcheck proof as the accumulator data is received as inputs by the verifier's methods.

Definition at line 160 of file proof_length.hpp.

Member Data Documentation

LENGTH

template<typename Flavor >

constexpr size_t bb::ProofLength::MultilinearBatching< Flavor >::LENGTH = Sumcheck<Flavor>::LENGTH(Flavor::VIRTUAL_LOG_N)

staticconstexpr

Definition at line 164 of file proof_length.hpp.

---

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

• src/barretenberg/honk/proof_length.hpp