bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests Class Reference

Inheritance diagram for bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests:

Classes
struct	RecursiveFoldingData

Public Types
enum class	AccumulatorTamperingMode : uint8_t {   None , Wires , Alphas , GateChallenges ,   RelationParameters , TargetSum }
enum class	InstanceTamperingMode : uint8_t { None , Wires }
enum class	ProofTamperingMode : uint8_t { None , Perturbator , CombinerQuotient }
using	RecursiveFlavor = MegaRecursiveFlavor_< MegaCircuitBuilder >
using	RecursiveBuilder = RecursiveFlavor::CircuitBuilder
using	RecursiveVerifierInstance = RecursiveVerifierInstance_< RecursiveFlavor >
using	RecursiveVerificationKey = RecursiveVerifierInstance::VerificationKey
using	RecursiveVKAndHash = RecursiveVerifierInstance::VKAndHash
using	RecursiveFoldingVerifier = ProtogalaxyRecursiveVerifier_< RecursiveVerifierInstance >
using	RecursiveFF = RecursiveFlavor::FF
using	RecursiveCommitment = RecursiveFlavor::Commitment
using	NativeFlavor = RecursiveFlavor::NativeFlavor
using	ProtogalaxyTestUtils = ProtogalaxyTestUtilities< NativeFlavor >
using	NativeProverInstance = ProtogalaxyTestUtils::ProverInstance
using	NativeVerifierInstance = ProtogalaxyTestUtils::VerifierInstance
using	NativeProverInstances = ProtogalaxyTestUtils::ProverInstances
using	NativeVerifierInstances = ProtogalaxyTestUtils::VerifierInstances
using	NativeVerificationKey = ProtogalaxyTestUtils::VerificationKey
using	TupleOfKeys = ProtogalaxyTestUtils::TupleOfKeys
using	NativeBuilder = ProtogalaxyTestUtils::Builder
using	NativeFoldingData = ProtogalaxyTestUtils::FoldingData
using	NativeFoldingProver = ProtogalaxyTestUtils::FoldingProver
using	NativeFoldingVerifier = ProtogalaxyTestUtils::FoldingVerifier
using	NativeCurve = bn254< NativeBuilder >
using	Commitment = NativeFlavor::Commitment
using	NativeFF = NativeFlavor::FF
using	CommitmentKey = NativeFlavor::CommitmentKey

Static Public Member Functions
static void	SetUpTestSuite ()
static void	create_function_circuit (NativeBuilder &builder, const size_t &log_num_gates=9, const size_t &log_num_gates_with_public_inputs=9)
	Create a non-trivial arbitrary inner circuit, the proof of which will be recursively verified.
static RecursiveFoldingData	create_recursive_folding_data (RecursiveBuilder &builder, const NativeVerifierInstances &verifier_instances)
	Create a recursive verifier instances from native ones.
static std::pair< std::shared_ptr< NativeVerifierInstance >, std::shared_ptr< RecursiveFoldingVerifier::Transcript > >	create_folding_circuit (RecursiveBuilder &builder, const NativeVerifierInstances &verifier_instances, const HonkProof &folding_proof)
	Create the circuit that verifies the folding proof. Return folded verifier accumulator and the verifier transcript.
static void	tamper_with_accumulator (const NativeFoldingData &accumulator, const AccumulatorTamperingMode &mode, bool expected)
	Tamper with an accumulator by changing one of its values: wires, alphas, gate challenge, relation parameters, or target sum. Update both the prover and verifier side.
static void	tamper_with_folding_proof (HonkProof &folding_proof, const ProofTamperingMode &mode)
	Tamper with folding proof by changing either the first coefficient of the perturbator, or the first coefficient of the combiner quotient.
static void	tamper_with_instance (const NativeFoldingData &instance, const InstanceTamperingMode &mode)
	Tamper with an instance by changing its wire values.

Static Public Attributes
static constexpr size_t	INDEX_FIRST_PERTURBATOR_COEFF = 624
static constexpr size_t	INDEX_FIRST_COMBINER_QUOTIENT_COEFF = 644

Detailed Description

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

Member Typedef Documentation

Commitment

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::Commitment = NativeFlavor::Commitment

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

CommitmentKey

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::CommitmentKey = NativeFlavor::CommitmentKey

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

NativeBuilder

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeBuilder = ProtogalaxyTestUtils::Builder

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

NativeCurve

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeCurve = bn254<NativeBuilder>

Definition at line 47 of file protogalaxy_recursive_verifier.test.cpp.

NativeFF

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeFF = NativeFlavor::FF

Definition at line 49 of file protogalaxy_recursive_verifier.test.cpp.

NativeFlavor

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeFlavor = RecursiveFlavor::NativeFlavor

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

NativeFoldingData

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeFoldingData = ProtogalaxyTestUtils::FoldingData

Definition at line 44 of file protogalaxy_recursive_verifier.test.cpp.

NativeFoldingProver

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeFoldingProver = ProtogalaxyTestUtils::FoldingProver

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

NativeFoldingVerifier

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeFoldingVerifier = ProtogalaxyTestUtils::FoldingVerifier

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

NativeProverInstance

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeProverInstance = ProtogalaxyTestUtils::ProverInstance

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

NativeProverInstances

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeProverInstances = ProtogalaxyTestUtils::ProverInstances

Definition at line 39 of file protogalaxy_recursive_verifier.test.cpp.

NativeVerificationKey

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeVerificationKey = ProtogalaxyTestUtils::VerificationKey

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

NativeVerifierInstance

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeVerifierInstance = ProtogalaxyTestUtils::VerifierInstance

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

NativeVerifierInstances

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::NativeVerifierInstances = ProtogalaxyTestUtils::VerifierInstances

Definition at line 40 of file protogalaxy_recursive_verifier.test.cpp.

ProtogalaxyTestUtils

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::ProtogalaxyTestUtils = ProtogalaxyTestUtilities<NativeFlavor>

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

RecursiveBuilder

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveBuilder = RecursiveFlavor::CircuitBuilder

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

RecursiveCommitment

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveCommitment = RecursiveFlavor::Commitment

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

RecursiveFF

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveFF = RecursiveFlavor::FF

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

RecursiveFlavor

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveFlavor = MegaRecursiveFlavor_<MegaCircuitBuilder>

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

RecursiveFoldingVerifier

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveFoldingVerifier = ProtogalaxyRecursiveVerifier_<RecursiveVerifierInstance>

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

RecursiveVerificationKey

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveVerificationKey = RecursiveVerifierInstance::VerificationKey

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

RecursiveVerifierInstance

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveVerifierInstance = RecursiveVerifierInstance_<RecursiveFlavor>

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

RecursiveVKAndHash

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::RecursiveVKAndHash = RecursiveVerifierInstance::VKAndHash

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

TupleOfKeys

using bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::TupleOfKeys = ProtogalaxyTestUtils::TupleOfKeys

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

Member Enumeration Documentation

AccumulatorTamperingMode

enum class bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::AccumulatorTamperingMode : uint8_t

strong

Enumerator
None
Wires
Alphas
GateChallenges
RelationParameters
TargetSum

Definition at line 57 of file protogalaxy_recursive_verifier.test.cpp.

InstanceTamperingMode

enum class bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::InstanceTamperingMode : uint8_t

strong

Enumerator
None
Wires

Definition at line 66 of file protogalaxy_recursive_verifier.test.cpp.

ProofTamperingMode

enum class bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::ProofTamperingMode : uint8_t

strong

Enumerator
None
Perturbator
CombinerQuotient

Definition at line 71 of file protogalaxy_recursive_verifier.test.cpp.

Member Function Documentation

create_folding_circuit()

static std::pair< std::shared_ptr< NativeVerifierInstance >, std::shared_ptr< RecursiveFoldingVerifier::Transcript > > bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::create_folding_circuit ( RecursiveBuilder &  builder, const NativeVerifierInstances &  verifier_instances, const HonkProof &  folding_proof  )

inlinestatic

Create the circuit that verifies the folding proof. Return folded verifier accumulator and the verifier transcript.

Note

We return a shared pointer to the folded verifier accumulator to be consistent with the rest of the code.

Definition at line 156 of file protogalaxy_recursive_verifier.test.cpp.

create_function_circuit()

static void bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::create_function_circuit ( NativeBuilder &  builder, const size_t &  log_num_gates = 9, const size_t &  log_num_gates_with_public_inputs = 9  )

inlinestatic

Create a non-trivial arbitrary inner circuit, the proof of which will be recursively verified.

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

create_recursive_folding_data()

static RecursiveFoldingData bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::create_recursive_folding_data ( RecursiveBuilder &  builder, const NativeVerifierInstances &  verifier_instances  )

inlinestatic

Create a recursive verifier instances from native ones.

Definition at line 107 of file protogalaxy_recursive_verifier.test.cpp.

SetUpTestSuite()

static void bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::SetUpTestSuite ( )

inlinestatic

Definition at line 80 of file protogalaxy_recursive_verifier.test.cpp.

tamper_with_accumulator()

static void bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::tamper_with_accumulator ( const NativeFoldingData &  accumulator, const AccumulatorTamperingMode &  mode, bool  expected  )

inlinestatic

Tamper with an accumulator by changing one of its values: wires, alphas, gate challenge, relation parameters, or target sum. Update both the prover and verifier side.

Definition at line 187 of file protogalaxy_recursive_verifier.test.cpp.

tamper_with_folding_proof()

static void bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::tamper_with_folding_proof ( HonkProof &  folding_proof, const ProofTamperingMode &  mode  )

inlinestatic

Tamper with folding proof by changing either the first coefficient of the perturbator, or the first coefficient of the combiner quotient.

Parameters

folding_proof
mode

Definition at line 241 of file protogalaxy_recursive_verifier.test.cpp.

tamper_with_instance()

static void bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::tamper_with_instance ( const NativeFoldingData &  instance, const InstanceTamperingMode &  mode  )

inlinestatic

Tamper with an instance by changing its wire values.

Definition at line 258 of file protogalaxy_recursive_verifier.test.cpp.

Member Data Documentation

INDEX_FIRST_COMBINER_QUOTIENT_COEFF

constexpr size_t bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::INDEX_FIRST_COMBINER_QUOTIENT_COEFF = 644

staticconstexpr

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

INDEX_FIRST_PERTURBATOR_COEFF

constexpr size_t bb::stdlib::recursion::honk::ProtogalaxyRecursiveTests::INDEX_FIRST_PERTURBATOR_COEFF = 624

staticconstexpr

Definition at line 77 of file protogalaxy_recursive_verifier.test.cpp.

---

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

• src/barretenberg/stdlib/protogalaxy_verifier/protogalaxy_recursive_verifier.test.cpp