Style fix

Author: x-mass

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

@@ -42,8 +42,9 @@ namespace nil {
             boost::log::trivial::severity_level log_level = boost::log::trivial::severity_level::info;
             bool skip_verification = false;
             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>> {};;
+            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;

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

@@ -22,7 +22,6 @@
 
 #include <nil/crypto3/algebra/curves/pallas.hpp>
 #include <nil/crypto3/algebra/curves/vesta.hpp>
-
 #include <nil/crypto3/hash/keccak.hpp>
 #include <nil/crypto3/hash/poseidon.hpp>
 #include <nil/crypto3/hash/sha2.hpp>
@@ -32,38 +31,17 @@
 namespace nil {
     namespace proof_generator {
 
-        // Available in runtime columns params. Order is:
-        //   witness | public_input | component_constant | component_selector |
-        //   lookup_constant | lookup_selector
-        constexpr std::array<columns_params, 4> all_columns_params = {{
-            {15, 1, 5, 50, 30, 6},
-            {15, 1, 5, 60, 0, 0},
-            {15, 1, 2, 50, 14, 6},
-            {15, 1, 5, 30, 30, 6}
-            // Add more params as needed.
-        }};
-
-        constexpr std::array<LambdaParam, 1> all_lambda_params = {
-            20
-            // Add more params as needed.
-        };
-
-        constexpr std::array<GrindParam, 1> all_grind_params = {
-            69
-            // Add more params as needed.
-        };
-
-        using CurveTypes = std::tuple<
-            nil::crypto3::algebra::curves::pallas
-            // Add more curves as needed.
-        >;
+        using CurveTypes = std::tuple<nil::crypto3::algebra::curves::pallas
+                                      // Add more curves as needed.
+                                      >;
 
         using HashTypes = std::tuple<
             nil::crypto3::hashes::keccak_1600<256>,
             nil::crypto3::hashes::sha2<256>,
-            nil::crypto3::hashes::poseidon<nil::crypto3::hashes::detail::mina_poseidon_policy<nil::crypto3::algebra::curves::pallas::base_field_type>>
+            nil::crypto3::hashes::poseidon<nil::crypto3::hashes::detail::mina_poseidon_policy<
+                nil::crypto3::algebra::curves::pallas::base_field_type>>
             // Add more hashes as needed.
-        >;
+            >;
 
     } // namespace proof_generator
 } // namespace nil

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

@@ -30,19 +30,18 @@
 #include <nil/crypto3/algebra/fields/arithmetic_params/pallas.hpp>
 #include <nil/crypto3/marshalling/zk/types/commitments/eval_storage.hpp>
 #include <nil/crypto3/marshalling/zk/types/commitments/lpc.hpp>
-#include <nil/crypto3/marshalling/zk/types/placeholder/proof.hpp>
 #include <nil/crypto3/marshalling/zk/types/placeholder/common_data.hpp>
+#include <nil/crypto3/marshalling/zk/types/placeholder/proof.hpp>
 #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/multiprecision/cpp_int.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/detail/profiling.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>
@@ -138,8 +137,8 @@ namespace nil {
                 , json_file_(json_file)
                 , lambda_(lambda)
                 , expand_factor_(expand_factor)
-                , grind_(grind){
-                    std::cout  << "Global constructor" << std::endl;
+                , grind_(grind) {
+                std::cout << "Global constructor" << std::endl;
             }
 
             bool generate_to_file(bool skip_verification) {
@@ -245,8 +244,7 @@ namespace nil {
 
         private:
             using BlueprintField = typename CurveType::base_field_type;
-            using LpcParams = nil::crypto3::zk::commitments::
-                list_polynomial_commitment_params<HashType, HashType, 2>;
+            using LpcParams = nil::crypto3::zk::commitments::list_polynomial_commitment_params<HashType, HashType, 2>;
             using Lpc = nil::crypto3::zk::commitments::list_polynomial_commitment<BlueprintField, LpcParams>;
             using LpcScheme = typename nil::crypto3::zk::commitments::lpc_commitment_scheme<Lpc>;
             using CircuitParams = nil::crypto3::zk::snark::placeholder_circuit_params<BlueprintField>;
@@ -317,9 +315,7 @@ namespace nil {
                 // Lambdas and grinding bits should be passed threw preprocessor directives
                 std::size_t table_rows_log = std::ceil(std::log2(table_description_->rows_amount));
 
-                fri_params_.emplace(
-                    FriParams(1, table_rows_log, lambda_, expand_factor_)
-                );
+                fri_params_.emplace(FriParams(1, table_rows_log, lambda_, expand_factor_));
 
                 lpc_scheme_.emplace(*fri_params_);
 

bin/proof-generator/src/arg_parser.cpp

@@ -15,6 +15,7 @@
 //---------------------------------------------------------------------------//
 
 #include "nil/proof-generator/arg_parser.hpp"
+
 #include "nil/proof-generator/arithmetization_params.hpp"
 
 #include <fstream>