From b3c2480266eb4a203bcadefae2baac9c12efcbb2 Mon Sep 17 00:00:00 2001
From: MITSUNARI Shigeo <herumi@nifty.com>
Date: Tue, 28 Jul 2020 11:42:23 +0900
Subject: [PATCH] [C#] add test of mapToG1

---
 ffi/cs/mcl/mcl.cs   |  8 ++++----
 ffi/cs/test/test.cs | 31 +++++++++++++++++++++++++++++++
 2 files changed, 35 insertions(+), 4 deletions(-)

diff --git a/ffi/cs/mcl/mcl.cs b/ffi/cs/mcl/mcl.cs
index 49483ee..035b225 100644
--- a/ffi/cs/mcl/mcl.cs
+++ b/ffi/cs/mcl/mcl.cs
@@ -567,11 +567,11 @@ namespace mcl {
         }
         [StructLayout(LayoutKind.Sequential)]
         public struct Fp2 {
-            private Fp a, b;
+            public Fp a, b;
         }
         [StructLayout(LayoutKind.Sequential)]
         public struct G1 {
-            private Fp x, y, z;
+            public Fp x, y, z;
             public void Clear()
             {
                 mclBnG1_clear(ref this);
@@ -652,7 +652,7 @@ namespace mcl {
         }
         [StructLayout(LayoutKind.Sequential)]
         public struct G2 {
-            private Fp2 x, y, z;
+            public Fp2 x, y, z;
             public void Clear()
             {
                 mclBnG2_clear(ref this);
@@ -733,7 +733,7 @@ namespace mcl {
         }
         [StructLayout(LayoutKind.Sequential)]
         public struct GT {
-            private Fp v00, v01, v02, v03, v04, v05, v06, v07, v08, v09, v10, v11;
+            public Fp v00, v01, v02, v03, v04, v05, v06, v07, v08, v09, v10, v11;
             public void Clear()
             {
                 mclBnGT_clear(ref this);
diff --git a/ffi/cs/test/test.cs b/ffi/cs/test/test.cs
index 6e854fa..832d969 100644
--- a/ffi/cs/test/test.cs
+++ b/ffi/cs/test/test.cs
@@ -20,6 +20,9 @@ namespace mcl {
                 TestCurve(BN_SNARK);
                 Console.WriteLine("BLS12_381");
                 TestCurve(BLS12_381);
+                Console.WriteLine("BLS12_381 eth");
+                ETHmode();
+                TestETH();
                 if (err == 0) {
                     Console.WriteLine("all tests succeed");
                 } else {
@@ -220,5 +223,33 @@ namespace mcl {
             e3.Pow(e1, b);
             assert("e2.Equals(e3)", e2.Equals(e3));
         }
+        static void TestETH_mapToG1()
+        {
+            var tbl = new[] {
+                new {
+                    msg = "asdf",
+                    dst = "BLS_SIG_BLS12381G2_XMD:SHA-256_SSWU_RO_POP_",
+                    x = "bc73d15443009a8ff2ddce864136d892274dd8365c60d0d2d44cc543387348e366a8f1e1401427e37743c29ed2c939a",
+                    y = "101e26428a1b78c05458cb1cc37d2d87876ad3437096d2827f376702d4451667fe1fa82e82795495d33d466133ed1862",
+                },
+           };
+            G1 P = new G1();
+            Fp x = new Fp();
+            Fp y = new Fp();
+            foreach (var v in tbl) {
+                P.HashAndMapTo(v.msg);
+                x.SetStr(v.x, 16);
+                y.SetStr(v.y, 16);
+                Normalize(ref P, P);
+                Console.WriteLine("x={0}", P.x.GetStr(16));
+                Console.WriteLine("y={0}", P.y.GetStr(16));
+                assert("P.x", P.x.Equals(x));
+                assert("P.y", P.y.Equals(y));
+            }
+        }
+        static void TestETH()
+        {
+            TestETH_mapToG1();
+        }
     }
 }