|
5 | 5 | keys, and is trivially vulnerable to side channel attacks. Do not use for
|
6 | 6 | anything but tests."""
|
7 | 7 |
|
8 |
| -from .key import fe |
| 8 | +import random |
| 9 | +import unittest |
| 10 | + |
| 11 | +from .key import fe, SECP256K1, SECP256K1_G, SECP256K1_ORDER |
9 | 12 |
|
10 | 13 | C1 = fe(-3).sqrt()
|
11 | 14 | C2 = (C1 - fe(1)) / fe(2)
|
@@ -120,3 +123,42 @@ def r(x,y,i):
|
120 | 123 | [(fe(0xd09a4047f158fe52f96c661d02c68657c4c976ea96ea85ef46d6985bd540756b), fe(0xe793bfaae9300f18e6f9b55aae26322368b61d51ae5022efe266c72d574178bc)), [fe(0x7e6175fdfbb9fb4faf6e2b925ef86c4a444d819aaa82dbee545d3d9b296375be), None , None , None ]],
|
121 | 124 | [(fe(0x3498662504b73c7c8cecb6c33cd493bdfc190e0f87d913d7ff9ad42e222bfe95), fe(0x245b3a61b8d46997f14f2fea2874899691eb32542b9907d65eb9d21d42454021)), [fe(0x7f556282c3dd9d263390d6bbddada698ab8fd7c7d1a06498f42b30437c8361ad), None , None , None ]]
|
122 | 125 | ]
|
| 126 | + |
| 127 | +class TestFrameworkEllsq(unittest.TestCase): |
| 128 | + def test_fe_to_ge_to_fe(self): |
| 129 | + for i in range(100): |
| 130 | + matches = 0 |
| 131 | + t = fe(random.randrange(1, SECP256K1_ORDER)) |
| 132 | + ge = f(t) |
| 133 | + jac_ge = (ge[0].val, ge[1].val, 1) |
| 134 | + assert(SECP256K1.on_curve(jac_ge)) |
| 135 | + # t should appear exactly once in preimages |
| 136 | + for j in range(4): |
| 137 | + field_ele = r(ge[0], ge[1], j) |
| 138 | + if field_ele is not None: |
| 139 | + matches += (field_ele == t) |
| 140 | + assert(matches == 1) |
| 141 | + |
| 142 | + def test_ge_to_fe_to_ge(self): |
| 143 | + for i in range(100): |
| 144 | + m = random.randrange(1, SECP256K1_ORDER) |
| 145 | + A = SECP256K1.affine(SECP256K1.mul([(SECP256K1_G, m)])) |
| 146 | + ge = (fe(A[0]), fe(A[1])) |
| 147 | + preimages = [] |
| 148 | + for j in range(4): |
| 149 | + field_ele = r(ge[0], ge[1], j) |
| 150 | + if field_ele is not None: |
| 151 | + preimages.append(field_ele) |
| 152 | + group_ele = f(field_ele) |
| 153 | + assert (ge == group_ele) |
| 154 | + assert len(set(preimages)) == len(preimages) |
| 155 | + |
| 156 | + def test_ellsq_mapping(self): |
| 157 | + for test_vector in ELLSQ_TESTS: |
| 158 | + ge, fe = test_vector |
| 159 | + for j, fe1 in enumerate(fe): |
| 160 | + fe2 = r(ge[0], ge[1], j) |
| 161 | + assert(fe1 == fe2) |
| 162 | + if fe2 is not None: |
| 163 | + group_ele = f(fe2) |
| 164 | + assert (ge == group_ele) |
0 commit comments