bb::ProofLength::HypernovaFolding< Flavor, BatchingFlavor > Struct Template Reference

Hypernova folding proof layout. More...

#include <proof_length.hpp>

Static Public Member Functions
static constexpr size_t	LENGTH_WITHOUT_PUB_INPUTS (size_t log_n)
static constexpr size_t	derive_num_public_inputs (size_t proof_size, size_t log_n)

Detailed Description

template<typename Flavor, typename BatchingFlavor>
struct bb::ProofLength::HypernovaFolding< Flavor, BatchingFlavor >

Hypernova folding proof layout.

Used when folding an incoming instance with an existing accumulator. Contains: instance-to-accumulator proof (Oink + Sumcheck) + MultilinearBatching proof. Note: gate challenges are derived, not sent in the proof.

Template Parameters

Flavor	The outer flavor (e.g., MegaFlavor)
BatchingFlavor	The batching flavor (e.g., MultilinearBatchingFlavor)

Definition at line 175 of file proof_length.hpp.

Member Function Documentation

derive_num_public_inputs()

template<typename Flavor , typename BatchingFlavor >

static constexpr size_t bb::ProofLength::HypernovaFolding< Flavor, BatchingFlavor >::derive_num_public_inputs ( size_t  proof_size, size_t  log_n  )

inlinestaticconstexpr

Definition at line 182 of file proof_length.hpp.

LENGTH_WITHOUT_PUB_INPUTS()

template<typename Flavor , typename BatchingFlavor >

static constexpr size_t bb::ProofLength::HypernovaFolding< Flavor, BatchingFlavor >::LENGTH_WITHOUT_PUB_INPUTS ( size_t  log_n )

inlinestaticconstexpr

Definition at line 176 of file proof_length.hpp.

---

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

• src/barretenberg/honk/proof_length.hpp