diff --git a/include/nil/crypto3/marshalling/zk/types/plonk/assignment_table.hpp b/include/nil/crypto3/marshalling/zk/types/plonk/assignment_table.hpp index 86d05ef..3fc4c5c 100644 --- a/include/nil/crypto3/marshalling/zk/types/plonk/assignment_table.hpp +++ b/include/nil/crypto3/marshalling/zk/types/plonk/assignment_table.hpp @@ -86,13 +86,17 @@ namespace nil { } } return result_type(std::make_tuple( - nil::marshalling::types::integral(usable_rows), - nil::marshalling::types::integral(PlonkTable::arithmetization_params::total_columns), + nil::marshalling::types::integral(usable_rows), + nil::marshalling::types::integral(PlonkTable::arithmetization_params::total_columns), fill_field_element_vector(table_values) )); } template std::pair make_assignment_table(const plonk_assignment_table, PlonkTable> filled_assignments){ + if (PlonkTable::arithmetization_params::total_columns != std::get<1>(filled_assignments.value()).value()) { + std::cout << "Proover columns number (" << PlonkTable::arithmetization_params::total_columns + << ") doesn't match the number in assignment (" <(filled_assignments.value()).value() << ")" << std::endl; + } BOOST_ASSERT(PlonkTable::arithmetization_params::total_columns == std::get<1>(filled_assignments.value()).value()); std::size_t usable_rows = std::get<0>(filled_assignments.value()).value(); @@ -133,7 +137,7 @@ namespace nil { } } return std::make_pair( usable_rows, PlonkTable( - typename PlonkTable::private_table_type(witnesses), + typename PlonkTable::private_table_type(witnesses), typename PlonkTable::public_table_type(public_inputs, constants, selectors) )); }