chore: updated blueprint to upstream commit

TaceoLabs · Jan 10, 2024 · f152c12 · f152c12
1 parent a62973d
commit f152c12
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/libs/blueprint b/libs/blueprint
diff --git a/mlir-assigner/src/main.cpp b/mlir-assigner/src/main.cpp
@@ -484,7 +484,7 @@ int curve_dependent_main(std::string bytecode_file_name, std::string public_inpu
         for (auto &it : parser_instance.circuits) {
             ASSERT_MSG(assignment_it != parser_instance.assignments.end(), "Not found assignment for circuit");
             assignment_it->set_check(true);
-            bool is_accessible = nil::blueprint::is_accessible(it, *assignment_it);
+            bool is_accessible = nil::blueprint::is_satisfied(it, *assignment_it);
             assignment_it->set_check(false);
             ASSERT_MSG(is_accessible,
                        ("The circuit is not satisfied on prover " + std::to_string(it.get_id())).c_str());