bb::test Namespace Reference

Classes
class	TranscriptTest
struct	TranscriptTests
struct	TranscriptTests< std::pair< Codec, HashFn > >

Typedefs
using	NativeCodec = FrCodec
using	NativeHash = bb::crypto::Poseidon2< bb::crypto::Poseidon2Bn254ScalarFieldParams >
using	UltraCodec = stdlib::StdlibCodec< stdlib::field_t< UltraCircuitBuilder > >
using	UltraHash = stdlib::poseidon2< UltraCircuitBuilder >
using	MegaCodec = stdlib::StdlibCodec< stdlib::field_t< MegaCircuitBuilder > >
using	MegaHash = stdlib::poseidon2< MegaCircuitBuilder >
using	TranscriptTypes = ::testing::Types< std::pair< NativeCodec, NativeHash >, std::pair< UltraCodec, UltraHash >, std::pair< MegaCodec, MegaHash > >

Functions
	TYPED_TEST_SUITE (TranscriptTests, TranscriptTypes)
	TYPED_TEST (TranscriptTests, ScalarSendReceive)
	TYPED_TEST (TranscriptTests, BasefieldSendReceive)
	TYPED_TEST (TranscriptTests, BN254CommitmentSendReceive)
	TYPED_TEST (TranscriptTests, GrumpkinCommitmentSendReceive)
	TYPED_TEST (TranscriptTests, ArraySendReceive)
	TYPED_TEST (TranscriptTests, GrumpkinFieldArraySendReceive)
	TYPED_TEST (TranscriptTests, UnivariateSendReceive)
	TYPED_TEST (TranscriptTests, GrumpkinUnivariateSendReceive)
	TYPED_TEST (TranscriptTests, BN254InfinityHandling)
	TYPED_TEST (TranscriptTests, GrumpkinInfinityHandling)
	TYPED_TEST (TranscriptTests, BasicMultiRoundProtocol)
	TYPED_TEST (TranscriptTests, ManifestConsistency)
	TYPED_TEST (TranscriptTests, ChallengesNonZero)
	TYPED_TEST (TranscriptTests, HashBufferConsistency)
	TYPED_TEST (TranscriptTests, ProverToVerifierConversion)
	TYPED_TEST (TranscriptTests, TamperingDetection)
	TYPED_TEST (TranscriptTests, BatchChallengeGeneration)
	Test that getting multiple challenges at once works correctly.
	TYPED_TEST (TranscriptTests, VectorChallengeGeneration)
	Test using vector of challenge labels.

Typedef Documentation

MegaCodec

using bb::test::MegaCodec = typedef stdlib::StdlibCodec<stdlib::field_t<MegaCircuitBuilder> >

Definition at line 443 of file transcript_test_fixture.hpp.

MegaHash

using bb::test::MegaHash = typedef stdlib::poseidon2<MegaCircuitBuilder>

Definition at line 444 of file transcript_test_fixture.hpp.

NativeCodec

using bb::test::NativeCodec = typedef FrCodec

Definition at line 437 of file transcript_test_fixture.hpp.

NativeHash

using bb::test::NativeHash = typedef bb::crypto::Poseidon2<bb::crypto::Poseidon2Bn254ScalarFieldParams>

Definition at line 438 of file transcript_test_fixture.hpp.

TranscriptTypes

using bb::test::TranscriptTypes = typedef ::testing:: Types<std::pair<NativeCodec, NativeHash>, std::pair<UltraCodec, UltraHash>, std::pair<MegaCodec, MegaHash> >

Definition at line 448 of file transcript_test_fixture.hpp.

UltraCodec

using bb::test::UltraCodec = typedef stdlib::StdlibCodec<stdlib::field_t<UltraCircuitBuilder> >

Definition at line 440 of file transcript_test_fixture.hpp.

UltraHash

using bb::test::UltraHash = typedef stdlib::poseidon2<UltraCircuitBuilder>

Definition at line 441 of file transcript_test_fixture.hpp.

Function Documentation

TYPED_TEST() [1/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		ArraySendReceive
	)

Definition at line 39 of file transcript.test.cpp.

TYPED_TEST() [2/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		BasefieldSendReceive
	)

Definition at line 24 of file transcript.test.cpp.

TYPED_TEST() [3/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		BasicMultiRoundProtocol
	)

Definition at line 77 of file transcript.test.cpp.

TYPED_TEST() [4/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		BatchChallengeGeneration
	)

Test that getting multiple challenges at once works correctly.

Definition at line 126 of file transcript.test.cpp.

TYPED_TEST() [5/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		BN254CommitmentSendReceive
	)

Definition at line 29 of file transcript.test.cpp.

TYPED_TEST() [6/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		BN254InfinityHandling
	)

Definition at line 63 of file transcript.test.cpp.

TYPED_TEST() [7/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		ChallengesNonZero
	)

Definition at line 91 of file transcript.test.cpp.

TYPED_TEST() [8/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		GrumpkinCommitmentSendReceive
	)

Definition at line 34 of file transcript.test.cpp.

TYPED_TEST() [9/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		GrumpkinFieldArraySendReceive
	)

Definition at line 44 of file transcript.test.cpp.

TYPED_TEST() [10/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		GrumpkinInfinityHandling
	)

Definition at line 68 of file transcript.test.cpp.

TYPED_TEST() [11/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		GrumpkinUnivariateSendReceive
	)

Definition at line 54 of file transcript.test.cpp.

TYPED_TEST() [12/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		HashBufferConsistency
	)

Definition at line 100 of file transcript.test.cpp.

TYPED_TEST() [13/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		ManifestConsistency
	)

Definition at line 82 of file transcript.test.cpp.

TYPED_TEST() [14/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		ProverToVerifierConversion
	)

Definition at line 109 of file transcript.test.cpp.

TYPED_TEST() [15/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		ScalarSendReceive
	)

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

TYPED_TEST() [16/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		TamperingDetection
	)

Definition at line 114 of file transcript.test.cpp.

TYPED_TEST() [17/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		UnivariateSendReceive
	)

Definition at line 49 of file transcript.test.cpp.

TYPED_TEST() [18/18]

bb::test::TYPED_TEST	(	TranscriptTests	,
		VectorChallengeGeneration
	)

Test using vector of challenge labels.

Definition at line 151 of file transcript.test.cpp.

TYPED_TEST_SUITE()

bb::test::TYPED_TEST_SUITE	(	TranscriptTests	,
		TranscriptTypes
	)