bb::acir_bincode_mocks Namespace Reference

Functions
uint8_t	hex_char_to_value (char c)
std::vector< uint8_t >	hex_string_to_bytes (const std::string &str)
std::pair< std::vector< uint8_t >, std::vector< uint8_t > >	create_simple_circuit_bytecode (size_t num_constraints=1)
	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 175 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 ( size_t  num_constraints = 1 )

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 57 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 120 of file acir_bincode_mocks.hpp.

hex_char_to_value()

uint8_t bb::acir_bincode_mocks::hex_char_to_value ( char  c )

inline

Definition at line 12 of file acir_bincode_mocks.hpp.

hex_string_to_bytes()

std::vector< uint8_t > bb::acir_bincode_mocks::hex_string_to_bytes ( const std::string &  str )

inline

Definition at line 27 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.