From 27b55cd87e8901c6c4a153cf58202da572c4f4e8 Mon Sep 17 00:00:00 2001
From: x-mass <36629999+x-mass@users.noreply.github.com>
Date: Mon, 1 Jul 2024 12:53:57 +0000
Subject: [PATCH] Fix proof producer bug for Boost 1.83

---
 .../zk/snark/arithmetization/plonk/constraint_system.hpp   | 7 ++++---
 1 file changed, 4 insertions(+), 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
index 08c6bc2b..7aea3b4f 100644
--- 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;