UltraTranscriptTests< Flavor > Class Template Reference

Inheritance diagram for UltraTranscriptTests< 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	Verifier = UltraVerifier_< Flavor >
using	Proof = typename Flavor::Transcript::Proof
using	IO = std::conditional_t< HasIPAAccumulator< Flavor >, RollupIO, DefaultIO >

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

Static Public Member Functions
static void	SetUpTestSuite ()

Detailed Description

template<typename Flavor>
class UltraTranscriptTests< Flavor >

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

Member Typedef Documentation

Builder

template<typename Flavor >

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

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

Commitment

template<typename Flavor >

using UltraTranscriptTests< Flavor >::Commitment = Flavor::Commitment

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

FF

template<typename Flavor >

using UltraTranscriptTests< Flavor >::FF = Flavor::FF

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

IO

template<typename Flavor >

using UltraTranscriptTests< Flavor >::IO = std::conditional_t<HasIPAAccumulator<Flavor>, RollupIO, DefaultIO>

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

Proof

template<typename Flavor >

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

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

Prover

template<typename Flavor >

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

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

ProverInstance

template<typename Flavor >

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

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

VerificationKey

template<typename Flavor >

using UltraTranscriptTests< Flavor >::VerificationKey = Flavor::VerificationKey

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

Verifier

template<typename Flavor >

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

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

Member Function Documentation

construct_ultra_honk_manifest()

template<typename Flavor >

TranscriptManifest UltraTranscriptTests< Flavor >::construct_ultra_honk_manifest ( const size_t &  log_n )

inline

Construct a manifest for a Ultra Honk proof.

This is where we define the "Manifest" for a Ultra 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 55 of file ultra_transcript.test.cpp.

export_serialized_proof()

template<typename Flavor >

Proof UltraTranscriptTests< Flavor >::export_serialized_proof ( Prover  prover, const size_t  num_public_inputs  )

inline

Definition at line 207 of file ultra_transcript.test.cpp.

generate_random_test_circuit()

template<typename Flavor >

void UltraTranscriptTests< Flavor >::generate_random_test_circuit ( Builder &  builder )

inline

Definition at line 191 of file ultra_transcript.test.cpp.

generate_test_circuit()

template<typename Flavor >

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

inline

Definition at line 177 of file ultra_transcript.test.cpp.

SetUpTestSuite()

template<typename Flavor >

static void UltraTranscriptTests< Flavor >::SetUpTestSuite ( )

inlinestatic

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

---

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

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