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
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. Contains: accumulator commitments, multivariate challenges, evaluations, and sumcheck. Note: This protocol has no public inputs.

Definition at line 156 of file proof_length.hpp.

Member Data Documentation

LENGTH

template<typename Flavor >

constexpr size_t bb::ProofLength::MultilinearBatching< Flavor >::LENGTH

staticconstexpr

Initial value:

=
         (Flavor::NUM_ACCUMULATOR_COMMITMENTS * num_frs_in_comm) +
         (Flavor::VIRTUAL_LOG_N * num_frs_in_scalar) +
        
        (Flavor::NUM_ACCUMULATOR_EVALUATIONS * num_frs_in_scalar) + Sumcheck<Flavor>::LENGTH(Flavor::VIRTUAL_LOG_N)

Definition at line 160 of file proof_length.hpp.

---

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

• src/barretenberg/honk/proof_length.hpp