Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
AcirIntegrationTest Class Reference
Inheritance diagram for AcirIntegrationTest:
AcirIntegrationFoldingTest AcirIntegrationSingleTest

Public Member Functions

template<class Flavor >
bool prove_and_verify_honk (Flavor::CircuitBuilder &builder)
 
void add_some_simple_RAM_gates (auto &circuit)
 

Static Public Member Functions

static std::vector< uint8_t > get_bytecode (const std::string &bytecodePath)
 
static bool file_exists (const std::string &path)
 
static acir_format::AcirProgramStack get_program_stack_data_from_test_file (const std::string &test_program_name)
 
static acir_format::AcirProgram get_program_data_from_test_file (const std::string &test_program_name)
 

Static Protected Member Functions

static void SetUpTestSuite ()
 

Detailed Description

Definition at line 17 of file acir_integration.test.cpp.

Member Function Documentation

◆ add_some_simple_RAM_gates()

void AcirIntegrationTest::add_some_simple_RAM_gates ( auto &  circuit)
inline

Definition at line 83 of file acir_integration.test.cpp.

◆ file_exists()

static bool AcirIntegrationTest::file_exists ( const std::string &  path)
inlinestatic

Definition at line 34 of file acir_integration.test.cpp.

◆ get_bytecode()

static std::vector< uint8_t > AcirIntegrationTest::get_bytecode ( const std::string &  bytecodePath)
inlinestatic

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

◆ get_program_data_from_test_file()

static acir_format::AcirProgram AcirIntegrationTest::get_program_data_from_test_file ( const std::string &  test_program_name)
inlinestatic

Definition at line 49 of file acir_integration.test.cpp.

◆ get_program_stack_data_from_test_file()

static acir_format::AcirProgramStack AcirIntegrationTest::get_program_stack_data_from_test_file ( const std::string &  test_program_name)
inlinestatic

Definition at line 40 of file acir_integration.test.cpp.

◆ prove_and_verify_honk()

template<class Flavor >
bool AcirIntegrationTest::prove_and_verify_honk ( Flavor::CircuitBuilder builder)
inline

Definition at line 58 of file acir_integration.test.cpp.

◆ SetUpTestSuite()

static void AcirIntegrationTest::SetUpTestSuite ( )
inlinestaticprotected

Definition at line 113 of file acir_integration.test.cpp.


The documentation for this class was generated from the following file: