MegaTranscriptTests< Flavor > Class Template Reference

Inheritance diagram for MegaTranscriptTests< Flavor >:

Public Types
using	ProverInstance = ProverInstance_< Flavor >
using	Prover = UltraProver_< Flavor >
using	Proof = typename Flavor::Transcript::Proof
using	FF = Flavor::FF

Public Member Functions
void	generate_test_circuit (auto &builder)

Static Public Member Functions
static void	SetUpTestSuite ()
static Proof	export_serialized_proof (Prover &prover, const size_t num_public_inputs)
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 18 of file mega_transcript.test.cpp.

Member Typedef Documentation

FF

template<typename Flavor >

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

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

Proof

template<typename Flavor >

using MegaTranscriptTests< Flavor >::Proof = typename Flavor::Transcript::Proof

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

Prover

template<typename Flavor >

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

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

ProverInstance

template<typename Flavor >

using MegaTranscriptTests< Flavor >::ProverInstance = ProverInstance_<Flavor>

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 46 of file mega_transcript.test.cpp.

export_serialized_proof()

template<typename Flavor >

static Proof MegaTranscriptTests< Flavor >::export_serialized_proof ( Prover &  prover, const size_t  num_public_inputs  )

inlinestatic

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

generate_test_circuit()

template<typename Flavor >

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

inline

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

SetUpTestSuite()

template<typename Flavor >

static void MegaTranscriptTests< Flavor >::SetUpTestSuite ( )

inlinestatic

Definition at line 20 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