bbapi.test.cpp File Reference

#include "barretenberg/bbapi/bbapi.hpp"
#include "barretenberg/api/file_io.hpp"
#include "barretenberg/bbapi/bbapi_crypto.hpp"
#include "barretenberg/bbapi/bbapi_shared.hpp"
#include "barretenberg/chonk/private_execution_steps.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/common/utils.hpp"
#include "barretenberg/serialize/test_helper.hpp"
#include "msgpack/v3/sbuffer_decl.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	BBApiSerializationTest< T >
class	BBApiMsgpack< T >

Typedefs
using	Commands = ::testing::Types< bbapi::CircuitProve, bbapi::CircuitComputeVk, bbapi::CircuitStats, bbapi::CircuitVerify, bbapi::VkAsFields, bbapi::CircuitWriteSolidityVerifier, bbapi::ChonkStart, bbapi::ChonkLoad, bbapi::ChonkAccumulate, bbapi::ChonkProve, bbapi::ChonkComputeVk, bbapi::ChonkCheckPrecomputedVk, bbapi::ChonkBatchVerify >

Functions
	TYPED_TEST_SUITE (BBApiMsgpack, Commands)
	TYPED_TEST (BBApiMsgpack, DefaultConstructorRoundtrip)
	TEST (BBApiInputValidation, NonCanonicalPublicInputRejected)
	TEST (BBApiInputValidation, NonCanonicalProofElementRejected)
	TEST (BBApiInputValidation, CanonicalValuesAccepted)
	TEST (BBApiInputValidation, TrailingBytesInBinaryInputRejected)
	TEST (BBApiInputValidation, ExactBinaryInputAccepted)
	TEST (BBApiInputValidation, VkWithTrailingBytesRejectedOnProveSide)
	TEST (BBApiInputValidation, VkWithCorrectSizeAccepted)
	TEST (BBApiInputValidation, MsgpackParseUncompressedAcceptsCleanInput)
	TEST (BBApiInputValidation, MsgpackParseUncompressedRejectsTrailingData)
	TEST (BBApiInputValidation, MsgpackLoadAcceptsCleanFile)
	TEST (BBApiInputValidation, MsgpackLoadRejectsTrailingData)
	TEST (BBApiInputValidation, AesEncryptRejectsLengthMismatch)
	TEST (BBApiInputValidation, AesEncryptRejectsNonBlockAlignedLength)
	TEST (BBApiInputValidation, AesDecryptRejectsLengthMismatch)
	TEST (BBApiInputValidation, AesDecryptRejectsNonBlockAlignedLength)

Typedef Documentation

Commands

using Commands = ::testing::Types<bbapi::CircuitProve, bbapi::CircuitComputeVk, bbapi::CircuitStats, bbapi::CircuitVerify, bbapi::VkAsFields, bbapi::CircuitWriteSolidityVerifier, bbapi::ChonkStart, bbapi::ChonkLoad, bbapi::ChonkAccumulate, bbapi::ChonkProve, bbapi::ChonkComputeVk, bbapi::ChonkCheckPrecomputedVk, bbapi::ChonkBatchVerify>

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

Function Documentation

TEST() [1/15]

TEST	(	BBApiInputValidation	,
		AesDecryptRejectsLengthMismatch
	)

Definition at line 208 of file bbapi.test.cpp.

TEST() [2/15]

TEST	(	BBApiInputValidation	,
		AesDecryptRejectsNonBlockAlignedLength
	)

Definition at line 215 of file bbapi.test.cpp.

TEST() [3/15]

TEST	(	BBApiInputValidation	,
		AesEncryptRejectsLengthMismatch
	)

Definition at line 194 of file bbapi.test.cpp.

TEST() [4/15]

TEST	(	BBApiInputValidation	,
		AesEncryptRejectsNonBlockAlignedLength
	)

Definition at line 201 of file bbapi.test.cpp.

TEST() [5/15]

TEST	(	BBApiInputValidation	,
		CanonicalValuesAccepted
	)

Definition at line 76 of file bbapi.test.cpp.

TEST() [6/15]

TEST	(	BBApiInputValidation	,
		ExactBinaryInputAccepted
	)

Definition at line 94 of file bbapi.test.cpp.

TEST() [7/15]

TEST	(	BBApiInputValidation	,
		MsgpackLoadAcceptsCleanFile
	)

Definition at line 156 of file bbapi.test.cpp.

TEST() [8/15]

TEST	(	BBApiInputValidation	,
		MsgpackLoadRejectsTrailingData
	)

Definition at line 174 of file bbapi.test.cpp.

TEST() [9/15]

TEST	(	BBApiInputValidation	,
		MsgpackParseUncompressedAcceptsCleanInput
	)

Definition at line 131 of file bbapi.test.cpp.

TEST() [10/15]

TEST	(	BBApiInputValidation	,
		MsgpackParseUncompressedRejectsTrailingData
	)

Definition at line 146 of file bbapi.test.cpp.

TEST() [11/15]

TEST	(	BBApiInputValidation	,
		NonCanonicalProofElementRejected
	)

Definition at line 65 of file bbapi.test.cpp.

TEST() [12/15]

TEST	(	BBApiInputValidation	,
		NonCanonicalPublicInputRejected
	)

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

TEST() [13/15]

TEST	(	BBApiInputValidation	,
		TrailingBytesInBinaryInputRejected
	)

Definition at line 87 of file bbapi.test.cpp.

TEST() [14/15]

TEST	(	BBApiInputValidation	,
		VkWithCorrectSizeAccepted
	)

Definition at line 112 of file bbapi.test.cpp.

TEST() [15/15]

TEST	(	BBApiInputValidation	,
		VkWithTrailingBytesRejectedOnProveSide
	)

Definition at line 103 of file bbapi.test.cpp.

TYPED_TEST()

TYPED_TEST	(	BBApiMsgpack	,
		DefaultConstructorRoundtrip
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	BBApiMsgpack	,
		Commands
	)