From f152c12846848b9406779654bc65889affc348f9 Mon Sep 17 00:00:00 2001 From: Franco Nieddu Date: Wed, 10 Jan 2024 10:15:54 +0100 Subject: [PATCH] chore: updated blueprint to upstream commit --- libs/blueprint | 2 +- mlir-assigner/src/main.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/libs/blueprint b/libs/blueprint index 5fc4ba2..ef8edc2 160000 --- a/libs/blueprint +++ b/libs/blueprint @@ -1 +1 @@ -Subproject commit 5fc4ba251865a418fc6dc8394f24911d3c6a1567 +Subproject commit ef8edc2dff613774eb5266ded434b7ee140034f9 diff --git a/mlir-assigner/src/main.cpp b/mlir-assigner/src/main.cpp index d631455..f4b5819 100644 --- 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());