From df49adb3a7e71ef5d63e83283f1648947a9891ed Mon Sep 17 00:00:00 2001 From: Riccardo Abbate Date: Thu, 27 Aug 2026 14:21:54 -0400 Subject: [PATCH] polynomial folder refactor --- .../zk/detail/random_test_data_generation.hpp | 2 +- libs/marshalling/zk/test/fri_commitment.cpp | 2 +- libs/marshalling/zk/test/kzg_commitment.cpp | 2 +- libs/marshalling/zk/test/lpc_commitment.cpp | 2 +- .../zk/test/placeholder_common_data.cpp | 2 +- .../placeholder_preprocessed_public_data.cpp | 2 +- libs/marshalling/zk/test/polys_evaluator.cpp | 2 +- libs/math/docs/concepts.md | 2 +- libs/math/docs/polynomial_arithmetic.md | 18 +++++++++--------- libs/math/docs/polynomial_factorization.md | 16 ++++++++-------- libs/math/docs/polynomial_recovery.md | 8 ++++---- libs/math/example/polynomials.cpp | 4 ++-- libs/math/example/polynomials_dfs.cpp | 4 ++-- .../domains/arithmetic_sequence_domain.hpp | 2 +- .../math/domains/geometric_sequence_domain.hpp | 2 +- .../math/polynomial/{ => arithmetic}/gcd.hpp | 2 +- .../polynomial/{ => arithmetic}/half_gcd.hpp | 4 ++-- .../{ => arithmetic}/polynomial_division.hpp | 2 +- .../{ => arithmetic}/power_series.hpp | 2 +- .../math/polynomial/{ => arithmetic}/xgcd.hpp | 2 +- .../{ => backends}/mixed_radix_backend.hpp | 4 ++-- .../{ => backends}/polynomial_backend.hpp | 0 .../{ => backends}/schoolbook_backend.hpp | 4 ++-- .../complete_factorization.hpp | 6 +++--- .../distinct_degree_factorization.hpp | 6 +++--- .../equal_degree_factorization.hpp | 4 ++-- ...fen_shoup_distinct_degree_factorization.hpp | 8 ++++---- .../polynomial_factorization.hpp | 4 ++-- .../square_free_factorization.hpp | 4 ++-- .../{ => operations}/basic_operations.hpp | 2 +- .../{ => operations}/basis_change.hpp | 4 ++-- .../polynomial/{ => operations}/cyclotomic.hpp | 0 .../polynomial/{ => operations}/evaluate.hpp | 0 .../lagrange_interpolation.hpp | 0 .../math/polynomial/{ => operations}/shift.hpp | 2 +- .../nil/crypto3/math/polynomial/polynomial.hpp | 2 +- .../crypto3/math/polynomial/polynomial_dfs.hpp | 2 +- .../polynomial_composition.hpp | 2 +- .../polynomial_exponentiation.hpp | 2 +- .../polynomial_frobenius.hpp | 4 ++-- .../polynomial_modular_arithmetic.hpp | 2 +- .../polynomial_square_root.hpp | 2 +- .../polynomial_rational_reconstruction.hpp | 2 +- .../{ => types}/polymorphic_polynomial.hpp | 0 .../{ => types}/polymorphic_polynomial_dfs.hpp | 4 ++-- .../{ => types}/static_simd_vector.hpp | 0 .../{ => views}/polynomial_dfs_view.hpp | 2 +- .../polynomial/{ => views}/polynomial_view.hpp | 2 +- libs/math/test/basic_radix2_domain.cpp | 2 +- .../test/bench_test/mixed_radix_benchmark.cpp | 4 ++-- libs/math/test/complete_factorization.cpp | 6 +++--- .../test/distinct_degree_factorization.cpp | 8 ++++---- libs/math/test/equal_degree_factorization.cpp | 4 ++-- libs/math/test/evaluation_domain.cpp | 2 +- libs/math/test/kronecker_substitution.cpp | 2 +- libs/math/test/lagrange_interpolation.cpp | 2 +- libs/math/test/polynomial.cpp | 2 +- .../test/polynomial_algorithm_constraints.cpp | 12 ++++++------ libs/math/test/polynomial_arithmetic.cpp | 4 ++-- libs/math/test/polynomial_backend.cpp | 6 +++--- libs/math/test/polynomial_composition.cpp | 6 +++--- libs/math/test/polynomial_concepts.cpp | 4 ++-- libs/math/test/polynomial_dfs.cpp | 2 +- libs/math/test/polynomial_dfs_view.cpp | 2 +- libs/math/test/polynomial_division.cpp | 8 ++++---- libs/math/test/polynomial_exponentiation.cpp | 6 +++--- libs/math/test/polynomial_frobenius.cpp | 4 ++-- libs/math/test/polynomial_gcd.cpp | 6 +++--- .../polynomial_rational_reconstruction.cpp | 4 ++-- libs/math/test/polynomial_square_root.cpp | 4 ++-- libs/math/test/polynomial_view.cpp | 2 +- libs/math/test/power_series.cpp | 6 +++--- libs/math/test/square_free_factorization.cpp | 6 +++--- libs/zk/example/fri.cpp | 2 +- .../zk/commitments/batched_commitment.hpp | 2 +- .../basic_batched_fri_compile_time_size.hpp | 2 +- .../basic_batched_fri_runtime_size.hpp | 2 +- .../detail/polynomial/basic_fri.hpp | 4 ++-- .../detail/polynomial/fold_polynomial.hpp | 4 ++-- .../detail/polynomial/powers_of_tau/result.hpp | 2 +- .../crypto3/zk/commitments/polynomial/fri.hpp | 2 +- .../crypto3/zk/commitments/polynomial/kzg.hpp | 2 +- .../zk/commitments/polynomial/kzg_v2.hpp | 2 +- .../crypto3/zk/commitments/polynomial/lpc.hpp | 4 ++-- .../math/centralized_expression_evaluator.hpp | 2 +- .../zk/math/dag_expression_evaluator.hpp | 2 +- .../snark/arithmetization/plonk/assignment.hpp | 2 +- .../snark/arithmetization/plonk/constraint.hpp | 2 +- .../plonk/placeholder/lookup_argument.hpp | 4 ++-- .../plonk/placeholder/permutation_argument.hpp | 2 +- .../r1cs_gg_ppzksnark/ipp2/prover.hpp | 2 +- libs/zk/test/commitment/fold_polynomial.cpp | 2 +- libs/zk/test/commitment/fri.cpp | 2 +- .../placeholder_lookup_argument.cpp | 2 +- .../placeholder_permutation_argument.cpp | 2 +- 95 files changed, 161 insertions(+), 161 deletions(-) rename libs/math/include/nil/crypto3/math/polynomial/{ => arithmetic}/gcd.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => arithmetic}/half_gcd.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => arithmetic}/polynomial_division.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => arithmetic}/power_series.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => arithmetic}/xgcd.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => backends}/mixed_radix_backend.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => backends}/polynomial_backend.hpp (100%) rename libs/math/include/nil/crypto3/math/polynomial/{ => backends}/schoolbook_backend.hpp (96%) rename libs/math/include/nil/crypto3/math/polynomial/{ => factorization}/complete_factorization.hpp (95%) rename libs/math/include/nil/crypto3/math/polynomial/{ => factorization}/distinct_degree_factorization.hpp (97%) rename libs/math/include/nil/crypto3/math/polynomial/{ => factorization}/equal_degree_factorization.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => factorization}/kaltofen_shoup_distinct_degree_factorization.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => factorization}/polynomial_factorization.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => factorization}/square_free_factorization.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => operations}/basic_operations.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => operations}/basis_change.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => operations}/cyclotomic.hpp (100%) rename libs/math/include/nil/crypto3/math/polynomial/{ => operations}/evaluate.hpp (100%) rename libs/math/include/nil/crypto3/math/polynomial/{ => operations}/lagrange_interpolation.hpp (100%) rename libs/math/include/nil/crypto3/math/polynomial/{ => operations}/shift.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => quotient_ring}/polynomial_composition.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => quotient_ring}/polynomial_exponentiation.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => quotient_ring}/polynomial_frobenius.hpp (97%) rename libs/math/include/nil/crypto3/math/polynomial/{ => quotient_ring}/polynomial_modular_arithmetic.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => quotient_ring}/polynomial_square_root.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => reconstruction}/polynomial_rational_reconstruction.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => types}/polymorphic_polynomial.hpp (100%) rename libs/math/include/nil/crypto3/math/polynomial/{ => types}/polymorphic_polynomial_dfs.hpp (98%) rename libs/math/include/nil/crypto3/math/polynomial/{ => types}/static_simd_vector.hpp (100%) rename libs/math/include/nil/crypto3/math/polynomial/{ => views}/polynomial_dfs_view.hpp (99%) rename libs/math/include/nil/crypto3/math/polynomial/{ => views}/polynomial_view.hpp (99%) diff --git a/libs/marshalling/zk/include/nil/crypto3/marshalling/zk/detail/random_test_data_generation.hpp b/libs/marshalling/zk/include/nil/crypto3/marshalling/zk/detail/random_test_data_generation.hpp index 9a535d5232..7c714b9d9c 100644 --- a/libs/marshalling/zk/include/nil/crypto3/marshalling/zk/detail/random_test_data_generation.hpp +++ b/libs/marshalling/zk/include/nil/crypto3/marshalling/zk/detail/random_test_data_generation.hpp @@ -48,7 +48,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/marshalling/zk/test/fri_commitment.cpp b/libs/marshalling/zk/test/fri_commitment.cpp index 34093cff82..afeb0ae26d 100644 --- a/libs/marshalling/zk/test/fri_commitment.cpp +++ b/libs/marshalling/zk/test/fri_commitment.cpp @@ -50,7 +50,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/marshalling/zk/test/kzg_commitment.cpp b/libs/marshalling/zk/test/kzg_commitment.cpp index 398d07bf82..8ba0164a49 100644 --- a/libs/marshalling/zk/test/kzg_commitment.cpp +++ b/libs/marshalling/zk/test/kzg_commitment.cpp @@ -51,7 +51,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/marshalling/zk/test/lpc_commitment.cpp b/libs/marshalling/zk/test/lpc_commitment.cpp index d3fd7c3523..fd0c67f3c3 100644 --- a/libs/marshalling/zk/test/lpc_commitment.cpp +++ b/libs/marshalling/zk/test/lpc_commitment.cpp @@ -52,7 +52,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/marshalling/zk/test/placeholder_common_data.cpp b/libs/marshalling/zk/test/placeholder_common_data.cpp index 72a9f9ac05..6986269f9a 100644 --- a/libs/marshalling/zk/test/placeholder_common_data.cpp +++ b/libs/marshalling/zk/test/placeholder_common_data.cpp @@ -50,7 +50,7 @@ #include #include -#include +#include #include #include diff --git a/libs/marshalling/zk/test/placeholder_preprocessed_public_data.cpp b/libs/marshalling/zk/test/placeholder_preprocessed_public_data.cpp index dc3f710f8e..e539f21eed 100644 --- a/libs/marshalling/zk/test/placeholder_preprocessed_public_data.cpp +++ b/libs/marshalling/zk/test/placeholder_preprocessed_public_data.cpp @@ -48,7 +48,7 @@ #include #include -#include +#include #include #include diff --git a/libs/marshalling/zk/test/polys_evaluator.cpp b/libs/marshalling/zk/test/polys_evaluator.cpp index f013b70247..6fed8bba4f 100644 --- a/libs/marshalling/zk/test/polys_evaluator.cpp +++ b/libs/marshalling/zk/test/polys_evaluator.cpp @@ -50,7 +50,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/math/docs/concepts.md b/libs/math/docs/concepts.md index 900c39b55d..c8f74fa9fb 100644 --- a/libs/math/docs/concepts.md +++ b/libs/math/docs/concepts.md @@ -98,7 +98,7 @@ canonical storage, arithmetic operators, or alias-safe operations. The polynomial multiplication backend concept is declared in: - + `polynomial_arithmetic::PolynomialBackend` requires an associated `polynomial_type` that satisfies `CoefficientPolynomial` and three operations: diff --git a/libs/math/docs/polynomial_arithmetic.md b/libs/math/docs/polynomial_arithmetic.md index 044ecec914..10cd0d454d 100644 --- a/libs/math/docs/polynomial_arithmetic.md +++ b/libs/math/docs/polynomial_arithmetic.md @@ -23,15 +23,15 @@ The main dependency chain is: | Facility | Header | |---|---| | Representation concepts | `` | -| Backend concept and arithmetic context | `` | -| Schoolbook and mixed-radix backends | ``, `` | -| Power-series inversion | `` | -| Divisor context and division | `` | -| GCD | `` | -| Quotient-ring multiplication | `` | -| Quotient-ring exponentiation | `` | -| Modular composition | `` | -| Frobenius maps | `` | +| Backend concept and arithmetic context | `` | +| Schoolbook and mixed-radix backends | ``, `` | +| Power-series inversion | `` | +| Divisor context and division | `` | +| GCD | `` | +| Quotient-ring multiplication | `` | +| Quotient-ring exponentiation | `` | +| Modular composition | `` | +| Frobenius maps | `` | ## Multiplication backends diff --git a/libs/math/docs/polynomial_factorization.md b/libs/math/docs/polynomial_factorization.md index ce701113eb..510e83264e 100644 --- a/libs/math/docs/polynomial_factorization.md +++ b/libs/math/docs/polynomial_factorization.md @@ -42,12 +42,12 @@ maps used by these stages. | Facility | Header | |---|---| -| Result and callback types | `` | -| Square-free factorization | `` | -| Reference distinct-degree factorization | `` | -| Kaltofen-Shoup distinct-degree factorization | `` | -| Equal-degree factorization | `` | -| Complete factorization | `` | +| Result and callback types | `` | +| Square-free factorization | `` | +| Reference distinct-degree factorization | `` | +| Kaltofen-Shoup distinct-degree factorization | `` | +| Equal-degree factorization | `` | +| Complete factorization | `` | ## Complete factorization @@ -55,8 +55,8 @@ The simplest entry point takes a polynomial arithmetic context and a caller-owne ```cpp #include -#include -#include +#include +#include #include namespace math = nil::crypto3::math; diff --git a/libs/math/docs/polynomial_recovery.md b/libs/math/docs/polynomial_recovery.md index 13ef8f0ccc..4df8901ac0 100644 --- a/libs/math/docs/polynomial_recovery.md +++ b/libs/math/docs/polynomial_recovery.md @@ -20,8 +20,8 @@ bounds, random sources, and any policy for combining or rejecting recovered repr |---|---| | Field orders and multiplicative-group decomposition | `` | | Coefficient-field square-root helpers | `` | -| Quotient-field square testing and roots | `` | -| Bounded rational reconstruction | `` | +| Quotient-field square testing and roots | `` | +| Bounded rational reconstruction | `` | ## Field orders and coefficient square roots @@ -70,7 +70,7 @@ characterize squares if the quotient has zero divisors. ```cpp #include -#include +#include // B must be irreducible. Its degree is d. const std::size_t d = B.size() - 1; @@ -115,7 +115,7 @@ numerator bound, while tracking the corresponding coefficient of `R`. The return numerator is scaled by the same field element. ```cpp -#include +#include polynomial_type numerator; polynomial_type denominator; diff --git a/libs/math/example/polynomials.cpp b/libs/math/example/polynomials.cpp index 1650962714..783bd8930a 100644 --- a/libs/math/example/polynomials.cpp +++ b/libs/math/example/polynomials.cpp @@ -27,8 +27,8 @@ #include #include -#include -#include +#include +#include #include #include diff --git a/libs/math/example/polynomials_dfs.cpp b/libs/math/example/polynomials_dfs.cpp index 62c02a94d5..f7501f6cb5 100644 --- a/libs/math/example/polynomials_dfs.cpp +++ b/libs/math/example/polynomials_dfs.cpp @@ -27,8 +27,8 @@ #include #include -#include -#include +#include +#include #include #include diff --git a/libs/math/include/nil/crypto3/math/domains/arithmetic_sequence_domain.hpp b/libs/math/include/nil/crypto3/math/domains/arithmetic_sequence_domain.hpp index 24f830e6af..f54c1b6d52 100644 --- a/libs/math/include/nil/crypto3/math/domains/arithmetic_sequence_domain.hpp +++ b/libs/math/include/nil/crypto3/math/domains/arithmetic_sequence_domain.hpp @@ -30,7 +30,7 @@ #include -#include +#include #include namespace nil { diff --git a/libs/math/include/nil/crypto3/math/domains/geometric_sequence_domain.hpp b/libs/math/include/nil/crypto3/math/domains/geometric_sequence_domain.hpp index 8dfbc1efc7..a6bed5a53c 100644 --- a/libs/math/include/nil/crypto3/math/domains/geometric_sequence_domain.hpp +++ b/libs/math/include/nil/crypto3/math/domains/geometric_sequence_domain.hpp @@ -32,7 +32,7 @@ #include #include -#include +#include #include namespace nil { diff --git a/libs/math/include/nil/crypto3/math/polynomial/gcd.hpp b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/gcd.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/gcd.hpp rename to libs/math/include/nil/crypto3/math/polynomial/arithmetic/gcd.hpp index a11b9a4cde..ebe9b8d222 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/gcd.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/gcd.hpp @@ -30,7 +30,7 @@ #include #include -#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/half_gcd.hpp b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/half_gcd.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/half_gcd.hpp rename to libs/math/include/nil/crypto3/math/polynomial/arithmetic/half_gcd.hpp index 4da4b43bf1..650c693c4f 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/half_gcd.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/half_gcd.hpp @@ -29,8 +29,8 @@ #include #include -#include -#include +#include +#include namespace nil::crypto3::math::detail { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_division.hpp b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/polynomial_division.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_division.hpp rename to libs/math/include/nil/crypto3/math/polynomial/arithmetic/polynomial_division.hpp index 080a88e548..326eee707e 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_division.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/polynomial_division.hpp @@ -31,7 +31,7 @@ #include #include -#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/power_series.hpp b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/power_series.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/power_series.hpp rename to libs/math/include/nil/crypto3/math/polynomial/arithmetic/power_series.hpp index e0bd2f4bca..3ffe617fb5 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/power_series.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/power_series.hpp @@ -31,7 +31,7 @@ #include #include -#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/xgcd.hpp b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/xgcd.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/xgcd.hpp rename to libs/math/include/nil/crypto3/math/polynomial/arithmetic/xgcd.hpp index 85b493bd16..d9a7cfd118 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/xgcd.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/arithmetic/xgcd.hpp @@ -33,7 +33,7 @@ #include #include -#include +#include namespace nil { namespace crypto3 { diff --git a/libs/math/include/nil/crypto3/math/polynomial/mixed_radix_backend.hpp b/libs/math/include/nil/crypto3/math/polynomial/backends/mixed_radix_backend.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/mixed_radix_backend.hpp rename to libs/math/include/nil/crypto3/math/polynomial/backends/mixed_radix_backend.hpp index d6ae017c0f..b70b5041d1 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/mixed_radix_backend.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/backends/mixed_radix_backend.hpp @@ -32,9 +32,9 @@ #include #include -#include +#include #include -#include +#include namespace nil::crypto3::math::polynomial_arithmetic { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_backend.hpp b/libs/math/include/nil/crypto3/math/polynomial/backends/polynomial_backend.hpp similarity index 100% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_backend.hpp rename to libs/math/include/nil/crypto3/math/polynomial/backends/polynomial_backend.hpp diff --git a/libs/math/include/nil/crypto3/math/polynomial/schoolbook_backend.hpp b/libs/math/include/nil/crypto3/math/polynomial/backends/schoolbook_backend.hpp similarity index 96% rename from libs/math/include/nil/crypto3/math/polynomial/schoolbook_backend.hpp rename to libs/math/include/nil/crypto3/math/polynomial/backends/schoolbook_backend.hpp index f079396361..f1f2b4851a 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/schoolbook_backend.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/backends/schoolbook_backend.hpp @@ -29,9 +29,9 @@ #include #include -#include +#include #include -#include +#include namespace nil::crypto3::math::polynomial_arithmetic { diff --git a/libs/math/include/nil/crypto3/math/polynomial/complete_factorization.hpp b/libs/math/include/nil/crypto3/math/polynomial/factorization/complete_factorization.hpp similarity index 95% rename from libs/math/include/nil/crypto3/math/polynomial/complete_factorization.hpp rename to libs/math/include/nil/crypto3/math/polynomial/factorization/complete_factorization.hpp index 827c3b6413..0c4fada6a0 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/complete_factorization.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/factorization/complete_factorization.hpp @@ -29,9 +29,9 @@ #include #include -#include -#include -#include +#include +#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/distinct_degree_factorization.hpp b/libs/math/include/nil/crypto3/math/polynomial/factorization/distinct_degree_factorization.hpp similarity index 97% rename from libs/math/include/nil/crypto3/math/polynomial/distinct_degree_factorization.hpp rename to libs/math/include/nil/crypto3/math/polynomial/factorization/distinct_degree_factorization.hpp index 428049a7d5..aae8d646ce 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/distinct_degree_factorization.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/factorization/distinct_degree_factorization.hpp @@ -30,9 +30,9 @@ #include #include -#include -#include -#include +#include +#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/equal_degree_factorization.hpp b/libs/math/include/nil/crypto3/math/polynomial/factorization/equal_degree_factorization.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/equal_degree_factorization.hpp rename to libs/math/include/nil/crypto3/math/polynomial/factorization/equal_degree_factorization.hpp index 594353f2a5..c2651cbf9d 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/equal_degree_factorization.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/factorization/equal_degree_factorization.hpp @@ -35,8 +35,8 @@ #include -#include -#include +#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/kaltofen_shoup_distinct_degree_factorization.hpp b/libs/math/include/nil/crypto3/math/polynomial/factorization/kaltofen_shoup_distinct_degree_factorization.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/kaltofen_shoup_distinct_degree_factorization.hpp rename to libs/math/include/nil/crypto3/math/polynomial/factorization/kaltofen_shoup_distinct_degree_factorization.hpp index 460563e612..1e238eee9e 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/kaltofen_shoup_distinct_degree_factorization.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/factorization/kaltofen_shoup_distinct_degree_factorization.hpp @@ -33,10 +33,10 @@ #include #include -#include -#include -#include -#include +#include +#include +#include +#include namespace nil::crypto3::math::detail { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_factorization.hpp b/libs/math/include/nil/crypto3/math/polynomial/factorization/polynomial_factorization.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_factorization.hpp rename to libs/math/include/nil/crypto3/math/polynomial/factorization/polynomial_factorization.hpp index b7513ab7f9..2d70e80db5 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_factorization.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/factorization/polynomial_factorization.hpp @@ -31,8 +31,8 @@ #include #include -#include -#include +#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/square_free_factorization.hpp b/libs/math/include/nil/crypto3/math/polynomial/factorization/square_free_factorization.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/square_free_factorization.hpp rename to libs/math/include/nil/crypto3/math/polynomial/factorization/square_free_factorization.hpp index d60f98586e..d56ebd6bb3 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/square_free_factorization.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/factorization/square_free_factorization.hpp @@ -32,8 +32,8 @@ #include -#include -#include +#include +#include namespace nil::crypto3::math { /** diff --git a/libs/math/include/nil/crypto3/math/polynomial/basic_operations.hpp b/libs/math/include/nil/crypto3/math/polynomial/operations/basic_operations.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/basic_operations.hpp rename to libs/math/include/nil/crypto3/math/polynomial/operations/basic_operations.hpp index 9ec71a4e20..d1e894a0e6 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/basic_operations.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/operations/basic_operations.hpp @@ -37,7 +37,7 @@ #include #include #include -#include +#include namespace nil { namespace crypto3 { diff --git a/libs/math/include/nil/crypto3/math/polynomial/basis_change.hpp b/libs/math/include/nil/crypto3/math/polynomial/operations/basis_change.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/basis_change.hpp rename to libs/math/include/nil/crypto3/math/polynomial/operations/basis_change.hpp index a1e7027218..3e653f5ba0 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/basis_change.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/operations/basis_change.hpp @@ -32,8 +32,8 @@ #include #include -#include -#include +#include +#include namespace nil { namespace crypto3 { diff --git a/libs/math/include/nil/crypto3/math/polynomial/cyclotomic.hpp b/libs/math/include/nil/crypto3/math/polynomial/operations/cyclotomic.hpp similarity index 100% rename from libs/math/include/nil/crypto3/math/polynomial/cyclotomic.hpp rename to libs/math/include/nil/crypto3/math/polynomial/operations/cyclotomic.hpp diff --git a/libs/math/include/nil/crypto3/math/polynomial/evaluate.hpp b/libs/math/include/nil/crypto3/math/polynomial/operations/evaluate.hpp similarity index 100% rename from libs/math/include/nil/crypto3/math/polynomial/evaluate.hpp rename to libs/math/include/nil/crypto3/math/polynomial/operations/evaluate.hpp diff --git a/libs/math/include/nil/crypto3/math/polynomial/lagrange_interpolation.hpp b/libs/math/include/nil/crypto3/math/polynomial/operations/lagrange_interpolation.hpp similarity index 100% rename from libs/math/include/nil/crypto3/math/polynomial/lagrange_interpolation.hpp rename to libs/math/include/nil/crypto3/math/polynomial/operations/lagrange_interpolation.hpp diff --git a/libs/math/include/nil/crypto3/math/polynomial/shift.hpp b/libs/math/include/nil/crypto3/math/polynomial/operations/shift.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/shift.hpp rename to libs/math/include/nil/crypto3/math/polynomial/operations/shift.hpp index 15ba86d3d3..8484a57a72 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/shift.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/operations/shift.hpp @@ -34,7 +34,7 @@ #include #include -#include +#include #include #include diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial.hpp b/libs/math/include/nil/crypto3/math/polynomial/polynomial.hpp index 43a6c6a9eb..a549edddf1 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/polynomial.hpp @@ -32,7 +32,7 @@ #include #include -#include +#include #include #include diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_dfs.hpp b/libs/math/include/nil/crypto3/math/polynomial/polynomial_dfs.hpp index 353702a0d8..c25dabd14f 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_dfs.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/polynomial_dfs.hpp @@ -37,7 +37,7 @@ #include #include -#include +#include #include #include diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_composition.hpp b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_composition.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_composition.hpp rename to libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_composition.hpp index 7a8700dba2..7da8586493 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_composition.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_composition.hpp @@ -32,7 +32,7 @@ #include #include -#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_exponentiation.hpp b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_exponentiation.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_exponentiation.hpp rename to libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_exponentiation.hpp index bfa4488145..fddd981f4f 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_exponentiation.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_exponentiation.hpp @@ -30,7 +30,7 @@ #include #include -#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_frobenius.hpp b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_frobenius.hpp similarity index 97% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_frobenius.hpp rename to libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_frobenius.hpp index 302809532f..8a72aae07b 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_frobenius.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_frobenius.hpp @@ -31,8 +31,8 @@ #include -#include -#include +#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_modular_arithmetic.hpp b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_modular_arithmetic.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_modular_arithmetic.hpp rename to libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_modular_arithmetic.hpp index 8bf7df7da6..3f29a5976b 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_modular_arithmetic.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_modular_arithmetic.hpp @@ -25,7 +25,7 @@ #ifndef CRYPTO3_MATH_POLYNOMIAL_MODULAR_ARITHMETIC_HPP #define CRYPTO3_MATH_POLYNOMIAL_MODULAR_ARITHMETIC_HPP -#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_square_root.hpp b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_square_root.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_square_root.hpp rename to libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_square_root.hpp index 93b4c5b4fe..2fd072b0bc 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_square_root.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/quotient_ring/polynomial_square_root.hpp @@ -35,7 +35,7 @@ #include #include -#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_rational_reconstruction.hpp b/libs/math/include/nil/crypto3/math/polynomial/reconstruction/polynomial_rational_reconstruction.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_rational_reconstruction.hpp rename to libs/math/include/nil/crypto3/math/polynomial/reconstruction/polynomial_rational_reconstruction.hpp index 1d635f4642..7f102fd1e2 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_rational_reconstruction.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/reconstruction/polynomial_rational_reconstruction.hpp @@ -30,7 +30,7 @@ #include #include -#include +#include namespace nil::crypto3::math { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polymorphic_polynomial.hpp b/libs/math/include/nil/crypto3/math/polynomial/types/polymorphic_polynomial.hpp similarity index 100% rename from libs/math/include/nil/crypto3/math/polynomial/polymorphic_polynomial.hpp rename to libs/math/include/nil/crypto3/math/polynomial/types/polymorphic_polynomial.hpp diff --git a/libs/math/include/nil/crypto3/math/polynomial/polymorphic_polynomial_dfs.hpp b/libs/math/include/nil/crypto3/math/polynomial/types/polymorphic_polynomial_dfs.hpp similarity index 98% rename from libs/math/include/nil/crypto3/math/polynomial/polymorphic_polynomial_dfs.hpp rename to libs/math/include/nil/crypto3/math/polynomial/types/polymorphic_polynomial_dfs.hpp index fb919eb956..2a2efd67e5 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polymorphic_polynomial_dfs.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/types/polymorphic_polynomial_dfs.hpp @@ -34,8 +34,8 @@ #include #include -#include "polymorphic_polynomial.hpp" -#include "polynomial_dfs.hpp" +#include +#include #include #include diff --git a/libs/math/include/nil/crypto3/math/polynomial/static_simd_vector.hpp b/libs/math/include/nil/crypto3/math/polynomial/types/static_simd_vector.hpp similarity index 100% rename from libs/math/include/nil/crypto3/math/polynomial/static_simd_vector.hpp rename to libs/math/include/nil/crypto3/math/polynomial/types/static_simd_vector.hpp diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_dfs_view.hpp b/libs/math/include/nil/crypto3/math/polynomial/views/polynomial_dfs_view.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_dfs_view.hpp rename to libs/math/include/nil/crypto3/math/polynomial/views/polynomial_dfs_view.hpp index 0dd72dcdc8..a93a3b3980 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_dfs_view.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/views/polynomial_dfs_view.hpp @@ -30,7 +30,7 @@ #include #include -#include +#include #include namespace nil { diff --git a/libs/math/include/nil/crypto3/math/polynomial/polynomial_view.hpp b/libs/math/include/nil/crypto3/math/polynomial/views/polynomial_view.hpp similarity index 99% rename from libs/math/include/nil/crypto3/math/polynomial/polynomial_view.hpp rename to libs/math/include/nil/crypto3/math/polynomial/views/polynomial_view.hpp index 335106fe37..ed061e24d3 100644 --- a/libs/math/include/nil/crypto3/math/polynomial/polynomial_view.hpp +++ b/libs/math/include/nil/crypto3/math/polynomial/views/polynomial_view.hpp @@ -30,7 +30,7 @@ #include #include -#include +#include namespace nil { namespace crypto3 { diff --git a/libs/math/test/basic_radix2_domain.cpp b/libs/math/test/basic_radix2_domain.cpp index 9e2f3894cd..20c91cb04a 100644 --- a/libs/math/test/basic_radix2_domain.cpp +++ b/libs/math/test/basic_radix2_domain.cpp @@ -35,7 +35,7 @@ #include #include #include -#include +#include #include #include diff --git a/libs/math/test/bench_test/mixed_radix_benchmark.cpp b/libs/math/test/bench_test/mixed_radix_benchmark.cpp index cb0c8977de..e6da8be906 100644 --- a/libs/math/test/bench_test/mixed_radix_benchmark.cpp +++ b/libs/math/test/bench_test/mixed_radix_benchmark.cpp @@ -37,8 +37,8 @@ #include #include #include -#include -#include +#include +#include namespace { diff --git a/libs/math/test/complete_factorization.cpp b/libs/math/test/complete_factorization.cpp index dee55fd9d9..8ee4289e0d 100644 --- a/libs/math/test/complete_factorization.cpp +++ b/libs/math/test/complete_factorization.cpp @@ -34,9 +34,9 @@ #include #include -#include -#include -#include +#include +#include +#include #include namespace { diff --git a/libs/math/test/distinct_degree_factorization.cpp b/libs/math/test/distinct_degree_factorization.cpp index e0e969ffd3..8cac7e1e61 100644 --- a/libs/math/test/distinct_degree_factorization.cpp +++ b/libs/math/test/distinct_degree_factorization.cpp @@ -33,10 +33,10 @@ #include #include -#include -#include -#include -#include +#include +#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/equal_degree_factorization.cpp b/libs/math/test/equal_degree_factorization.cpp index bb438080f6..c5d09c910c 100644 --- a/libs/math/test/equal_degree_factorization.cpp +++ b/libs/math/test/equal_degree_factorization.cpp @@ -36,8 +36,8 @@ #include #include -#include -#include +#include +#include #include namespace { diff --git a/libs/math/test/evaluation_domain.cpp b/libs/math/test/evaluation_domain.cpp index 2954e6c977..353e61b722 100644 --- a/libs/math/test/evaluation_domain.cpp +++ b/libs/math/test/evaluation_domain.cpp @@ -67,7 +67,7 @@ #include -#include +#include #include diff --git a/libs/math/test/kronecker_substitution.cpp b/libs/math/test/kronecker_substitution.cpp index 334a0a5cdc..8a021f2116 100755 --- a/libs/math/test/kronecker_substitution.cpp +++ b/libs/math/test/kronecker_substitution.cpp @@ -35,7 +35,7 @@ #include #include -#include +#include #include using namespace nil::crypto3::algebra; diff --git a/libs/math/test/lagrange_interpolation.cpp b/libs/math/test/lagrange_interpolation.cpp index cce6c5443f..f476c8740a 100644 --- a/libs/math/test/lagrange_interpolation.cpp +++ b/libs/math/test/lagrange_interpolation.cpp @@ -35,7 +35,7 @@ #include #include -#include +#include using namespace nil::crypto3::algebra; using namespace nil::crypto3::math; diff --git a/libs/math/test/polynomial.cpp b/libs/math/test/polynomial.cpp index a1b9d092bf..039e77f8e7 100644 --- a/libs/math/test/polynomial.cpp +++ b/libs/math/test/polynomial.cpp @@ -33,7 +33,7 @@ #include #include -#include +#include using namespace nil::crypto3::algebra; using namespace nil::crypto3::math; diff --git a/libs/math/test/polynomial_algorithm_constraints.cpp b/libs/math/test/polynomial_algorithm_constraints.cpp index 6bd54ca039..9bb0e09efc 100644 --- a/libs/math/test/polynomial_algorithm_constraints.cpp +++ b/libs/math/test/polynomial_algorithm_constraints.cpp @@ -28,12 +28,12 @@ #include #include -#include -#include -#include -#include -#include -#include +#include +#include +#include +#include +#include +#include namespace math = nil::crypto3::math; namespace fields = nil::crypto3::algebra::fields; diff --git a/libs/math/test/polynomial_arithmetic.cpp b/libs/math/test/polynomial_arithmetic.cpp index 59ea8f7a1e..b8eeaccbde 100644 --- a/libs/math/test/polynomial_arithmetic.cpp +++ b/libs/math/test/polynomial_arithmetic.cpp @@ -35,8 +35,8 @@ #include #include -#include -#include +#include +#include using namespace nil::crypto3::algebra; using namespace nil::crypto3::math; diff --git a/libs/math/test/polynomial_backend.cpp b/libs/math/test/polynomial_backend.cpp index d5c01b5fe2..b1de72a772 100644 --- a/libs/math/test/polynomial_backend.cpp +++ b/libs/math/test/polynomial_backend.cpp @@ -34,9 +34,9 @@ #include #include -#include -#include -#include +#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/polynomial_composition.cpp b/libs/math/test/polynomial_composition.cpp index dde6161e0a..35d91af726 100644 --- a/libs/math/test/polynomial_composition.cpp +++ b/libs/math/test/polynomial_composition.cpp @@ -32,9 +32,9 @@ #include #include -#include -#include -#include +#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/polynomial_concepts.cpp b/libs/math/test/polynomial_concepts.cpp index 74b32855e1..47d7d09ab4 100644 --- a/libs/math/test/polynomial_concepts.cpp +++ b/libs/math/test/polynomial_concepts.cpp @@ -27,8 +27,8 @@ #include #include -#include -#include +#include +#include namespace math = nil::crypto3::math; namespace fields = nil::crypto3::algebra::fields; diff --git a/libs/math/test/polynomial_dfs.cpp b/libs/math/test/polynomial_dfs.cpp index 3711ac5513..6744898886 100644 --- a/libs/math/test/polynomial_dfs.cpp +++ b/libs/math/test/polynomial_dfs.cpp @@ -38,7 +38,7 @@ #include #include #include -#include +#include using namespace nil::crypto3::algebra; using namespace nil::crypto3::math; diff --git a/libs/math/test/polynomial_dfs_view.cpp b/libs/math/test/polynomial_dfs_view.cpp index b2e22911ad..d770d19156 100644 --- a/libs/math/test/polynomial_dfs_view.cpp +++ b/libs/math/test/polynomial_dfs_view.cpp @@ -35,7 +35,7 @@ #include -#include +#include using namespace nil::crypto3::algebra; using namespace nil::crypto3::math; diff --git a/libs/math/test/polynomial_division.cpp b/libs/math/test/polynomial_division.cpp index 120e048051..709d3c1a47 100644 --- a/libs/math/test/polynomial_division.cpp +++ b/libs/math/test/polynomial_division.cpp @@ -33,10 +33,10 @@ #include #include -#include -#include -#include -#include +#include +#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/polynomial_exponentiation.cpp b/libs/math/test/polynomial_exponentiation.cpp index f3817a7107..43c77b02a0 100644 --- a/libs/math/test/polynomial_exponentiation.cpp +++ b/libs/math/test/polynomial_exponentiation.cpp @@ -35,9 +35,9 @@ #include #include -#include -#include -#include +#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/polynomial_frobenius.cpp b/libs/math/test/polynomial_frobenius.cpp index 9397b8fe97..0f754f5b03 100644 --- a/libs/math/test/polynomial_frobenius.cpp +++ b/libs/math/test/polynomial_frobenius.cpp @@ -34,8 +34,8 @@ #include #include -#include -#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/polynomial_gcd.cpp b/libs/math/test/polynomial_gcd.cpp index 42149532d6..37b895a919 100644 --- a/libs/math/test/polynomial_gcd.cpp +++ b/libs/math/test/polynomial_gcd.cpp @@ -35,9 +35,9 @@ #include #include -#include -#include -#include +#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/polynomial_rational_reconstruction.cpp b/libs/math/test/polynomial_rational_reconstruction.cpp index c9b64ab10d..2dd3ec0ec4 100644 --- a/libs/math/test/polynomial_rational_reconstruction.cpp +++ b/libs/math/test/polynomial_rational_reconstruction.cpp @@ -34,8 +34,8 @@ #include #include -#include -#include +#include +#include namespace { namespace fields = nil::crypto3::algebra::fields; diff --git a/libs/math/test/polynomial_square_root.cpp b/libs/math/test/polynomial_square_root.cpp index 7a48d44196..46b75752c9 100644 --- a/libs/math/test/polynomial_square_root.cpp +++ b/libs/math/test/polynomial_square_root.cpp @@ -36,8 +36,8 @@ #include #include -#include -#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/polynomial_view.cpp b/libs/math/test/polynomial_view.cpp index 019510b104..bc0d76353b 100644 --- a/libs/math/test/polynomial_view.cpp +++ b/libs/math/test/polynomial_view.cpp @@ -34,7 +34,7 @@ #include -#include +#include using namespace nil::crypto3::algebra; using namespace nil::crypto3::math; diff --git a/libs/math/test/power_series.cpp b/libs/math/test/power_series.cpp index 516da2c265..9ec77edce8 100644 --- a/libs/math/test/power_series.cpp +++ b/libs/math/test/power_series.cpp @@ -33,9 +33,9 @@ #include #include -#include -#include -#include +#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/math/test/square_free_factorization.cpp b/libs/math/test/square_free_factorization.cpp index 0c0efbb864..a09c5c1b4f 100644 --- a/libs/math/test/square_free_factorization.cpp +++ b/libs/math/test/square_free_factorization.cpp @@ -35,9 +35,9 @@ #include #include -#include -#include -#include +#include +#include +#include namespace { namespace math = nil::crypto3::math; diff --git a/libs/zk/example/fri.cpp b/libs/zk/example/fri.cpp index 7dc74af31f..17631aeade 100644 --- a/libs/zk/example/fri.cpp +++ b/libs/zk/example/fri.cpp @@ -31,7 +31,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/batched_commitment.hpp b/libs/zk/include/nil/crypto3/zk/commitments/batched_commitment.hpp index 37b4f87e0a..193dbad775 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/batched_commitment.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/batched_commitment.hpp @@ -37,7 +37,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_compile_time_size.hpp b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_compile_time_size.hpp index 8a20a31d4c..313fcbe697 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_compile_time_size.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_compile_time_size.hpp @@ -30,7 +30,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_runtime_size.hpp b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_runtime_size.hpp index a642c44479..fa386a47fe 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_runtime_size.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_runtime_size.hpp @@ -30,7 +30,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp index acd97a7c9c..a455a2ecd4 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp @@ -41,9 +41,9 @@ #include #include #include -#include +#include #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/fold_polynomial.hpp b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/fold_polynomial.hpp index c1d836c9f8..7cb98c85a3 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/fold_polynomial.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/fold_polynomial.hpp @@ -31,8 +31,8 @@ #include #include -#include -#include +#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/powers_of_tau/result.hpp b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/powers_of_tau/result.hpp index 3225140946..67f78c2c60 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/powers_of_tau/result.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/detail/polynomial/powers_of_tau/result.hpp @@ -29,7 +29,7 @@ #include -#include +#include #include namespace nil { diff --git a/libs/zk/include/nil/crypto3/zk/commitments/polynomial/fri.hpp b/libs/zk/include/nil/crypto3/zk/commitments/polynomial/fri.hpp index 3b6709f454..6f71a42b51 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/polynomial/fri.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/polynomial/fri.hpp @@ -34,7 +34,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/polynomial/kzg.hpp b/libs/zk/include/nil/crypto3/zk/commitments/polynomial/kzg.hpp index 81e9d40dc1..b004c9223e 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/polynomial/kzg.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/polynomial/kzg.hpp @@ -40,7 +40,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/polynomial/kzg_v2.hpp b/libs/zk/include/nil/crypto3/zk/commitments/polynomial/kzg_v2.hpp index 9cd4770f15..abced9602d 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/polynomial/kzg_v2.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/polynomial/kzg_v2.hpp @@ -40,7 +40,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/commitments/polynomial/lpc.hpp b/libs/zk/include/nil/crypto3/zk/commitments/polynomial/lpc.hpp index a6ff11ebd1..eb9c05889b 100644 --- a/libs/zk/include/nil/crypto3/zk/commitments/polynomial/lpc.hpp +++ b/libs/zk/include/nil/crypto3/zk/commitments/polynomial/lpc.hpp @@ -33,14 +33,14 @@ #include #include -#include +#include #include #include #include #include -#include +#include namespace nil { namespace crypto3 { diff --git a/libs/zk/include/nil/crypto3/zk/math/centralized_expression_evaluator.hpp b/libs/zk/include/nil/crypto3/zk/math/centralized_expression_evaluator.hpp index 234a0770d2..3f8466473a 100644 --- a/libs/zk/include/nil/crypto3/zk/math/centralized_expression_evaluator.hpp +++ b/libs/zk/include/nil/crypto3/zk/math/centralized_expression_evaluator.hpp @@ -33,7 +33,7 @@ #include #include #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/math/dag_expression_evaluator.hpp b/libs/zk/include/nil/crypto3/zk/math/dag_expression_evaluator.hpp index a85677bb6f..9e852edb02 100644 --- a/libs/zk/include/nil/crypto3/zk/math/dag_expression_evaluator.hpp +++ b/libs/zk/include/nil/crypto3/zk/math/dag_expression_evaluator.hpp @@ -34,7 +34,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/snark/arithmetization/plonk/assignment.hpp b/libs/zk/include/nil/crypto3/zk/snark/arithmetization/plonk/assignment.hpp index 38a7a75ed2..dde20db1d3 100644 --- a/libs/zk/include/nil/crypto3/zk/snark/arithmetization/plonk/assignment.hpp +++ b/libs/zk/include/nil/crypto3/zk/snark/arithmetization/plonk/assignment.hpp @@ -32,7 +32,7 @@ #include #include #include -#include +#include #include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint.hpp b/libs/zk/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint.hpp index 1f3cde1c1d..49d7243e1b 100644 --- a/libs/zk/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint.hpp +++ b/libs/zk/include/nil/crypto3/zk/snark/arithmetization/plonk/constraint.hpp @@ -28,7 +28,7 @@ #define CRYPTO3_ZK_PLONK_CONSTRAINT_HPP #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/lookup_argument.hpp b/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/lookup_argument.hpp index 881fc519ed..d348876156 100644 --- a/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/lookup_argument.hpp +++ b/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/lookup_argument.hpp @@ -39,8 +39,8 @@ #include #include #include -#include -#include +#include +#include #include diff --git a/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/permutation_argument.hpp b/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/permutation_argument.hpp index 555f4493e9..e5dc97cf99 100644 --- a/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/permutation_argument.hpp +++ b/libs/zk/include/nil/crypto3/zk/snark/systems/plonk/placeholder/permutation_argument.hpp @@ -32,7 +32,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/prover.hpp b/libs/zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/prover.hpp index 0987f8232a..61543fbe69 100644 --- a/libs/zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/prover.hpp +++ b/libs/zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/prover.hpp @@ -38,7 +38,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/test/commitment/fold_polynomial.cpp b/libs/zk/test/commitment/fold_polynomial.cpp index 89ba489a24..d572627bd3 100644 --- a/libs/zk/test/commitment/fold_polynomial.cpp +++ b/libs/zk/test/commitment/fold_polynomial.cpp @@ -40,7 +40,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/test/commitment/fri.cpp b/libs/zk/test/commitment/fri.cpp index 4db5127ea5..3710d153a3 100644 --- a/libs/zk/test/commitment/fri.cpp +++ b/libs/zk/test/commitment/fri.cpp @@ -40,7 +40,7 @@ #include #include -#include +#include #include #include #include diff --git a/libs/zk/test/systems/plonk/placeholder/placeholder_lookup_argument.cpp b/libs/zk/test/systems/plonk/placeholder/placeholder_lookup_argument.cpp index d75fa130ab..78fb5a50d8 100644 --- a/libs/zk/test/systems/plonk/placeholder/placeholder_lookup_argument.cpp +++ b/libs/zk/test/systems/plonk/placeholder/placeholder_lookup_argument.cpp @@ -39,7 +39,7 @@ #include #include -#include +#include #include #include diff --git a/libs/zk/test/systems/plonk/placeholder/placeholder_permutation_argument.cpp b/libs/zk/test/systems/plonk/placeholder/placeholder_permutation_argument.cpp index 6e51b26ae3..4427da6322 100644 --- a/libs/zk/test/systems/plonk/placeholder/placeholder_permutation_argument.cpp +++ b/libs/zk/test/systems/plonk/placeholder/placeholder_permutation_argument.cpp @@ -41,7 +41,7 @@ #include #include -#include +#include #include #include