api_ultra_honk.test.cpp File Reference

#include "api_ultra_honk.hpp"
#include "barretenberg/api/file_io.hpp"
#include "barretenberg/bbapi/bbapi_ultra_honk.hpp"
#include "barretenberg/chonk/acir_bincode_mocks.hpp"
#include "barretenberg/common/serialize.hpp"
#include "barretenberg/dsl/acir_format/acir_format.hpp"
#include "barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_flavor.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include <chrono>
#include <cstddef>
#include <cstdlib>
#include <filesystem>
#include <gtest/gtest.h>
#include <math.h>
#include <sstream>
#include <string_view>

Go to the source code of this file.

Classes
class	ApiUltraHonkTest

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

Functions
std::vector< uint8_t >	bb::compress (const std::vector< uint8_t > &input)
	Save modified ivc-inputs.msgpack when VKs are rewritten.
std::vector< uint8_t >	bb::decompress (const void *bytes, size_t size)
	Decompress bytecode and witness fields from ivc-inputs.msgpack.
	TEST_F (ApiUltraHonkTest, ProveAndVerify)
	TEST_F (ApiUltraHonkTest, ProveWithWriteVk)
	TEST_F (ApiUltraHonkTest, ProveAndVerifyWithFields)
	TEST_F (ApiUltraHonkTest, ProveWithDifferentSettings)
	TEST_F (ApiUltraHonkTest, WriteVk)
	TEST_F (ApiUltraHonkTest, GatesWithOpcodesSmokeTest)
	TEST_F (ApiUltraHonkTest, VerifyWithMissingVkGivesActionableError)

Function Documentation

TEST_F() [1/7]

TEST_F	(	ApiUltraHonkTest	,
		GatesWithOpcodesSmokeTest
	)

Definition at line 218 of file api_ultra_honk.test.cpp.

TEST_F() [2/7]

TEST_F	(	ApiUltraHonkTest	,
		ProveAndVerify
	)

Definition at line 74 of file api_ultra_honk.test.cpp.

TEST_F() [3/7]

TEST_F	(	ApiUltraHonkTest	,
		ProveAndVerifyWithFields
	)

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

TEST_F() [4/7]

TEST_F	(	ApiUltraHonkTest	,
		ProveWithDifferentSettings
	)

Definition at line 160 of file api_ultra_honk.test.cpp.

TEST_F() [5/7]

TEST_F	(	ApiUltraHonkTest	,
		ProveWithWriteVk
	)

Definition at line 104 of file api_ultra_honk.test.cpp.

TEST_F() [6/7]

TEST_F	(	ApiUltraHonkTest	,
		VerifyWithMissingVkGivesActionableError
	)

Definition at line 237 of file api_ultra_honk.test.cpp.

TEST_F() [7/7]

TEST_F	(	ApiUltraHonkTest	,
		WriteVk
	)

Definition at line 191 of file api_ultra_honk.test.cpp.