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, ChonkVerifyWrongVkSizeReturnsInvalid)
	TEST (BBApiInputValidation, ChonkVerifyFromFieldsWrongVkSizeReturnsInvalid)
	TEST (BBApiInputValidation, ChonkBatchVerifyWrongVkSizeReturnsInvalid)
	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/18]

TEST	(	BBApiInputValidation	,
		AesDecryptRejectsLengthMismatch
	)

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

TEST() [2/18]

TEST	(	BBApiInputValidation	,
		AesDecryptRejectsNonBlockAlignedLength
	)

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

TEST() [3/18]

TEST	(	BBApiInputValidation	,
		AesEncryptRejectsLengthMismatch
	)

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

TEST() [4/18]

TEST	(	BBApiInputValidation	,
		AesEncryptRejectsNonBlockAlignedLength
	)

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

TEST() [5/18]

TEST	(	BBApiInputValidation	,
		CanonicalValuesAccepted
	)

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

TEST() [6/18]

TEST	(	BBApiInputValidation	,
		ChonkBatchVerifyWrongVkSizeReturnsInvalid
	)

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

TEST() [7/18]

TEST	(	BBApiInputValidation	,
		ChonkVerifyFromFieldsWrongVkSizeReturnsInvalid
	)

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

TEST() [8/18]

TEST	(	BBApiInputValidation	,
		ChonkVerifyWrongVkSizeReturnsInvalid
	)

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

TEST() [9/18]

TEST	(	BBApiInputValidation	,
		ExactBinaryInputAccepted
	)

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

TEST() [10/18]

TEST	(	BBApiInputValidation	,
		MsgpackLoadAcceptsCleanFile
	)

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

TEST() [11/18]

TEST	(	BBApiInputValidation	,
		MsgpackLoadRejectsTrailingData
	)

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

TEST() [12/18]

TEST	(	BBApiInputValidation	,
		MsgpackParseUncompressedAcceptsCleanInput
	)

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

TEST() [13/18]

TEST	(	BBApiInputValidation	,
		MsgpackParseUncompressedRejectsTrailingData
	)

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

TEST() [14/18]

TEST	(	BBApiInputValidation	,
		NonCanonicalProofElementRejected
	)

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

TEST() [15/18]

TEST	(	BBApiInputValidation	,
		NonCanonicalPublicInputRejected
	)

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

TEST() [16/18]

TEST	(	BBApiInputValidation	,
		TrailingBytesInBinaryInputRejected
	)

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

TEST() [17/18]

TEST	(	BBApiInputValidation	,
		VkWithCorrectSizeAccepted
	)

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

TEST() [18/18]

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
	)