g2_test.go 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286
  1. package bls12381
  2. import (
  3. "bytes"
  4. "crypto/rand"
  5. "math/big"
  6. "testing"
  7. "github.com/ethereum/go-ethereum/common"
  8. )
  9. func (g *G2) one() *PointG2 {
  10. one, _ := g.fromBytesUnchecked(
  11. common.FromHex("" +
  12. "13e02b6052719f607dacd3a088274f65596bd0d09920b61ab5da61bbdc7f5049334cf11213945d57e5ac7d055d042b7e" +
  13. "024aa2b2f08f0a91260805272dc51051c6e47ad4fa403b02b4510b647ae3d1770bac0326a805bbefd48056c8c121bdb8" +
  14. "0606c4a02ea734cc32acd2b02bc28b99cb3e287e85a763af267492ab572e99ab3f370d275cec1da1aaa9075ff05f79be" +
  15. "0ce5d527727d6e118cc9cdc6da2e351aadfd9baa8cbdd3a76d429a695160d12c923ac9cc3baca289e193548608b82801",
  16. ),
  17. )
  18. return one
  19. }
  20. func (g *G2) rand() *PointG2 {
  21. k, err := rand.Int(rand.Reader, q)
  22. if err != nil {
  23. panic(err)
  24. }
  25. return g.MulScalar(&PointG2{}, g.one(), k)
  26. }
  27. func TestG2Serialization(t *testing.T) {
  28. g2 := NewG2()
  29. for i := 0; i < fuz; i++ {
  30. a := g2.rand()
  31. buf := g2.ToBytes(a)
  32. b, err := g2.FromBytes(buf)
  33. if err != nil {
  34. t.Fatal(err)
  35. }
  36. if !g2.Equal(a, b) {
  37. t.Fatal("bad serialization from/to")
  38. }
  39. }
  40. for i := 0; i < fuz; i++ {
  41. a := g2.rand()
  42. encoded := g2.EncodePoint(a)
  43. b, err := g2.DecodePoint(encoded)
  44. if err != nil {
  45. t.Fatal(err)
  46. }
  47. if !g2.Equal(a, b) {
  48. t.Fatal("bad serialization encode/decode")
  49. }
  50. }
  51. }
  52. func TestG2IsOnCurve(t *testing.T) {
  53. g := NewG2()
  54. zero := g.Zero()
  55. if !g.IsOnCurve(zero) {
  56. t.Fatal("zero must be on curve")
  57. }
  58. one := new(fe2).one()
  59. p := &PointG2{*one, *one, *one}
  60. if g.IsOnCurve(p) {
  61. t.Fatal("(1, 1) is not on curve")
  62. }
  63. }
  64. func TestG2AdditiveProperties(t *testing.T) {
  65. g := NewG2()
  66. t0, t1 := g.New(), g.New()
  67. zero := g.Zero()
  68. for i := 0; i < fuz; i++ {
  69. a, b := g.rand(), g.rand()
  70. _, _, _ = b, t1, zero
  71. g.Add(t0, a, zero)
  72. if !g.Equal(t0, a) {
  73. t.Fatal("a + 0 == a")
  74. }
  75. g.Add(t0, zero, zero)
  76. if !g.Equal(t0, zero) {
  77. t.Fatal("0 + 0 == 0")
  78. }
  79. g.Sub(t0, a, zero)
  80. if !g.Equal(t0, a) {
  81. t.Fatal("a - 0 == a")
  82. }
  83. g.Sub(t0, zero, zero)
  84. if !g.Equal(t0, zero) {
  85. t.Fatal("0 - 0 == 0")
  86. }
  87. g.Neg(t0, zero)
  88. if !g.Equal(t0, zero) {
  89. t.Fatal("- 0 == 0")
  90. }
  91. g.Sub(t0, zero, a)
  92. g.Neg(t0, t0)
  93. if !g.Equal(t0, a) {
  94. t.Fatal(" - (0 - a) == a")
  95. }
  96. g.Double(t0, zero)
  97. if !g.Equal(t0, zero) {
  98. t.Fatal("2 * 0 == 0")
  99. }
  100. g.Double(t0, a)
  101. g.Sub(t0, t0, a)
  102. if !g.Equal(t0, a) || !g.IsOnCurve(t0) {
  103. t.Fatal(" (2 * a) - a == a")
  104. }
  105. g.Add(t0, a, b)
  106. g.Add(t1, b, a)
  107. if !g.Equal(t0, t1) {
  108. t.Fatal("a + b == b + a")
  109. }
  110. g.Sub(t0, a, b)
  111. g.Sub(t1, b, a)
  112. g.Neg(t1, t1)
  113. if !g.Equal(t0, t1) {
  114. t.Fatal("a - b == - ( b - a )")
  115. }
  116. c := g.rand()
  117. g.Add(t0, a, b)
  118. g.Add(t0, t0, c)
  119. g.Add(t1, a, c)
  120. g.Add(t1, t1, b)
  121. if !g.Equal(t0, t1) {
  122. t.Fatal("(a + b) + c == (a + c ) + b")
  123. }
  124. g.Sub(t0, a, b)
  125. g.Sub(t0, t0, c)
  126. g.Sub(t1, a, c)
  127. g.Sub(t1, t1, b)
  128. if !g.Equal(t0, t1) {
  129. t.Fatal("(a - b) - c == (a - c) -b")
  130. }
  131. }
  132. }
  133. func TestG2MultiplicativeProperties(t *testing.T) {
  134. g := NewG2()
  135. t0, t1 := g.New(), g.New()
  136. zero := g.Zero()
  137. for i := 0; i < fuz; i++ {
  138. a := g.rand()
  139. s1, s2, s3 := randScalar(q), randScalar(q), randScalar(q)
  140. sone := big.NewInt(1)
  141. g.MulScalar(t0, zero, s1)
  142. if !g.Equal(t0, zero) {
  143. t.Fatal(" 0 ^ s == 0")
  144. }
  145. g.MulScalar(t0, a, sone)
  146. if !g.Equal(t0, a) {
  147. t.Fatal(" a ^ 1 == a")
  148. }
  149. g.MulScalar(t0, zero, s1)
  150. if !g.Equal(t0, zero) {
  151. t.Fatal(" 0 ^ s == a")
  152. }
  153. g.MulScalar(t0, a, s1)
  154. g.MulScalar(t0, t0, s2)
  155. s3.Mul(s1, s2)
  156. g.MulScalar(t1, a, s3)
  157. if !g.Equal(t0, t1) {
  158. t.Errorf(" (a ^ s1) ^ s2 == a ^ (s1 * s2)")
  159. }
  160. g.MulScalar(t0, a, s1)
  161. g.MulScalar(t1, a, s2)
  162. g.Add(t0, t0, t1)
  163. s3.Add(s1, s2)
  164. g.MulScalar(t1, a, s3)
  165. if !g.Equal(t0, t1) {
  166. t.Errorf(" (a ^ s1) + (a ^ s2) == a ^ (s1 + s2)")
  167. }
  168. }
  169. }
  170. func TestG2MultiExpExpected(t *testing.T) {
  171. g := NewG2()
  172. one := g.one()
  173. var scalars [2]*big.Int
  174. var bases [2]*PointG2
  175. scalars[0] = big.NewInt(2)
  176. scalars[1] = big.NewInt(3)
  177. bases[0], bases[1] = new(PointG2).Set(one), new(PointG2).Set(one)
  178. expected, result := g.New(), g.New()
  179. g.MulScalar(expected, one, big.NewInt(5))
  180. _, _ = g.MultiExp(result, bases[:], scalars[:])
  181. if !g.Equal(expected, result) {
  182. t.Fatal("bad multi-exponentiation")
  183. }
  184. }
  185. func TestG2MultiExpBatch(t *testing.T) {
  186. g := NewG2()
  187. one := g.one()
  188. n := 1000
  189. bases := make([]*PointG2, n)
  190. scalars := make([]*big.Int, n)
  191. // scalars: [s0,s1 ... s(n-1)]
  192. // bases: [P0,P1,..P(n-1)] = [s(n-1)*G, s(n-2)*G ... s0*G]
  193. for i, j := 0, n-1; i < n; i, j = i+1, j-1 {
  194. scalars[j], _ = rand.Int(rand.Reader, big.NewInt(100000))
  195. bases[i] = g.New()
  196. g.MulScalar(bases[i], one, scalars[j])
  197. }
  198. // expected: s(n-1)*P0 + s(n-2)*P1 + s0*P(n-1)
  199. expected, tmp := g.New(), g.New()
  200. for i := 0; i < n; i++ {
  201. g.MulScalar(tmp, bases[i], scalars[i])
  202. g.Add(expected, expected, tmp)
  203. }
  204. result := g.New()
  205. _, _ = g.MultiExp(result, bases, scalars)
  206. if !g.Equal(expected, result) {
  207. t.Fatal("bad multi-exponentiation")
  208. }
  209. }
  210. func TestG2MapToCurve(t *testing.T) {
  211. for i, v := range []struct {
  212. u []byte
  213. expected []byte
  214. }{
  215. {
  216. u: make([]byte, 96),
  217. expected: common.FromHex("0a67d12118b5a35bb02d2e86b3ebfa7e23410db93de39fb06d7025fa95e96ffa428a7a27c3ae4dd4b40bd251ac658892" + "018320896ec9eef9d5e619848dc29ce266f413d02dd31d9b9d44ec0c79cd61f18b075ddba6d7bd20b7ff27a4b324bfce" + "04c69777a43f0bda07679d5805e63f18cf4e0e7c6112ac7f70266d199b4f76ae27c6269a3ceebdae30806e9a76aadf5c" + "0260e03644d1a2c321256b3246bad2b895cad13890cbe6f85df55106a0d334604fb143c7a042d878006271865bc35941"),
  218. },
  219. {
  220. u: common.FromHex("025fbc07711ba267b7e70c82caa70a16fbb1d470ae24ceef307f5e2000751677820b7013ad4e25492dcf30052d3e5eca" + "0e775d7827adf385b83e20e4445bd3fab21d7b4498426daf3c1d608b9d41e9edb5eda0df022e753b8bb4bc3bb7db4914"),
  221. expected: common.FromHex("0d4333b77becbf9f9dfa3ca928002233d1ecc854b1447e5a71f751c9042d000f42db91c1d6649a5e0ad22bd7bf7398b8" + "027e4bfada0b47f9f07e04aec463c7371e68f2fd0c738cd517932ea3801a35acf09db018deda57387b0f270f7a219e4d" + "0cc76dc777ea0d447e02a41004f37a0a7b1fafb6746884e8d9fc276716ccf47e4e0899548a2ec71c2bdf1a2a50e876db" + "053674cba9ef516ddc218fedb37324e6c47de27f88ab7ef123b006127d738293c0277187f7e2f80a299a24d84ed03da7"),
  222. },
  223. {
  224. u: common.FromHex("1870a7dbfd2a1deb74015a3546b20f598041bf5d5202997956a94a368d30d3f70f18cdaa1d33ce970a4e16af961cbdcb" + "045ab31ce4b5a8ba7c4b2851b64f063a66cd1223d3c85005b78e1beee65e33c90ceef0244e45fc45a5e1d6eab6644fdb"),
  225. expected: common.FromHex("18f0f87b40af67c056915dbaf48534c592524e82c1c2b50c3734d02c0172c80df780a60b5683759298a3303c5d942778" + "09349f1cb5b2e55489dcd45a38545343451cc30a1681c57acd4fb0a6db125f8352c09f4a67eb7d1d8242cb7d3405f97b" + "10a2ba341bc689ab947b7941ce6ef39be17acaab067bd32bd652b471ab0792c53a2bd03bdac47f96aaafe96e441f63c0" + "02f2d9deb2c7742512f5b8230bf0fd83ea42279d7d39779543c1a43b61c885982b611f6a7a24b514995e8a098496b811"),
  226. },
  227. {
  228. u: common.FromHex("088fe329b054db8a6474f21a7fbfdf17b4c18044db299d9007af582c3d5f17d00e56d99921d4b5640fce44b05219b5de" + "0b6e6135a4cd31ba980ddbd115ac48abef7ec60e226f264d7befe002c165f3a496f36f76dd524efd75d17422558d10b4"),
  229. expected: common.FromHex("19808ec5930a53c7cf5912ccce1cc33f1b3dcff24a53ce1cc4cba41fd6996dbed4843ccdd2eaf6a0cd801e562718d163" + "149fe43777d34f0d25430dea463889bd9393bdfb4932946db23671727081c629ebb98a89604f3433fba1c67d356a4af7" + "04783e391c30c83f805ca271e353582fdf19d159f6a4c39b73acbb637a9b8ac820cfbe2738d683368a7c07ad020e3e33" + "04c0d6793a766233b2982087b5f4a254f261003ccb3262ea7c50903eecef3e871d1502c293f9e063d7d293f6384f4551"),
  230. },
  231. {
  232. u: common.FromHex("03df16a66a05e4c1188c234788f43896e0565bfb64ac49b9639e6b284cc47dad73c47bb4ea7e677db8d496beb907fbb6" + "0f45b50647d67485295aa9eb2d91a877b44813677c67c8d35b2173ff3ba95f7bd0806f9ca8a1436b8b9d14ee81da4d7e"),
  233. expected: common.FromHex("0b8e0094c886487870372eb6264613a6a087c7eb9804fab789be4e47a57b29eb19b1983a51165a1b5eb025865e9fc63a" + "0804152cbf8474669ad7d1796ab92d7ca21f32d8bed70898a748ed4e4e0ec557069003732fc86866d938538a2ae95552" + "14c80f068ece15a3936bb00c3c883966f75b4e8d9ddde809c11f781ab92d23a2d1d103ad48f6f3bb158bf3e3a4063449" + "09e5c8242dd7281ad32c03fe4af3f19167770016255fb25ad9b67ec51d62fade31a1af101e8f6172ec2ee8857662be3a"),
  234. },
  235. } {
  236. g := NewG2()
  237. p0, err := g.MapToCurve(v.u)
  238. if err != nil {
  239. t.Fatal("map to curve fails", i, err)
  240. }
  241. if !bytes.Equal(g.ToBytes(p0), v.expected) {
  242. t.Fatal("map to curve fails", i)
  243. }
  244. }
  245. }
  246. func BenchmarkG2Add(t *testing.B) {
  247. g2 := NewG2()
  248. a, b, c := g2.rand(), g2.rand(), PointG2{}
  249. t.ResetTimer()
  250. for i := 0; i < t.N; i++ {
  251. g2.Add(&c, a, b)
  252. }
  253. }
  254. func BenchmarkG2Mul(t *testing.B) {
  255. g2 := NewG2()
  256. a, e, c := g2.rand(), q, PointG2{}
  257. t.ResetTimer()
  258. for i := 0; i < t.N; i++ {
  259. g2.MulScalar(&c, a, e)
  260. }
  261. }
  262. func BenchmarkG2SWUMap(t *testing.B) {
  263. a := make([]byte, 96)
  264. g2 := NewG2()
  265. t.ResetTimer()
  266. for i := 0; i < t.N; i++ {
  267. _, err := g2.MapToCurve(a)
  268. if err != nil {
  269. t.Fatal(err)
  270. }
  271. }
  272. }