use copy constraint size #20

NilFoundation · Mar 14, 2022 · dc66129 · dc66129
1 parent dee8fdc
commit dc66129
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/include/nil/crypto3/zk/snark/systems/plonk/redshift/preprocessor.hpp b/include/nil/crypto3/zk/snark/systems/plonk/redshift/preprocessor.hpp
@@ -377,7 +377,7 @@ namespace nil {
                         const typename policy_type::variable_assignment_type::public_table_type &public_assignment,
                         const plonk_table_description<FieldType> &table_description,
                         const typename commitment_scheme_public_type::params_type &commitment_params,
-                        std::vector<std::size_t> columns_with_copy_constraints) {
+                        std::size_t columns_with_copy_constraints) {
 
                         std::size_t N_rows = constraint_system.rows_amount();
                         std::size_t usable_rows = constraint_system.usable_rows_amount();
@@ -389,13 +389,13 @@ namespace nil {
                         cycle_representation permutation(constraint_system, table_description);
 
                         std::vector<math::polynomial<typename FieldType::value_type>> _permutation_polynomials =
-                            permutation_polynomials(columns_with_copy_constraints.size(),
+                            permutation_polynomials(columns_with_copy_constraints,
                                                     N_rows, basic_domain->get_domain_element(1),
                                                     policy_type::redshift_params_type::delta, permutation,
                                                     basic_domain);
 
                         std::vector<math::polynomial<typename FieldType::value_type>> _identity_polynomials =
-                            identity_polynomials(columns_with_copy_constraints.size(),
+                            identity_polynomials(columns_with_copy_constraints,
                                                  N_rows, basic_domain->get_domain_element(1),
                                                  policy_type::redshift_params_type::delta, basic_domain);
 

diff --git a/test/systems/plonk/redshift.cpp b/test/systems/plonk/redshift.cpp
@@ -159,7 +159,7 @@ BOOST_AUTO_TEST_CASE(redshift_permutation_polynomials_test) {
 
     typename policy_type::preprocessed_public_data_type preprocessed_public_data =
         redshift_public_preprocessor<FieldType, circuit_2_params>::process(
-            constraint_system, assigments.public_table(), assigments.table_description(), fri_params, columns_with_copy_constraints);
+            constraint_system, assigments.public_table(), assigments.table_description(), fri_params, columns_with_copy_constraints.size());
 
     typename policy_type::preprocessed_private_data_type preprocessed_private_data =
         redshift_private_preprocessor<FieldType, circuit_2_params>::process(
@@ -232,7 +232,7 @@ BOOST_AUTO_TEST_CASE(redshift_permutation_argument_test) {
 
     typename policy_type::preprocessed_public_data_type preprocessed_public_data =
         redshift_public_preprocessor<FieldType, circuit_2_params>::process(
-            constraint_system, assigments.public_table(), assigments.table_description(), fri_params, columns_with_copy_constraints);
+            constraint_system, assigments.public_table(), assigments.table_description(), fri_params, columns_with_copy_constraints.size());
 
     typename policy_type::preprocessed_private_data_type preprocessed_private_data =
         redshift_private_preprocessor<FieldType, circuit_2_params>::process(
@@ -307,7 +307,7 @@ BOOST_AUTO_TEST_CASE(redshift_gate_argument_test) {
 
     typename policy_type::preprocessed_public_data_type preprocessed_public_data =
         redshift_public_preprocessor<FieldType, circuit_2_params>::process(
-            constraint_system, assigments.public_table(), assigments.table_description(), fri_params, columns_with_copy_constraints);
+            constraint_system, assigments.public_table(), assigments.table_description(), fri_params, columns_with_copy_constraints.size());
 
     typename policy_type::preprocessed_private_data_type preprocessed_private_data =
         redshift_private_preprocessor<FieldType, circuit_2_params>::process(
@@ -368,7 +368,7 @@ BOOST_AUTO_TEST_CASE(redshift_prover_basic_test) {
 
     typename policy_type::preprocessed_public_data_type preprocessed_public_data =
         redshift_public_preprocessor<FieldType, circuit_2_params>::process(
-            constraint_system, assigments.public_table(), assigments.table_description(), fri_params, columns_with_copy_constraints);
+            constraint_system, assigments.public_table(), assigments.table_description(), fri_params, columns_with_copy_constraints.size());
 
     typename policy_type::preprocessed_private_data_type preprocessed_private_data =
         redshift_private_preprocessor<FieldType, circuit_2_params>::process(