bbapi.test.cpp File Reference

#include "barretenberg/api/file_io.hpp"
#include "barretenberg/bbapi/bbapi_handlers.hpp"
#include "barretenberg/bbapi/bbapi_shared.hpp"
#include "barretenberg/bbapi/generated/bb_types.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	BBApiMsgpack< T >

Typedefs
using	WirePairs = ::testing::Types< WirePair< bbapi::wire::CircuitProve, bbapi::wire::CircuitProveResponse >, WirePair< bbapi::wire::CircuitComputeVk, bbapi::wire::CircuitComputeVkResponse >, WirePair< bbapi::wire::CircuitStats, bbapi::wire::CircuitInfoResponse >, WirePair< bbapi::wire::CircuitVerify, bbapi::wire::CircuitVerifyResponse >, WirePair< bbapi::wire::VkAsFields, bbapi::wire::VkAsFieldsResponse >, WirePair< bbapi::wire::CircuitWriteSolidityVerifier, bbapi::wire::CircuitWriteSolidityVerifierResponse >, WirePair< bbapi::wire::ChonkStart, bbapi::wire::ChonkStartResponse >, WirePair< bbapi::wire::ChonkLoad, bbapi::wire::ChonkLoadResponse >, WirePair< bbapi::wire::ChonkAccumulate, bbapi::wire::ChonkAccumulateResponse >, WirePair< bbapi::wire::ChonkProve, bbapi::wire::ChonkProveResponse >, WirePair< bbapi::wire::ChonkComputeVk, bbapi::wire::ChonkComputeVkResponse >, WirePair< bbapi::wire::ChonkCheckPrecomputedVk, bbapi::wire::ChonkCheckPrecomputedVkResponse >, WirePair< bbapi::wire::ChonkBatchVerify, bbapi::wire::ChonkBatchVerifyResponse > >

Functions
	TYPED_TEST_SUITE (BBApiMsgpack, WirePairs)
	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

WirePairs

using WirePairs = ::testing::Types< WirePair<bbapi::wire::CircuitProve, bbapi::wire::CircuitProveResponse>, WirePair<bbapi::wire::CircuitComputeVk, bbapi::wire::CircuitComputeVkResponse>, WirePair<bbapi::wire::CircuitStats, bbapi::wire::CircuitInfoResponse>, WirePair<bbapi::wire::CircuitVerify, bbapi::wire::CircuitVerifyResponse>, WirePair<bbapi::wire::VkAsFields, bbapi::wire::VkAsFieldsResponse>, WirePair<bbapi::wire::CircuitWriteSolidityVerifier, bbapi::wire::CircuitWriteSolidityVerifierResponse>, WirePair<bbapi::wire::ChonkStart, bbapi::wire::ChonkStartResponse>, WirePair<bbapi::wire::ChonkLoad, bbapi::wire::ChonkLoadResponse>, WirePair<bbapi::wire::ChonkAccumulate, bbapi::wire::ChonkAccumulateResponse>, WirePair<bbapi::wire::ChonkProve, bbapi::wire::ChonkProveResponse>, WirePair<bbapi::wire::ChonkComputeVk, bbapi::wire::ChonkComputeVkResponse>, WirePair<bbapi::wire::ChonkCheckPrecomputedVk, bbapi::wire::ChonkCheckPrecomputedVkResponse>, WirePair<bbapi::wire::ChonkBatchVerify, bbapi::wire::ChonkBatchVerifyResponse> >

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

Function Documentation

TEST() [1/18]

TEST	(	BBApiInputValidation	,
		AesDecryptRejectsLengthMismatch
	)

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

TEST() [2/18]

TEST	(	BBApiInputValidation	,
		AesDecryptRejectsNonBlockAlignedLength
	)

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

TEST() [3/18]

TEST	(	BBApiInputValidation	,
		AesEncryptRejectsLengthMismatch
	)

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

TEST() [4/18]

TEST	(	BBApiInputValidation	,
		AesEncryptRejectsNonBlockAlignedLength
	)

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

TEST() [5/18]

TEST	(	BBApiInputValidation	,
		CanonicalValuesAccepted
	)

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

TEST() [6/18]

TEST	(	BBApiInputValidation	,
		ChonkBatchVerifyWrongVkSizeReturnsInvalid
	)

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

TEST() [7/18]

TEST	(	BBApiInputValidation	,
		ChonkVerifyFromFieldsWrongVkSizeReturnsInvalid
	)

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

TEST() [8/18]

TEST	(	BBApiInputValidation	,
		ChonkVerifyWrongVkSizeReturnsInvalid
	)

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

TEST() [9/18]

TEST	(	BBApiInputValidation	,
		ExactBinaryInputAccepted
	)

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

TEST() [10/18]

TEST	(	BBApiInputValidation	,
		MsgpackLoadAcceptsCleanFile
	)

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

TEST() [11/18]

TEST	(	BBApiInputValidation	,
		MsgpackLoadRejectsTrailingData
	)

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

TEST() [12/18]

TEST	(	BBApiInputValidation	,
		MsgpackParseUncompressedAcceptsCleanInput
	)

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

TEST() [13/18]

TEST	(	BBApiInputValidation	,
		MsgpackParseUncompressedRejectsTrailingData
	)

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

TEST() [14/18]

TEST	(	BBApiInputValidation	,
		NonCanonicalProofElementRejected
	)

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

TEST() [15/18]

TEST	(	BBApiInputValidation	,
		NonCanonicalPublicInputRejected
	)

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

TEST() [16/18]

TEST	(	BBApiInputValidation	,
		TrailingBytesInBinaryInputRejected
	)

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

TEST() [17/18]

TEST	(	BBApiInputValidation	,
		VkWithCorrectSizeAccepted
	)

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

TEST() [18/18]

TEST	(	BBApiInputValidation	,
		VkWithTrailingBytesRejectedOnProveSide
	)

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

TYPED_TEST()

TYPED_TEST	(	BBApiMsgpack	,
		DefaultConstructorRoundtrip
	)

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

TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	BBApiMsgpack	,
		WirePairs
	)