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/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/prover_instance.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 28 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 306 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 216 of file ultra_transcript.test.cpp.

TYPED_TEST() [3/4]

TYPED_TEST	(	UltraTranscriptTests	,
		StructureTest
	)

Definition at line 329 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 253 of file ultra_transcript.test.cpp.

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	UltraTranscriptTests	,
		FlavorTypes
	)