api_client_ivc.test.cpp File Reference

#include "api_client_ivc.hpp"
#include "barretenberg/api/file_io.hpp"
#include "barretenberg/bbapi/bbapi.hpp"
#include "barretenberg/bbapi/bbapi_execute.hpp"
#include "barretenberg/client_ivc/acir_bincode_mocks.hpp"
#include "barretenberg/client_ivc/client_ivc.hpp"
#include "barretenberg/client_ivc/mock_circuit_producer.hpp"
#include "barretenberg/client_ivc/private_execution_steps.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_format_mocks.hpp"
#include "barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp"
#include "barretenberg/dsl/acir_format/serde/acir.hpp"
#include "barretenberg/dsl/acir_format/serde/witness_stack.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/serialize/msgpack_check_eq.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include <chrono>
#include <cstddef>
#include <cstdlib>
#include <filesystem>
#include <gtest/gtest.h>
#include <sstream>
#include <string_view>

Go to the source code of this file.

Classes
class	ClientIVCAPITests

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Functions
std::vector< uint8_t >	bb::compress (const std::vector< uint8_t > &input)
ClientIVC::MegaVerificationKey	get_ivc_vk (const std::filesystem::path &test_dir)
	TEST_F (ClientIVCAPITests, DISABLED_ProveAndVerifyFileBasedFlow)
	TEST_F (ClientIVCAPITests, WriteVkFieldsSmokeTest)
	TEST_F (ClientIVCAPITests, WriteIVCVkSmokeTest)
	TEST_F (ClientIVCAPITests, GatesCommandSmokeTest)
	TEST_F (ClientIVCAPITests, DISABLED_ProveAndVerifyCommand)
	TEST_F (ClientIVCAPITests, CheckPrecomputedVks)
	TEST_F (ClientIVCAPITests, CheckPrecomputedVksMismatch)

Function Documentation

get_ivc_vk()

ClientIVC::MegaVerificationKey get_ivc_vk

(

const std::filesystem::path &

test_dir

)

Definition at line 108 of file api_client_ivc.test.cpp.

TEST_F() [1/7]

TEST_F	(	ClientIVCAPITests	,
		CheckPrecomputedVks
	)

Definition at line 275 of file api_client_ivc.test.cpp.

TEST_F() [2/7]

TEST_F	(	ClientIVCAPITests	,
		CheckPrecomputedVksMismatch
	)

Definition at line 286 of file api_client_ivc.test.cpp.

TEST_F() [3/7]

TEST_F	(	ClientIVCAPITests	,
		DISABLED_ProveAndVerifyCommand
	)

Definition at line 264 of file api_client_ivc.test.cpp.

TEST_F() [4/7]

TEST_F	(	ClientIVCAPITests	,
		DISABLED_ProveAndVerifyFileBasedFlow
	)

Definition at line 136 of file api_client_ivc.test.cpp.

TEST_F() [5/7]

TEST_F	(	ClientIVCAPITests	,
		GatesCommandSmokeTest
	)

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

TEST_F() [6/7]

TEST_F	(	ClientIVCAPITests	,
		WriteIVCVkSmokeTest
	)

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

TEST_F() [7/7]

TEST_F	(	ClientIVCAPITests	,
		WriteVkFieldsSmokeTest
	)

Definition at line 181 of file api_client_ivc.test.cpp.