Submodules updated #83

bin/proof-generator/include/nil/proof-generator/arg_parser.hpp

@@ -44,10 +44,11 @@ namespace nil {
             bool verification_only = false;
             CurvesVariant elliptic_curve_type = type_identity<nil::crypto3::algebra::curves::pallas>{};
             HashesVariant hash_type = type_identity<nil::crypto3::hashes::keccak_1600<256>>{};
-            ;
+
             std::size_t lambda = 9;
             std::size_t grind = 69;
             std::size_t expand_factor = 2;
+            std::size_t max_quotient_chunks = 0;
         };
 
         std::optional<ProverOptions> parse_args(int argc, char* argv[]);

bin/proof-generator/include/nil/proof-generator/prover.hpp

@@ -39,12 +39,12 @@
 #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/snark/systems/plonk/placeholder/detail/profiling.hpp>
 
 #include <nil/blueprint/transpiler/recursive_verifier_generator.hpp>
 #include <nil/marshalling/endianness.hpp>
@@ -128,6 +128,7 @@ namespace nil {
                 boost::filesystem::path json_file,
                 std::size_t lambda,
                 std::size_t expand_factor,
+                std::size_t max_quotient_chunks,
                 std::size_t grind
             )
                 : circuit_file_(circuit_file_name)
@@ -137,6 +138,7 @@ namespace nil {
                 , json_file_(json_file)
                 , lambda_(lambda)
                 , expand_factor_(expand_factor)
+                , max_quotient_chunks_(max_quotient_chunks_)
                 , grind_(grind) {
                 std::cout << "Global constructor" << std::endl;
             }
@@ -326,7 +328,8 @@ namespace nil {
                             *constraint_system_,
                             assignment_table.move_public_table(),
                             *table_description_,
-                            *lpc_scheme_
+                            *lpc_scheme_,
+                            max_quotient_chunks_
                         )
                 );
 
@@ -344,6 +347,7 @@ namespace nil {
             const boost::filesystem::path proof_file_;
             const boost::filesystem::path json_file_;
             const std::size_t expand_factor_;
+            const std::size_t max_quotient_chunks_;
             const std::size_t lambda_;
             const std::size_t grind_;
 

bin/proof-generator/src/arg_parser.cpp

@@ -83,6 +83,7 @@ namespace nil {
                 ("lambda-param", make_defaulted_option(prover_options.lambda), "Lambda param (9)")
                 ("grind-param", make_defaulted_option(prover_options.grind), "Grind param (69)")
                 ("expand-factor,x", make_defaulted_option(prover_options.expand_factor), "Expand factor")
+                ("max_quotient_chunks,q", make_defaulted_option(prover_options.max_quotient_chunks), "Expand factor")
                 ("skip-verification", po::bool_switch(&prover_options.skip_verification), "Skip generated proof verifying step")
                 ("verification-only", po::bool_switch(&prover_options.verification_only), "Read proof for verification instead of writing to it");
             // clang-format on

bin/proof-generator/src/main.cpp

@@ -40,6 +40,7 @@ int run_prover(const nil::proof_generator::ProverOptions& prover_options) {
             prover_options.json_file_path,
             prover_options.lambda,
             prover_options.expand_factor,
+            prover_options.max_quotient_chunks,
             prover_options.grind
         );
         bool prover_result;