MegaHonkTests< Flavor > Class Template Reference

Inheritance diagram for MegaHonkTests< Flavor >:

Public Types
using	Curve = curve::BN254
using	FF = Curve::ScalarField
using	Point = Curve::AffineElement
using	CommitmentKey = bb::CommitmentKey< Curve >
using	Prover = UltraProver_< Flavor >
using	Verifier = UltraVerifier_< Flavor >
using	VerificationKey = typename Flavor::VerificationKey
using	DeciderProvingKey = DeciderProvingKey_< Flavor >
using	DeciderVerificationKey = DeciderVerificationKey_< Flavor >

Public Member Functions
bool	construct_and_verify_honk_proof (auto &builder)
	Construct and a verify a Honk proof.
bool	construct_and_verify_honk_proof_with_structured_trace (auto &builder, TraceSettings &trace_settings)
	Construct and a verify a Honk proof using a specified structured trace.
bool	construct_and_verify_merge_proof (auto &op_queue, MergeSettings settings=MergeSettings::PREPEND)
	Construct and verify a Goblin ECC op queue merge proof.

Static Public Member Functions
static void	SetUpTestSuite ()

Detailed Description

template<typename Flavor>
class MegaHonkTests< Flavor >

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

Member Typedef Documentation

CommitmentKey

template<typename Flavor >

using MegaHonkTests< Flavor >::CommitmentKey = bb::CommitmentKey<Curve>

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

Curve

template<typename Flavor >

using MegaHonkTests< Flavor >::Curve = curve::BN254

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

DeciderProvingKey

template<typename Flavor >

using MegaHonkTests< Flavor >::DeciderProvingKey = DeciderProvingKey_<Flavor>

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

DeciderVerificationKey

template<typename Flavor >

using MegaHonkTests< Flavor >::DeciderVerificationKey = DeciderVerificationKey_<Flavor>

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

FF

template<typename Flavor >

using MegaHonkTests< Flavor >::FF = Curve::ScalarField

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

Point

template<typename Flavor >

using MegaHonkTests< Flavor >::Point = Curve::AffineElement

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

Prover

template<typename Flavor >

using MegaHonkTests< Flavor >::Prover = UltraProver_<Flavor>

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

VerificationKey

template<typename Flavor >

using MegaHonkTests< Flavor >::VerificationKey = typename Flavor::VerificationKey

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

Verifier

template<typename Flavor >

using MegaHonkTests< Flavor >::Verifier = UltraVerifier_<Flavor>

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

Member Function Documentation

construct_and_verify_honk_proof()

template<typename Flavor >

bool MegaHonkTests< Flavor >::construct_and_verify_honk_proof ( auto &  builder )

inline

Construct and a verify a Honk proof.

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

construct_and_verify_honk_proof_with_structured_trace()

template<typename Flavor >

bool MegaHonkTests< Flavor >::construct_and_verify_honk_proof_with_structured_trace ( auto &  builder, TraceSettings &  trace_settings  )

inline

Construct and a verify a Honk proof using a specified structured trace.

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

construct_and_verify_merge_proof()

template<typename Flavor >

bool MegaHonkTests< Flavor >::construct_and_verify_merge_proof ( auto &  op_queue, MergeSettings  settings = MergeSettings::PREPEND  )

inline

Construct and verify a Goblin ECC op queue merge proof.

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

SetUpTestSuite()

template<typename Flavor >

static void MegaHonkTests< Flavor >::SetUpTestSuite ( )

inlinestatic

Definition at line 24 of file mega_honk.test.cpp.

---

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

• src/barretenberg/ultra_honk/mega_honk.test.cpp