diff --git a/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp b/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp
index 411aad00..83803bcf 100644
--- 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
index 2054c267..bf2562ae 100644
--- 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());