Skip to content

Commit

Permalink
Dependency from blueprint and transpiler removed.
Browse files Browse the repository at this point in the history
  • Loading branch information
nkaskov committed Nov 15, 2023
1 parent 7481add commit 00b423e
Show file tree
Hide file tree
Showing 6 changed files with 0 additions and 19 deletions.
6 changes: 0 additions & 6 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -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
3 changes: 0 additions & 3 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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")
3 changes: 0 additions & 3 deletions bin/proof-generator/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
5 changes: 0 additions & 5 deletions bin/proof-generator/include/nil/proof-generator/prover.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -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>


Expand Down
1 change: 0 additions & 1 deletion libs/blueprint
Submodule blueprint deleted from 41cb11
1 change: 0 additions & 1 deletion libs/transpiler
Submodule transpiler deleted from a912c3

0 comments on commit 00b423e

Please sign in to comment.