proover uses parallel-crypto3 and not a single-threaded version

NilFoundation · Oct 3, 2024 · 53bf865 · 53bf865
1 parent 7e9d3c1
commit 53bf865
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 14 deletions.
diff --git a/...bs/parallel-zk/include/nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/prover.hpp b/...bs/parallel-zk/include/nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/prover.hpp
@@ -47,6 +47,7 @@
 #include <nil/crypto3/zk/snark/systems/plonk/placeholder/preprocessor.hpp>
 
 #include <nil/crypto3/bench/scoped_profiler.hpp>
+#include <nil/actor/core/parallelization_utils.hpp>
 
 namespace nil {
     namespace crypto3 {

diff --git a/proof-producer/bin/proof-producer/CMakeLists.txt b/proof-producer/bin/proof-producer/CMakeLists.txt
@@ -47,6 +47,7 @@ function(setup_proof_generator_target)
     if(ARG_ADDITIONAL_DEPENDENCIES)
         foreach(lib IN LISTS ARG_ADDITIONAL_DEPENDENCIES)
             target_link_libraries(${ARG_TARGET_NAME}-lib INTERFACE ${lib})
+            target_compile_definitions(${ARG_TARGET_NAME}-lib INTERFACE MULTITHREADED)
         endforeach()
     endif()
 

diff --git a/proof-producer/bin/proof-producer/include/nil/proof-generator/prover.hpp b/proof-producer/bin/proof-producer/include/nil/proof-generator/prover.hpp
@@ -40,22 +40,33 @@
 #include <nil/crypto3/marshalling/zk/types/plonk/assignment_table.hpp>
 #include <nil/crypto3/marshalling/zk/types/plonk/constraint_system.hpp>
 
-#include <nil/crypto3/math/algorithms/calculate_domain_set.hpp>
-
-#include <nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp>
-#include <nil/crypto3/zk/snark/arithmetization/plonk/params.hpp>
-#include <nil/crypto3/zk/snark/systems/plonk/placeholder/detail/placeholder_policy.hpp>
-#include <nil/crypto3/zk/snark/systems/plonk/placeholder/detail/profiling.hpp>
-#include <nil/crypto3/zk/snark/systems/plonk/placeholder/params.hpp>
-#include <nil/crypto3/zk/snark/systems/plonk/placeholder/preprocessor.hpp>
-#include <nil/crypto3/zk/snark/systems/plonk/placeholder/proof.hpp>
-#include <nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp>
-#include <nil/crypto3/zk/snark/systems/plonk/placeholder/verifier.hpp>
-#include <nil/crypto3/zk/transcript/fiat_shamir.hpp>
+#ifdef MULTITHREADED
+  #include <nil/parallel-crypto3/math/algorithms/calculate_domain_set.hpp>
+  #include <nil/parallel-crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp>
+  #include <nil/parallel-crypto3/zk/snark/arithmetization/plonk/params.hpp>
+  #include <nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/detail/placeholder_policy.hpp>
+  #include <nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/detail/profiling.hpp>
+  #include <nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/params.hpp>
+  #include <nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/preprocessor.hpp>
+  #include <nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/proof.hpp>
+  #include <nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/prover.hpp>
+  #include <nil/parallel-crypto3/zk/snark/systems/plonk/placeholder/verifier.hpp>
+  #include <nil/parallel-crypto3/zk/transcript/fiat_shamir.hpp>
+#else
+  #include <nil/crypto3/math/algorithms/calculate_domain_set.hpp>
+  #include <nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp>
+  #include <nil/crypto3/zk/snark/arithmetization/plonk/params.hpp>
+  #include <nil/crypto3/zk/snark/systems/plonk/placeholder/detail/placeholder_policy.hpp>
+  #include <nil/crypto3/zk/snark/systems/plonk/placeholder/detail/profiling.hpp>
+  #include <nil/crypto3/zk/snark/systems/plonk/placeholder/params.hpp>
+  #include <nil/crypto3/zk/snark/systems/plonk/placeholder/preprocessor.hpp>
+  #include <nil/crypto3/zk/snark/systems/plonk/placeholder/proof.hpp>
+  #include <nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp>
+  #include <nil/crypto3/zk/snark/systems/plonk/placeholder/verifier.hpp>
+  #include <nil/crypto3/zk/transcript/fiat_shamir.hpp>
+#endif
 
 #include <nil/blueprint/transpiler/recursive_verifier_generator.hpp>
-
-
 #include <nil/proof-generator/arithmetization_params.hpp>
 #include <nil/proof-generator/file_operations.hpp>