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

Hypernova instance-to-accumulator 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>
struct bb::ProofLength::HypernovaInstanceToAccum< Flavor >

Hypernova instance-to-accumulator proof layout.

Used when converting a single instance to an accumulator (first circuit in folding). Contains: Oink + Sumcheck (no Shplemini - PCS is deferred). Note: gate challenge is derived via get_dyadic_powers_of_challenge, not sent.

Definition at line 138 of file proof_length.hpp.

Member Function Documentation

derive_num_public_inputs()

template<typename Flavor >

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

inlinestaticconstexpr

Definition at line 144 of file proof_length.hpp.

LENGTH_WITHOUT_PUB_INPUTS()

template<typename Flavor >

static constexpr size_t bb::ProofLength::HypernovaInstanceToAccum< Flavor >::LENGTH_WITHOUT_PUB_INPUTS ( size_t  log_n )

inlinestaticconstexpr

Definition at line 139 of file proof_length.hpp.

---

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

• src/barretenberg/honk/proof_length.hpp