HonkTranscriptTests< Flavor > Class Template Reference

Inheritance diagram for HonkTranscriptTests< Flavor >:

Public Types
using	VerificationKey = Flavor::VerificationKey
using	FF = Flavor::FF
using	Commitment = Flavor::Commitment
using	ProverInstance = ProverInstance_< Flavor >
using	Builder = Flavor::CircuitBuilder
using	Prover = UltraProver_< Flavor >
using	IO = DefaultIO
using	Verifier = UltraVerifier_< Flavor, IO >
using	Proof = typename Flavor::Transcript::Proof

Public Member Functions
TranscriptManifest	construct_honk_manifest (const size_t &log_n)
	Construct a manifest for a Honk proof (Ultra or Mega)
void	generate_test_circuit (Builder &builder)
Proof	export_serialized_proof (Prover &prover, const size_t num_public_inputs, const size_t log_n)

Static Public Member Functions
static void	SetUpTestSuite ()

Detailed Description

template<typename Flavor>
class HonkTranscriptTests< Flavor >

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

Member Typedef Documentation

Builder

template<typename Flavor >

using HonkTranscriptTests< Flavor >::Builder = Flavor::CircuitBuilder

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

Commitment

template<typename Flavor >

using HonkTranscriptTests< Flavor >::Commitment = Flavor::Commitment

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

FF

template<typename Flavor >

using HonkTranscriptTests< Flavor >::FF = Flavor::FF

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

IO

template<typename Flavor >

using HonkTranscriptTests< Flavor >::IO = DefaultIO

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

Proof

template<typename Flavor >

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

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

Prover

template<typename Flavor >

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

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

ProverInstance

template<typename Flavor >

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

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

VerificationKey

template<typename Flavor >

using HonkTranscriptTests< Flavor >::VerificationKey = Flavor::VerificationKey

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

Verifier

template<typename Flavor >

using HonkTranscriptTests< Flavor >::Verifier = UltraVerifier_<Flavor, IO>

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

Member Function Documentation

construct_honk_manifest()

template<typename Flavor >

TranscriptManifest HonkTranscriptTests< Flavor >::construct_honk_manifest ( const size_t &  log_n )

inline

Construct a manifest for a Honk proof (Ultra or Mega)

This is where we define the "Manifest" for a Honk proof. The tests in this suite are intended to warn the developer if the Prover/Verifier has deviated from this manifest, however, the Transcript class is not otherwise constrained 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 59 of file honk_transcript.test.cpp.

export_serialized_proof()

template<typename Flavor >

Proof HonkTranscriptTests< Flavor >::export_serialized_proof ( Prover &  prover, const size_t  num_public_inputs, const size_t  log_n  )

inline

Definition at line 204 of file honk_transcript.test.cpp.

generate_test_circuit()

template<typename Flavor >

void HonkTranscriptTests< Flavor >::generate_test_circuit ( Builder &  builder )

inline

Definition at line 196 of file honk_transcript.test.cpp.

SetUpTestSuite()

template<typename Flavor >

static void HonkTranscriptTests< Flavor >::SetUpTestSuite ( )

inlinestatic

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

---

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

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