HypernovaDeciderVerifierTests Class Reference

Inheritance diagram for HypernovaDeciderVerifierTests:

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

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	tamper_with_accumulator (NativeProverAccumulator &accumulator, const TamperingMode &mode)
static void	tamper_with_instance (std::shared_ptr< ProverInstance > &instance, const TamperingMode &mode)
static void	test_decider (const TamperingMode &mode)

Static Protected Member Functions
static void	SetUpTestSuite ()

Detailed Description

Definition at line 12 of file hypernova_decider_verifier.test.cpp.

Member Typedef Documentation

Builder

using HypernovaDeciderVerifierTests::Builder = RecursiveFlavor::CircuitBuilder

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

CommitmentKey

using HypernovaDeciderVerifierTests::CommitmentKey = NativeFlavor::CommitmentKey

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

HypernovaDeciderProver

using HypernovaDeciderVerifierTests::HypernovaDeciderProver = bb::HypernovaDeciderProver

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

HypernovaFoldingProver

using HypernovaDeciderVerifierTests::HypernovaFoldingProver = bb::HypernovaFoldingProver

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

NativeFF

using HypernovaDeciderVerifierTests::NativeFF = NativeFlavor::FF

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

NativeFlavor

using HypernovaDeciderVerifierTests::NativeFlavor = NativeHypernovaDeciderVerifier::Flavor

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

NativeHypernovaDeciderVerifier

using HypernovaDeciderVerifierTests::NativeHypernovaDeciderVerifier = HypernovaDeciderVerifier<bb::MegaFlavor>

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

NativeHypernovaVerifier

using HypernovaDeciderVerifierTests::NativeHypernovaVerifier = HypernovaFoldingVerifier<NativeFlavor>

Definition at line 45 of file hypernova_decider_verifier.test.cpp.

NativeProverAccumulator

using HypernovaDeciderVerifierTests::NativeProverAccumulator = HypernovaFoldingProver::Accumulator

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

NativeTranscript

using HypernovaDeciderVerifierTests::NativeTranscript = NativeHypernovaDeciderVerifier::Transcript

Definition at line 32 of file hypernova_decider_verifier.test.cpp.

NativeVerificationKey

using HypernovaDeciderVerifierTests::NativeVerificationKey = NativeFlavor::VerificationKey

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

NativeVerifierAccumulator

using HypernovaDeciderVerifierTests::NativeVerifierAccumulator = NativeHypernovaDeciderVerifier::Accumulator

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

NativeVerifierInstance

using HypernovaDeciderVerifierTests::NativeVerifierInstance = NativeHypernovaVerifier::VerifierInstance

Definition at line 46 of file hypernova_decider_verifier.test.cpp.

ProverInstance

using HypernovaDeciderVerifierTests::ProverInstance = HypernovaFoldingProver::ProverInstance

Definition at line 37 of file hypernova_decider_verifier.test.cpp.

RecursiveFlavor

using HypernovaDeciderVerifierTests::RecursiveFlavor = RecursiveHypernovaDeciderVerifier::Flavor

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

RecursiveHypernovaDeciderVerifier

using HypernovaDeciderVerifierTests::RecursiveHypernovaDeciderVerifier = HypernovaDeciderVerifier<bb::MegaRecursiveFlavor_<bb::MegaCircuitBuilder> >

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

RecursiveHypernovaVerifier

using HypernovaDeciderVerifierTests::RecursiveHypernovaVerifier = HypernovaFoldingVerifier<RecursiveFlavor>

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

RecursiveProof

using HypernovaDeciderVerifierTests::RecursiveProof = RecursiveHypernovaDeciderVerifier::Proof

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

RecursiveTranscript

using HypernovaDeciderVerifierTests::RecursiveTranscript = RecursiveHypernovaDeciderVerifier::Transcript

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

RecursiveVerifierInstance

using HypernovaDeciderVerifierTests::RecursiveVerifierInstance = RecursiveHypernovaVerifier::VerifierInstance

Definition at line 42 of file hypernova_decider_verifier.test.cpp.

Member Enumeration Documentation

TamperingMode

enum class HypernovaDeciderVerifierTests::TamperingMode : uint8_t

strong

Enumerator
None
Accumulator
Instance
FoldedAccumulator

Definition at line 48 of file hypernova_decider_verifier.test.cpp.

Member Function Documentation

compare_prover_verifier_accumulators()

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

inlinestatic

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

generate_new_instance()

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

inlinestatic

Definition at line 50 of file hypernova_decider_verifier.test.cpp.

SetUpTestSuite()

static void HypernovaDeciderVerifierTests::SetUpTestSuite ( )

inlinestaticprotected

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

tamper_with_accumulator()

static void HypernovaDeciderVerifierTests::tamper_with_accumulator ( NativeProverAccumulator &  accumulator, const TamperingMode &  mode  )

inlinestatic

Definition at line 91 of file hypernova_decider_verifier.test.cpp.

tamper_with_instance()

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

inlinestatic

Definition at line 111 of file hypernova_decider_verifier.test.cpp.

test_decider()

static void HypernovaDeciderVerifierTests::test_decider ( const TamperingMode &  mode )

inlinestatic

Definition at line 125 of file hypernova_decider_verifier.test.cpp.

---

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

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