Changes from master #49

NilFoundation · Mar 29, 2024 · 05edd28 · 05edd28
2 parents ac41d57 + 92923be
commit 05edd28
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp b/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp
@@ -115,6 +115,10 @@ namespace nil {
                         return _public_input_sizes.size();
                     }
 
+                    const std::vector<std::size_t> &public_input_sizes() const{
+                        return _public_input_sizes;
+                    }
+
                     std::size_t num_gates() const {
                         return _gates.size();
                     }

diff --git a/include/nil/crypto3/zk/snark/systems/plonk/placeholder/permutation_argument.hpp b/include/nil/crypto3/zk/snark/systems/plonk/placeholder/permutation_argument.hpp
@@ -101,7 +101,7 @@ namespace nil {
 
                         std::vector<math::polynomial_dfs<typename FieldType::value_type>> g_v = S_id;
                         std::vector<math::polynomial_dfs<typename FieldType::value_type>> h_v = S_sigma;
-                        parallel_for(0, S_id.size(), [&g_v, &h_v, &beta, &gamma, &column_polynomials, &basic_domain, &S_id](std::size_t i) {
+                        parallel_for(0, S_id.size(), [&g_v, &h_v, &beta, &gamma, &column_polynomials, &basic_domain, &S_id, &S_sigma](std::size_t i) {
                             BOOST_ASSERT(column_polynomials[i].size() == basic_domain->size());
                             BOOST_ASSERT(S_id[i].size() == basic_domain->size());
                             BOOST_ASSERT(S_sigma[i].size() == basic_domain->size());