test of G1 and G2

4 years ago · a522fd532d
parent 11a752cb6c
commit a522fd532d
1 changed files with 25 additions and 0 deletions
--- a/test/static_code_test.cpp
+++ b/test/static_code_test.cpp
@ -43,3 +43,28 @@ CYBOZU_TEST_AUTO(Fp2)
 	CYBOZU_TEST_EQUAL(x * y, Fp2(-5, 14));
 }

+CYBOZU_TEST_AUTO(G1)
+{
+	G1 P, Q;
+	hashAndMapToG1(P, "abc", 3);
+	Fr r1, r2;
+	r1.setHashOf("abc", 3);
+	r2 = -r1;
+	G1::mul(Q, P, r1);
+	Q = -Q;
+	P *= r2;
+	CYBOZU_TEST_EQUAL(P, Q);
+}
+
+CYBOZU_TEST_AUTO(G2)
+{
+	G2 P, Q;
+	hashAndMapToG2(P, "abc", 3);
+	Fr r1, r2;
+	r1.setHashOf("abc", 3);
+	r2 = -r1;
+	G2::mul(Q, P, r1);
+	Q = -Q;
+	P *= r2;
+	CYBOZU_TEST_EQUAL(P, Q);
+}