Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | Static Protected Member Functions | List of all members
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 std::shared_ptr< RecursiveVerifierInstance > create_recursive_verifier_instance (Builder *builder, const std::shared_ptr< NativeVerifierInstance > &native_instance)
 Test helper to create a recursive verifier instance from a native one.
 
static void tampering (std::shared_ptr< ProverInstance > &instance, const TamperingMode &mode)
 
static TranscriptManifest build_expected_folding_manifest ()
 Build the expected transcript manifest for HyperNova folding.
 
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

◆ build_expected_folding_manifest()

static TranscriptManifest HypernovaFoldingVerifierTests::build_expected_folding_manifest ( )
inlinestatic

Build the expected transcript manifest for HyperNova folding.

The manifest has 50 rounds total:

  • Oink (rounds 0-2): vk_hash, public inputs, wires, ECC ops, databus, lookup, inverses
  • Main sumcheck (rounds 3-25): gate_challenge, univariates, evaluations + batching challenges
  • Batching challenges (round 26): shifted challenges
  • MLB data (round 27): accumulator commitments/challenges/evaluations
  • MLB sumcheck (rounds 28-49): univariates, final evaluations + claim_batching_challenge

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

◆ 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.

◆ create_recursive_verifier_instance()

static std::shared_ptr< RecursiveVerifierInstance > HypernovaFoldingVerifierTests::create_recursive_verifier_instance ( Builder *  builder,
const std::shared_ptr< NativeVerifierInstance > &  native_instance 
)
inlinestatic

Test helper to create a recursive verifier instance from a native one.

Converts all fields from native to stdlib types for recursive verification testing

Definition at line 88 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 144 of file hypernova_verifier.test.cpp.

◆ test_folding()

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

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

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