Fix proof producer bug for Boost 1.83

NilFoundation · Jul 1, 2024 · 27b55cd · 27b55cd
1 parent bb57c9d
commit 27b55cd
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/libs/parallel-zk/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp b/libs/parallel-zk/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp
@@ -37,7 +37,7 @@
 
 #include <cstdlib>
 #include <vector>
-#include <unordered_set>
+#include <set>
 
 #include <nil/crypto3/zk/snark/arithmetization/plonk/gate.hpp>
 #include <nil/crypto3/zk/snark/arithmetization/plonk/constraint.hpp>
@@ -98,8 +98,9 @@ namespace nil {
                     {
                     }
 
-                    std::unordered_set<variable_type> permuted_columns() const{
-                        std::unordered_set<variable_type> result;
+                    // Use std::set to ensure elements in permuted_columns are iterated in ascending order.
+                    std::set<variable_type> permuted_columns() const{
+                        std::set<variable_type> result;
                         for( std::size_t i = 0; i < _copy_constraints.size(); i++){
                             auto var0 = _copy_constraints[i].first;
                             auto var1 = _copy_constraints[i].second;