HypernovaFoldingVerifierTests Class Reference

Inheritance diagram for HypernovaFoldingVerifierTests:

Public Types
enum class	TamperingMode : uint8_t { None , Instance }
using	RecursiveHypernovaVerifier = HypernovaFoldingVerifier< bb::MegaRecursiveFlavor_< bb::MegaCircuitBuilder > >
using	RecursiveFlavor = RecursiveHypernovaVerifier::Flavor
using	RecursiveVerifierInstance = RecursiveHypernovaVerifier::VerifierInstance
using	Builder = RecursiveFlavor::CircuitBuilder
using	RecursiveTranscript = RecursiveHypernovaVerifier::Transcript
using	RecursiveProof = RecursiveHypernovaVerifier::Proof
using	NativeHypernovaVerifier = HypernovaFoldingVerifier< bb::MegaFlavor >
using	NativeFlavor = NativeHypernovaVerifier::Flavor
using	NativeFF = NativeFlavor::FF
using	NativeVerifierAccumulator = NativeHypernovaVerifier::Accumulator
using	NativeVerificationKey = NativeFlavor::VerificationKey
using	NativeVerifierInstance = NativeHypernovaVerifier::VerifierInstance
using	NativeTranscript = NativeHypernovaVerifier::Transcript
using	HypernovaFoldingProver = bb::HypernovaFoldingProver
using	NativeProverAccumulator = HypernovaFoldingProver::Accumulator
using	ProverInstance = HypernovaFoldingProver::ProverInstance

Static Public Member Functions
static std::shared_ptr< ProverInstance >	generate_new_instance (size_t log_num_gates=4)
static bool	compare_prover_verifier_accumulators (const NativeProverAccumulator &lhs, const NativeVerifierAccumulator &rhs)
static void	tampering (std::shared_ptr< ProverInstance > &instance, const TamperingMode &mode)
static void	test_folding (const TamperingMode &mode)

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

Definition at line 11 of file hypernova_verifier.test.cpp.

Member Typedef Documentation

Builder

using HypernovaFoldingVerifierTests::Builder = RecursiveFlavor::CircuitBuilder

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

HypernovaFoldingProver

using HypernovaFoldingVerifierTests::HypernovaFoldingProver = bb::HypernovaFoldingProver

Definition at line 34 of file hypernova_verifier.test.cpp.

NativeFF

using HypernovaFoldingVerifierTests::NativeFF = NativeFlavor::FF

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

NativeFlavor

using HypernovaFoldingVerifierTests::NativeFlavor = NativeHypernovaVerifier::Flavor

Definition at line 26 of file hypernova_verifier.test.cpp.

NativeHypernovaVerifier

using HypernovaFoldingVerifierTests::NativeHypernovaVerifier = HypernovaFoldingVerifier<bb::MegaFlavor>

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

NativeProverAccumulator

using HypernovaFoldingVerifierTests::NativeProverAccumulator = HypernovaFoldingProver::Accumulator

Definition at line 35 of file hypernova_verifier.test.cpp.

NativeTranscript

using HypernovaFoldingVerifierTests::NativeTranscript = NativeHypernovaVerifier::Transcript

Definition at line 31 of file hypernova_verifier.test.cpp.

NativeVerificationKey

using HypernovaFoldingVerifierTests::NativeVerificationKey = NativeFlavor::VerificationKey

Definition at line 29 of file hypernova_verifier.test.cpp.

NativeVerifierAccumulator

using HypernovaFoldingVerifierTests::NativeVerifierAccumulator = NativeHypernovaVerifier::Accumulator

Definition at line 28 of file hypernova_verifier.test.cpp.

NativeVerifierInstance

using HypernovaFoldingVerifierTests::NativeVerifierInstance = NativeHypernovaVerifier::VerifierInstance

Definition at line 30 of file hypernova_verifier.test.cpp.

ProverInstance

using HypernovaFoldingVerifierTests::ProverInstance = HypernovaFoldingProver::ProverInstance

Definition at line 36 of file hypernova_verifier.test.cpp.

RecursiveFlavor

using HypernovaFoldingVerifierTests::RecursiveFlavor = RecursiveHypernovaVerifier::Flavor

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

RecursiveHypernovaVerifier

using HypernovaFoldingVerifierTests::RecursiveHypernovaVerifier = HypernovaFoldingVerifier<bb::MegaRecursiveFlavor_<bb::MegaCircuitBuilder> >

Definition at line 17 of file hypernova_verifier.test.cpp.

RecursiveProof

using HypernovaFoldingVerifierTests::RecursiveProof = RecursiveHypernovaVerifier::Proof

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

RecursiveTranscript

using HypernovaFoldingVerifierTests::RecursiveTranscript = RecursiveHypernovaVerifier::Transcript

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

RecursiveVerifierInstance

using HypernovaFoldingVerifierTests::RecursiveVerifierInstance = RecursiveHypernovaVerifier::VerifierInstance

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

Member Enumeration Documentation

TamperingMode

enum class HypernovaFoldingVerifierTests::TamperingMode : uint8_t

strong

Enumerator
None
Instance

Definition at line 38 of file hypernova_verifier.test.cpp.

Member Function Documentation

compare_prover_verifier_accumulators()

static bool HypernovaFoldingVerifierTests::compare_prover_verifier_accumulators ( const NativeProverAccumulator &  lhs, const NativeVerifierAccumulator &  rhs  )

inlinestatic

Definition at line 56 of file hypernova_verifier.test.cpp.

generate_new_instance()

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

inlinestatic

Definition at line 43 of file hypernova_verifier.test.cpp.

SetUpTestSuite()

static void HypernovaFoldingVerifierTests::SetUpTestSuite ( )

inlinestaticprotected

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

tampering()

static void HypernovaFoldingVerifierTests::tampering ( std::shared_ptr< ProverInstance > &  instance, const TamperingMode &  mode  )

inlinestatic

Definition at line 84 of file hypernova_verifier.test.cpp.

test_folding()

static void HypernovaFoldingVerifierTests::test_folding ( const TamperingMode &  mode )

inlinestatic

Definition at line 96 of file hypernova_verifier.test.cpp.

---

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

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