minor updates #116

NilFoundation · Mar 22, 2023 · a3354b5 · a3354b5
1 parent 207a935
commit a3354b5
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/include/nil/blueprint/utils/satisfiability_check.hpp b/include/nil/blueprint/utils/satisfiability_check.hpp
@@ -92,6 +92,10 @@ namespace nil {
                 }
             }
 
+            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
@@ -183,7 +183,11 @@ namespace nil {
             bool verifier_res = zk::snark::placeholder_verifier<BlueprintFieldType, placeholder_params>::process(
               public_preprocessed_data, proof, bp, fri_params);
 
-            BOOST_CHECK(verifier_res);
+            if (must_pass) {
+                BOOST_CHECK(verifier_res);
+            } else {
+                BOOST_CHECK(!verifier_res);
+            }
 #endif
         }
     }    // namespace crypto3