#include "barretenberg/ecc/curves/bn254/g1.hpp"
#include "barretenberg/eccvm/eccvm_prover.hpp"
#include "barretenberg/eccvm/eccvm_verifier.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/numeric/bitop/get_msb.hpp"
#include "barretenberg/polynomials/univariate.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include <gtest/gtest.h>

Classes
class	ECCVMTranscriptTests

Functions
	TEST_F (ECCVMTranscriptTests, ProverManifestConsistency)
	Ensure consistency between the manifest hard coded in this testing suite and the one generated by the standard honk prover over the course of proof construction.

	TEST_F (ECCVMTranscriptTests, VerifierManifestConsistency)
	Ensure consistency between the manifest generated by the ECCVM honk prover over the course of proof construction and the one generated by the verifier over the course of proof verification.

	TEST_F (ECCVMTranscriptTests, ChallengeGenerationTest)
	Check that multiple challenges can be generated and sanity check.

Variables
numeric::RNG &	engine = numeric::get_debug_randomness()

Function Documentation

◆ TEST_F() [1/3]

TEST_F	(	ECCVMTranscriptTests	,
		ChallengeGenerationTest
	)

Check that multiple challenges can be generated and sanity check.

We generate 6 challenges that are each 128 bits, and check that they are not 0.

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

◆ TEST_F() [2/3]

TEST_F	(	ECCVMTranscriptTests	,
		ProverManifestConsistency
	)

Ensure consistency between the manifest hard coded in this testing suite and the one generated by the standard honk prover over the course of proof construction.

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

◆ TEST_F() [3/3]

TEST_F	(	ECCVMTranscriptTests	,
		VerifierManifestConsistency
	)

Ensure consistency between the manifest generated by the ECCVM honk prover over the course of proof construction and the one generated by the verifier over the course of proof verification.

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

Variable Documentation

◆ engine

numeric::RNG& engine = numeric::get_debug_randomness()

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

Classes