Add test for non_native_policy chop func

Author: x-mass

test/CMakeLists.txt

@@ -68,6 +68,7 @@ set(NON_NATIVE_TESTS_FILES
     "algebra/fields/plonk/non_native/comparison_unchecked"
     "algebra/fields/plonk/non_native/comparison_flag"
     "algebra/fields/plonk/non_native/division_remainder"
+    "algebra/fields/plonk/non_native/non_native_policy"
     "non_native/plonk/bool_scalar_multiplication"
     "non_native/plonk/add_mul_zkllvm_compatible"
     "non_native/plonk/scalar_non_native_range"

test/algebra/fields/plonk/non_native/glue_non_native.hpp

@@ -1,12 +1,17 @@
+#include <array>
+#include <cassert>
+#include <vector>
+
+
 template<typename FieldType, typename NonNativeFieldType>
 typename NonNativeFieldType::value_type glue_non_native(std::array<typename FieldType::value_type, 4> input) {
     typename NonNativeFieldType::integral_type base = 1;
-    typename NonNativeFieldType::integral_type chunk_size = (base << 66);
+    typename NonNativeFieldType::integral_type chunk_non_reachable_value = (base << 66);
 
     std::array<typename FieldType::integral_type, 4> input_integral;
 
     for (std::size_t i = 0; i < input.size(); i++) {
-        assert(input[i] < chunk_size);
+        assert(input[i] < chunk_non_reachable_value);
         input_integral[i] = typename FieldType::integral_type(input[i].data);
     }
 

test/algebra/fields/plonk/non_native/non_native_policy.cpp

@@ -0,0 +1,64 @@
+#define BOOST_TEST_MODULE blueprint_algebra_fields_plonk_non_native_non_native_policy_test
+
+#include <iostream>
+
+#include <boost/test/unit_test.hpp>
+
+#include <nil/blueprint/basic_non_native_policy.hpp>
+#include <../test/algebra/fields/plonk/non_native/glue_non_native.hpp>
+
+
+using namespace nil;
+
+template<typename NativeFieldType, typename NonNativeFieldType>
+void test_chopping(
+    const typename NonNativeFieldType::value_type& non_native_field_el
+) {
+    using non_native_policy_type =
+        blueprint::detail::basic_non_native_policy_field_type<
+            NativeFieldType,
+            NonNativeFieldType
+        >;
+    using chunked_non_native_type = typename non_native_policy_type::chopped_value_type;
+
+    auto chopping_result = non_native_policy_type::chop_non_native(non_native_field_el);
+            std::cout << std::hex;
+
+    for (std::size_t i = 0; i < 4; i++) {
+        std::cout << chopping_result[i].data << " ";
+    }
+
+    assert(
+        (glue_non_native<
+            NativeFieldType,
+            NonNativeFieldType
+        >(chopping_result)) == non_native_field_el
+    );
+}
+
+BOOST_AUTO_TEST_SUITE(blueprint_non_native_policy_test_suite)
+
+BOOST_AUTO_TEST_CASE(blueprint_non_native_policy_25519) {
+    using non_native_field_type = typename crypto3::algebra::curves::ed25519::base_field_type;
+    using native_field_type = crypto3::algebra::curves::pallas::base_field_type;
+    test_chopping<native_field_type, non_native_field_type>(
+        0x0
+    );
+    test_chopping<native_field_type, non_native_field_type>(
+        0x274dbce8d15179969bc0d49fa725bddf9de555e0ba6a693c6adb52fc9ee7a82c_cppui252
+    );
+    test_chopping<native_field_type, non_native_field_type>(
+        0x5ce98c61b05f47fe2eae9a542bd99f6b2e78246231640b54595febfd51eb853_cppui252
+    );
+    test_chopping<native_field_type, non_native_field_type>(
+        0x2ad46cbfb78773b6254adc1d80c6efa02f3bf948c37e5a2222136421d7bec942_cppui252
+    );
+    test_chopping<native_field_type, non_native_field_type>(
+        0x14e9693f16d75f7065ce51e1f46ae6c60841ca1e0cf264eda26398e36ca2ed69_cppui252
+    );
+    test_chopping<native_field_type, non_native_field_type>(
+        non_native_field_type::modulus - 1
+    );
+}
+
+BOOST_AUTO_TEST_SUITE_END()