ECCVMTranscriptTests Class Reference

Inheritance diagram for ECCVMTranscriptTests:

Public Types
using	FF = grumpkin::fr
using	Flavor = ECCVMFlavor
using	Transcript = Flavor::Transcript

Public Member Functions
void	SetUp () override
TranscriptManifest	construct_eccvm_honk_manifest ()
	Construct a manifest for a ECCVM Honk proof.
TranscriptManifest	construct_eccvm_ipa_manifest ()
ECCVMCircuitBuilder	generate_trace (numeric::RNG *engine=nullptr)

Detailed Description

Definition at line 13 of file eccvm_transcript.test.cpp.

Member Typedef Documentation

FF

using ECCVMTranscriptTests::FF = grumpkin::fr

Definition at line 16 of file eccvm_transcript.test.cpp.

Flavor

using ECCVMTranscriptTests::Flavor = ECCVMFlavor

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

Transcript

using ECCVMTranscriptTests::Transcript = Flavor::Transcript

Definition at line 18 of file eccvm_transcript.test.cpp.

Member Function Documentation

construct_eccvm_honk_manifest()

TranscriptManifest ECCVMTranscriptTests::construct_eccvm_honk_manifest ( )

inline

Construct a manifest for a ECCVM Honk proof.

This is where we define the "Manifest" for a ECCVM 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 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 31 of file eccvm_transcript.test.cpp.

construct_eccvm_ipa_manifest()

TranscriptManifest ECCVMTranscriptTests::construct_eccvm_ipa_manifest ( )

inline

Definition at line 219 of file eccvm_transcript.test.cpp.

generate_trace()

ECCVMCircuitBuilder ECCVMTranscriptTests::generate_trace ( numeric::RNG *  engine = nullptr )

inline

Definition at line 247 of file eccvm_transcript.test.cpp.

SetUp()

void ECCVMTranscriptTests::SetUp ( )

inlineoverride

Definition at line 15 of file eccvm_transcript.test.cpp.

---

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

• src/barretenberg/eccvm/eccvm_transcript.test.cpp