removes must_pass from is_satisfied #116

NilFoundation · Mar 27, 2023 · 0ae4057 · 0ae4057
1 parent a3354b5
commit 0ae4057
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 17 deletions.
diff --git a/include/nil/blueprint/utils/satisfiability_check.hpp b/include/nil/blueprint/utils/satisfiability_check.hpp
@@ -44,8 +44,7 @@ namespace nil {
         bool is_satisfied(circuit<crypto3::zk::snark::plonk_constraint_system<BlueprintFieldType,
                                                        ArithmetizationParams>> bp,
                           crypto3::zk::snark::plonk_assignment_table<BlueprintFieldType,
-                                                    ArithmetizationParams> assignments,
-                          bool must_pass = true) {
+                                                    ArithmetizationParams> assignments) {
 
             const std::vector<crypto3::zk::snark::plonk_gate<BlueprintFieldType, crypto3::zk::snark::plonk_constraint<BlueprintFieldType>>> gates =
                         bp.gates();
@@ -69,11 +68,7 @@ namespace nil {
 
                             if (!constraint_result.is_zero()) {
                                 std::cout << "Constraint " << j << " from gate " << i << "on row " << selector_row << " is not satisfied." << std::endl;
-                                if (must_pass) {
-                                    return false;
-                                } else {
-                                    return true;
-                                }
+                                return false;
                             }
                         }
                     }
@@ -84,18 +79,10 @@ namespace nil {
                 if (var_value(assignments, copy_constraints[i].first) !=
                     var_value(assignments, copy_constraints[i].second)){
                     std::cout << "Copy constraint number " << i << " is not satisfied." << std::endl;
-                    if (must_pass) {
-                        return false;
-                    } else {
-                        return true;
-                    }
+                    return false;
                 }
             }
 
-            if (!must_pass) {
-                std::cout << "All constraints are satisfied." << std::endl;
-                return false;
-            }
             return true;
         }
 

diff --git a/test/test_plonk_component.hpp b/test/test_plonk_component.hpp
@@ -135,7 +135,7 @@ namespace nil {
             profiling(assignment);
 #endif
 
-            assert(blueprint::is_satisfied(bp, assignment, must_pass));
+            assert(blueprint::is_satisfied(bp, assignment) == must_pass);
 
             return std::make_tuple(desc, bp, assignment);
         }