ECCVMTranscriptTests Class Reference

Inheritance diagram for ECCVMTranscriptTests:

Public Types
using	FF = grumpkin::fr
using	Flavor = ECCVMFlavor
using	Transcript = Flavor::Transcript
using	PCS = IPA< Flavor::Curve, CONST_ECCVM_LOG_N >

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 17 of file eccvm_transcript.test.cpp.

Member Typedef Documentation

FF

using ECCVMTranscriptTests::FF = grumpkin::fr

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

Flavor

using ECCVMTranscriptTests::Flavor = ECCVMFlavor

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

PCS

using ECCVMTranscriptTests::PCS = IPA<Flavor::Curve, CONST_ECCVM_LOG_N>

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

Transcript

using ECCVMTranscriptTests::Transcript = Flavor::Transcript

Definition at line 22 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 35 of file eccvm_transcript.test.cpp.

construct_eccvm_ipa_manifest()

TranscriptManifest ECCVMTranscriptTests::construct_eccvm_ipa_manifest ( )

inline

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

generate_trace()

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

inline

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

SetUp()

void ECCVMTranscriptTests::SetUp ( )

inlineoverride

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

---

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

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