HypernovaFoldingProverTests Class Reference

Inheritance diagram for HypernovaFoldingProverTests:

Public Types
enum class	TamperingMode : uint8_t { None , Accumulator }
using	Builder = HypernovaFoldingProver::Flavor::CircuitBuilder
using	ProverInstance = HypernovaFoldingProver::ProverInstance
using	CommitmentKey = HypernovaFoldingProver::Flavor::CommitmentKey
using	Transcript = HypernovaFoldingProver::Transcript

Static Public Member Functions
static std::shared_ptr< ProverInstance >	generate_new_instance (size_t log_num_gates=4)
static bool	validate_accumulator (HypernovaFoldingProver::Accumulator &accumulator)
static void	tampering (HypernovaFoldingProver::Accumulator &accumulator, const TamperingMode &mode)
static HypernovaFoldingProver::Accumulator	test_folding (const TamperingMode &mode)

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

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

Member Typedef Documentation

Builder

using HypernovaFoldingProverTests::Builder = HypernovaFoldingProver::Flavor::CircuitBuilder

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

CommitmentKey

using HypernovaFoldingProverTests::CommitmentKey = HypernovaFoldingProver::Flavor::CommitmentKey

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

ProverInstance

using HypernovaFoldingProverTests::ProverInstance = HypernovaFoldingProver::ProverInstance

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

Transcript

using HypernovaFoldingProverTests::Transcript = HypernovaFoldingProver::Transcript

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

Member Enumeration Documentation

TamperingMode

enum class HypernovaFoldingProverTests::TamperingMode : uint8_t

strong

Enumerator
None
Accumulator

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

Member Function Documentation

generate_new_instance()

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

inlinestatic

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

SetUpTestSuite()

static void HypernovaFoldingProverTests::SetUpTestSuite ( )

inlinestaticprotected

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

tampering()

static void HypernovaFoldingProverTests::tampering ( HypernovaFoldingProver::Accumulator &  accumulator, const TamperingMode &  mode  )

inlinestatic

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

test_folding()

static HypernovaFoldingProver::Accumulator HypernovaFoldingProverTests::test_folding ( const TamperingMode &  mode )

inlinestatic

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

validate_accumulator()

static bool HypernovaFoldingProverTests::validate_accumulator ( HypernovaFoldingProver::Accumulator &  accumulator )

inlinestatic

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

---

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

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