MegaTranscriptTests< Flavor > Class Template Reference

Inheritance diagram for MegaTranscriptTests< Flavor >:

Public Types
using	DeciderProvingKey = DeciderProvingKey_< Flavor >
using	FF = Flavor::FF

Public Member Functions
void	generate_test_circuit (auto &builder)

Static Public Member Functions
static void	SetUpTestSuite ()
static TranscriptManifest	construct_mega_honk_manifest ()
	Construct a manifest for a Mega Honk proof.

Detailed Description

template<typename Flavor>
class MegaTranscriptTests< Flavor >

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

Member Typedef Documentation

DeciderProvingKey

template<typename Flavor >

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

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

FF

template<typename Flavor >

using MegaTranscriptTests< Flavor >::FF = Flavor::FF

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

Member Function Documentation

construct_mega_honk_manifest()

template<typename Flavor >

static TranscriptManifest MegaTranscriptTests< Flavor >::construct_mega_honk_manifest ( )

inlinestatic

Construct a manifest for a Mega Honk proof.

This is where we define the "Manifest" for a Mega Honk proof. The tests in this suite are intented to warn the developer if the Prover/Verifier has deviated from this manifest, however, the Transcript class is not otherwise contrained to follow the manifest.

Note

Entries in the manifest consist of a name string and a size (bytes), NOT actual data.

Returns

TranscriptManifest

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

generate_test_circuit()

template<typename Flavor >

void MegaTranscriptTests< Flavor >::generate_test_circuit ( auto &  builder )

inline

Definition at line 157 of file mega_transcript.test.cpp.

SetUpTestSuite()

template<typename Flavor >

static void MegaTranscriptTests< Flavor >::SetUpTestSuite ( )

inlinestatic

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

---

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

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