bb::acir_bincode_mocks Namespace Reference

Functions
std::pair< std::vector< uint8_t >, std::vector< uint8_t > >	create_simple_circuit_bytecode ()
	Helper function to create a minimal circuit bytecode and witness for testing.
std::vector< uint8_t >	create_simple_kernel (size_t vk_size, bool is_init_kernel)
	Create a simple kernel circuit for IVC testing.
std::vector< uint8_t >	create_kernel_witness (const std::vector< bb::fr > &app_vk_fields)
	Create a kernel witness for IVC testing.

Variables
const size_t	BIT_COUNT = 254

Function Documentation

create_kernel_witness()

std::vector< uint8_t > bb::acir_bincode_mocks::create_kernel_witness ( const std::vector< bb::fr > &  app_vk_fields )

inline

Create a kernel witness for IVC testing.

Parameters

app_vk_fields

The application verification key fields to include in witness

Returns

Serialized witness data

Definition at line 115 of file acir_bincode_mocks.hpp.

create_simple_circuit_bytecode()

std::pair< std::vector< uint8_t >, std::vector< uint8_t > > bb::acir_bincode_mocks::create_simple_circuit_bytecode ( )

inline

Helper function to create a minimal circuit bytecode and witness for testing.

Returns

A pair of (circuit_bytecode, witness_data)

The circuit implements: w0 * w1 = w2 Example witness: w0=2, w1=3, w2=6 (so 2*3=6)

Definition at line 19 of file acir_bincode_mocks.hpp.

create_simple_kernel()

std::vector< uint8_t > bb::acir_bincode_mocks::create_simple_kernel ( size_t  vk_size, bool  is_init_kernel  )

inline

Create a simple kernel circuit for IVC testing.

Returns

Serialized kernel bytecode

Definition at line 73 of file acir_bincode_mocks.hpp.

Variable Documentation

BIT_COUNT

const size_t bb::acir_bincode_mocks::BIT_COUNT = 254

Definition at line 10 of file acir_bincode_mocks.hpp.