diff --git a/test/algebra/curves/plonk/variable_base_scalar_mul.cpp b/test/algebra/curves/plonk/variable_base_scalar_mul.cpp index f65caf9a7..21fe9739a 100644 --- a/test/algebra/curves/plonk/variable_base_scalar_mul.cpp +++ b/test/algebra/curves/plonk/variable_base_scalar_mul.cpp @@ -91,11 +91,21 @@ void test_variable_base_scalar_mul ( if constexpr (std::is_same::value) { var high_bit = {0, 3, false, var::column_type::public_input}; typename component_type::input_type instance_input = {{T_X_var, T_Y_var},scalar_var, high_bit}; + + std::cout << "test input: " << var_value(assignment, T_X_var).data << " "; + std::cout << var_value(assignment, T_Y_var).data << " "; + std::cout << var_value(assignment, scalar_var).data << " "; + std::cout << var_value(assignment, high_bit).data << "\n"; + nil::crypto3::test_component (stretched_instance, desc, public_input, result_check, instance_input); } else { typename component_type::input_type instance_input = {{T_X_var, T_Y_var},scalar_var}; + + std::cout << "test input: " << var_value(assignment, T_X_var).data << " "; + std::cout << var_value(assignment, T_Y_var).data << " "; + std::cout << var_value(assignment, scalar_var).data << " "; nil::crypto3::test_component (stretched_instance, desc, public_input, result_check, instance_input); @@ -104,11 +114,22 @@ void test_variable_base_scalar_mul ( if constexpr (std::is_same::value) { var high_bit = {0, 3, false, var::column_type::public_input}; typename component_type::input_type instance_input = {{T_X_var, T_Y_var},scalar_var, high_bit}; + + std::cout << "test input: " << var_value(assignment, T_X_var).data << " "; + std::cout << var_value(assignment, T_Y_var).data << " "; + std::cout << var_value(assignment, scalar_var).data << " "; + std::cout << var_value(assignment, high_bit).data << "\n"; + nil::crypto3::test_component (component_instance, desc, public_input, result_check, instance_input); } else { typename component_type::input_type instance_input = {{T_X_var, T_Y_var},scalar_var}; + + std::cout << "test input: " << var_value(assignment, T_X_var).data << " "; + std::cout << var_value(assignment, T_Y_var).data << " "; + std::cout << var_value(assignment, scalar_var).data << " "; + nil::crypto3::test_component (component_instance, desc, public_input, result_check, instance_input);