HypernovaFoldingProverTests< Flavor_ > Class Template Reference

Inheritance diagram for HypernovaFoldingProverTests< Flavor_ >:

Public Types
using	Flavor = Flavor_
using	Builder = Flavor::CircuitBuilder
using	ProverInstance = ProverInstance_< Flavor >
using	CommitmentKey = Flavor::CommitmentKey
using	Transcript = HypernovaFoldingProver::Transcript
using	Accumulator = HypernovaFoldingProver::Accumulator

Static Public Member Functions
static std::shared_ptr< ProverInstance >	generate_new_instance (size_t log_num_gates=LOG_NUM_GATES)
static bool	validate_accumulator (Accumulator &accumulator)
	Check that an accumulator's claimed evaluations and commitments are consistent with its polynomials.
static Accumulator	fold_session (size_t num_instances, std::optional< Accumulator > previous_accumulator=std::nullopt)
	Run a folding session: accumulate num_instances fresh instances on a new transcript, then finalize against an optional previous accumulator. Returns the folded accumulator.

Static Public Attributes
static constexpr size_t	LOG_NUM_GATES = 4

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

template<typename Flavor_>
class HypernovaFoldingProverTests< Flavor_ >

Definition at line 13 of file hypernova_prover.test.cpp.

Member Typedef Documentation

Accumulator

template<typename Flavor_ >

using HypernovaFoldingProverTests< Flavor_ >::Accumulator = HypernovaFoldingProver::Accumulator

Definition at line 23 of file hypernova_prover.test.cpp.

Builder

template<typename Flavor_ >

using HypernovaFoldingProverTests< Flavor_ >::Builder = Flavor::CircuitBuilder

Definition at line 19 of file hypernova_prover.test.cpp.

CommitmentKey

template<typename Flavor_ >

using HypernovaFoldingProverTests< Flavor_ >::CommitmentKey = Flavor::CommitmentKey

Definition at line 21 of file hypernova_prover.test.cpp.

Flavor

template<typename Flavor_ >

using HypernovaFoldingProverTests< Flavor_ >::Flavor = Flavor_

Definition at line 18 of file hypernova_prover.test.cpp.

ProverInstance

template<typename Flavor_ >

using HypernovaFoldingProverTests< Flavor_ >::ProverInstance = ProverInstance_<Flavor>

Definition at line 20 of file hypernova_prover.test.cpp.

Transcript

template<typename Flavor_ >

using HypernovaFoldingProverTests< Flavor_ >::Transcript = HypernovaFoldingProver::Transcript

Definition at line 22 of file hypernova_prover.test.cpp.

Member Function Documentation

fold_session()

template<typename Flavor_ >

static Accumulator HypernovaFoldingProverTests< Flavor_ >::fold_session ( size_t  num_instances, std::optional< Accumulator >  previous_accumulator = std::nullopt  )

inlinestatic

Run a folding session: accumulate num_instances fresh instances on a new transcript, then finalize against an optional previous accumulator. Returns the folded accumulator.

Definition at line 74 of file hypernova_prover.test.cpp.

generate_new_instance()

template<typename Flavor_ >

static std::shared_ptr< ProverInstance > HypernovaFoldingProverTests< Flavor_ >::generate_new_instance ( size_t  log_num_gates = LOG_NUM_GATES )

inlinestatic

Definition at line 27 of file hypernova_prover.test.cpp.

SetUpTestSuite()

template<typename Flavor_ >

static void HypernovaFoldingProverTests< Flavor_ >::SetUpTestSuite ( )

inlinestaticprotected

Definition at line 15 of file hypernova_prover.test.cpp.

validate_accumulator()

template<typename Flavor_ >

static bool HypernovaFoldingProverTests< Flavor_ >::validate_accumulator ( Accumulator &  accumulator )

inlinestatic

Check that an accumulator's claimed evaluations and commitments are consistent with its polynomials.

Definition at line 41 of file hypernova_prover.test.cpp.

Member Data Documentation

LOG_NUM_GATES

template<typename Flavor_ >

constexpr size_t HypernovaFoldingProverTests< Flavor_ >::LOG_NUM_GATES = 4

staticconstexpr

Definition at line 25 of file hypernova_prover.test.cpp.

---

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

• src/barretenberg/hypernova/hypernova_prover.test.cpp