Inconsistency with evm verifier fixed

.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

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")

VERSION

@@ -1 +1 @@
-0.1.0
+0.1.1

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

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>
 
 
@@ -202,7 +197,7 @@ namespace nil {
                 table_description.rows_amount = assignment_table.rows_amount();
             }
 
-            const std::size_t Lambda = 2;
+            const std::size_t Lambda = 9;
             using Hash = nil::crypto3::hashes::keccak_1600<256>;
             using circuit_params = nil::crypto3::zk::snark::placeholder_circuit_params<
                 BlueprintFieldType, ArithmetizationParams