mega_transcript.test.cpp File Reference

#include "barretenberg/ecc/curves/bn254/g1.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/numeric/bitop/get_msb.hpp"
#include "barretenberg/polynomials/univariate.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	MegaTranscriptTests< Flavor >

Typedefs
using	FlavorTypes = ::testing::Types< MegaFlavor, MegaZKFlavor >

Functions
	TYPED_TEST_SUITE (MegaTranscriptTests, FlavorTypes)
	TYPED_TEST (MegaTranscriptTests, 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.
	TYPED_TEST (MegaTranscriptTests, VerifierManifestConsistency)
	Ensure consistency between the manifest generated by the mega honk prover over the course of proof construction and the one generated by the verifier over the course of proof verification.
	TYPED_TEST (MegaTranscriptTests, ChallengeGenerationTest)
	Check that multiple challenges can be generated and sanity check.
	TYPED_TEST (MegaTranscriptTests, StructureTest)

Typedef Documentation

FlavorTypes

using FlavorTypes = ::testing::Types<MegaFlavor, MegaZKFlavor>

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

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	MegaTranscriptTests	,
		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 271 of file mega_transcript.test.cpp.

TYPED_TEST() [2/4]

TYPED_TEST	(	MegaTranscriptTests	,
		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 186 of file mega_transcript.test.cpp.

TYPED_TEST() [3/4]

TYPED_TEST	(	MegaTranscriptTests	,
		StructureTest
	)

Definition at line 292 of file mega_transcript.test.cpp.

TYPED_TEST() [4/4]

TYPED_TEST	(	MegaTranscriptTests	,
		VerifierManifestConsistency
	)

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

Definition at line 225 of file mega_transcript.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	MegaTranscriptTests	,
		FlavorTypes
	)