ultra_transcript.test.cpp File Reference

#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/ecc/curves/bn254/g1.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_flavor.hpp"
#include "barretenberg/numeric/bitop/get_msb.hpp"
#include "barretenberg/polynomials/univariate.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.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	UltraTranscriptTests< Flavor >

Typedefs
using	FlavorTypes = ::testing::Types< UltraFlavor, UltraKeccakFlavor, UltraRollupFlavor, UltraZKFlavor, UltraKeccakZKFlavor >

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

Typedef Documentation

FlavorTypes

using FlavorTypes = ::testing::Types<UltraFlavor, UltraKeccakFlavor, UltraRollupFlavor, UltraZKFlavor, UltraKeccakZKFlavor>

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

Function Documentation

TYPED_TEST() [1/4]

TYPED_TEST	(	UltraTranscriptTests	,
		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 312 of file ultra_transcript.test.cpp.

TYPED_TEST() [2/4]

TYPED_TEST	(	UltraTranscriptTests	,
		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 222 of file ultra_transcript.test.cpp.

TYPED_TEST() [3/4]

TYPED_TEST	(	UltraTranscriptTests	,
		StructureTest
	)

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

TYPED_TEST() [4/4]

TYPED_TEST	(	UltraTranscriptTests	,
		VerifierManifestConsistency
	)

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

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	UltraTranscriptTests	,
		FlavorTypes
	)