Dependency from blueprint and transpiler removed.

NilFoundation · Nov 15, 2023 · cb480be · cb480be
1 parent fbcf856
commit cb480be
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 19 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -13,9 +13,3 @@
 [submodule "libs/application"]
 	path = libs/application
 	url = ../../NilFoundation/application.git
-[submodule "libs/blueprint"]
-	path = libs/blueprint
-	url = ../../NilFoundation/zkllvm-blueprint.git
-[submodule "libs/transpiler"]
-	path = libs/transpiler
-	url = ../../NilFoundation/zkllvm-transpiler.git
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -49,6 +49,3 @@ add_subdirectory("${CMAKE_CURRENT_LIST_DIR}/libs/crypto3")
 add_subdirectory("${CMAKE_CURRENT_LIST_DIR}/libs/module")
 add_subdirectory("${CMAKE_CURRENT_LIST_DIR}/libs/plugin")
 add_subdirectory("${CMAKE_CURRENT_LIST_DIR}/libs/application")
-
-add_subdirectory("${CMAKE_CURRENT_LIST_DIR}/libs/blueprint")
-add_subdirectory("${CMAKE_CURRENT_LIST_DIR}/libs/transpiler")
diff --git a/bin/proof-generator/CMakeLists.txt b/bin/proof-generator/CMakeLists.txt
@@ -88,9 +88,6 @@ target_link_libraries(${CURRENT_PROJECT_NAME}
         crypto3::random
         crypto3::zk
 
-        crypto3::blueprint
-	crypto3::transpiler
-
         marshalling::core
         marshalling::crypto3_algebra
         marshalling::crypto3_multiprecision

diff --git a/bin/proof-generator/include/nil/proof-generator/prover.hpp b/bin/proof-generator/include/nil/proof-generator/prover.hpp
@@ -47,11 +47,6 @@
 #include <nil/marshalling/field_type.hpp>
 #include <nil/marshalling/endianness.hpp>
 
-#include <nil/blueprint/basic_non_native_policy.hpp>
-#include <nil/blueprint/utils/satisfiability_check.hpp>
-
-#include <nil/blueprint/transpiler/table_profiling.hpp>
-
 #include <nil/proof-generator/detail/utils.hpp>
 
 

diff --git a/libs/blueprint b/libs/blueprint
diff --git a/libs/transpiler b/libs/transpiler