bb::eccvm_test_utils Namespace Reference

Typedefs
using	FF = ECCVMFlavor::FF

Functions
void	print_eccvm_columns (const std::string &test_name, const ECCVMFlavor::ProverPolynomials &polys, size_t num_rows)
	Print selected ECCVM columns for debugging purposes.
void	add_hiding_op_for_test (const std::shared_ptr< ECCOpQueue > &op_queue)
	Set a hiding op on the op_queue for testing.

Typedef Documentation

FF

using bb::eccvm_test_utils::FF = typedef ECCVMFlavor::FF

Definition at line 10 of file eccvm_test_utils.hpp.

Function Documentation

add_hiding_op_for_test()

void bb::eccvm_test_utils::add_hiding_op_for_test ( const std::shared_ptr< ECCOpQueue > &  op_queue )

inline

Set a hiding op on the op_queue for testing.

The hiding op is stored via append_hiding_op, but when get_eccvm_ops() is called, it gets prepended at index 0 of the ECCVM operations list. This ensures the ECCVM transcript table has q_eq = 1 at row 1 (lagrange_second), which is required for the relation constraints. In production (Chonk flow), a hiding op with random Px, Py provides statistical hiding. For tests, we also use random values to match production behavior.

Definition at line 70 of file eccvm_test_utils.hpp.

print_eccvm_columns()

void bb::eccvm_test_utils::print_eccvm_columns ( const std::string &  test_name, const ECCVMFlavor::ProverPolynomials &  polys, size_t  num_rows  )

inline

Print selected ECCVM columns for debugging purposes.

Prints a formatted table of key polynomial values for the first N rows. Useful for inspecting trace structure during development and debugging.

Parameters

test_name	A label for the test case being printed
polys	The prover polynomials to inspect
num_rows	Number of rows to print (from the beginning)

Definition at line 21 of file eccvm_test_utils.hpp.