diff options
| author | J08nY | 2019-04-21 18:52:27 +0200 |
|---|---|---|
| committer | J08nY | 2019-04-21 18:52:27 +0200 |
| commit | 037194fd8cfe50aa2367c2f3c7fae5b41e7b46f9 (patch) | |
| tree | da5f51fa930cbf1c2ebdbf9f4af6f2935114097a /test/ec/test_point.py | |
| parent | a843a055b76223cfd00f996b836a105ab5ea77d4 (diff) | |
| download | pyecsca-037194fd8cfe50aa2367c2f3c7fae5b41e7b46f9.tar.gz pyecsca-037194fd8cfe50aa2367c2f3c7fae5b41e7b46f9.tar.zst pyecsca-037194fd8cfe50aa2367c2f3c7fae5b41e7b46f9.zip | |
Add AbelianGroup class.
Diffstat (limited to '')
| -rw-r--r-- | test/ec/test_point.py | 48 |
1 files changed, 25 insertions, 23 deletions
diff --git a/test/ec/test_point.py b/test/ec/test_point.py index a89a44f..a59204b 100644 --- a/test/ec/test_point.py +++ b/test/ec/test_point.py @@ -9,14 +9,16 @@ from test.ec.curves import get_secp128r1 class PointTests(TestCase): def setUp(self): - self.secp128r1, self.base = get_secp128r1() + self.secp128r1 = get_secp128r1() + self.base = self.secp128r1.generator + self.coords = self.secp128r1.curve.coordinate_model self.affine = AffineCoordinateModel(ShortWeierstrassModel()) def test_to_affine(self): - pt = Point(self.secp128r1.coordinate_model, - X=Mod(0x161ff7528b899b2d0c28607ca52c5b86, self.secp128r1.prime), - Y=Mod(0xcf5ac8395bafeb13c02da292dded7a83, self.secp128r1.prime), - Z=Mod(1, self.secp128r1.prime)) + pt = Point(self.coords, + X=Mod(0x161ff7528b899b2d0c28607ca52c5b86, self.secp128r1.curve.prime), + Y=Mod(0xcf5ac8395bafeb13c02da292dded7a83, self.secp128r1.curve.prime), + Z=Mod(1, self.secp128r1.curve.prime)) affine = pt.to_affine() self.assertIsInstance(affine.coordinate_model, AffineCoordinateModel) @@ -24,37 +26,37 @@ class PointTests(TestCase): self.assertEqual(affine.coords["x"], pt.coords["X"]) self.assertEqual(affine.coords["y"], pt.coords["Y"]) - affine = InfinityPoint(self.secp128r1.coordinate_model).to_affine() + affine = InfinityPoint(self.coords).to_affine() self.assertIsInstance(affine, InfinityPoint) def test_from_affine(self): - affine = Point(self.affine, x=Mod(0xabcd, self.secp128r1.prime), - y=Mod(0xef, self.secp128r1.prime)) - projective_model = self.secp128r1.coordinate_model + affine = Point(self.affine, x=Mod(0xabcd, self.secp128r1.curve.prime), + y=Mod(0xef, self.secp128r1.curve.prime)) + projective_model = self.coords other = Point.from_affine(projective_model, affine) self.assertEqual(other.coordinate_model, projective_model) self.assertSetEqual(set(other.coords.keys()), set(projective_model.variables)) self.assertEqual(other.coords["X"], affine.coords["x"]) self.assertEqual(other.coords["Y"], affine.coords["y"]) - self.assertEqual(other.coords["Z"], Mod(1, self.secp128r1.prime)) + self.assertEqual(other.coords["Z"], Mod(1, self.secp128r1.curve.prime)) def test_to_from_affine(self): - pt = Point(self.secp128r1.coordinate_model, - X=Mod(0x161ff7528b899b2d0c28607ca52c5b86, self.secp128r1.prime), - Y=Mod(0xcf5ac8395bafeb13c02da292dded7a83, self.secp128r1.prime), - Z=Mod(1, self.secp128r1.prime)) - other = Point.from_affine(self.secp128r1.coordinate_model, pt.to_affine()) + pt = Point(self.coords, + X=Mod(0x161ff7528b899b2d0c28607ca52c5b86, self.secp128r1.curve.prime), + Y=Mod(0xcf5ac8395bafeb13c02da292dded7a83, self.secp128r1.curve.prime), + Z=Mod(1, self.secp128r1.curve.prime)) + other = Point.from_affine(self.coords, pt.to_affine()) self.assertEqual(pt, other) def test_equals(self): - pt = Point(self.secp128r1.coordinate_model, - X=Mod(0x4, self.secp128r1.prime), - Y=Mod(0x6, self.secp128r1.prime), - Z=Mod(2, self.secp128r1.prime)) - other = Point(self.secp128r1.coordinate_model, - X=Mod(0x2, self.secp128r1.prime), - Y=Mod(0x3, self.secp128r1.prime), - Z=Mod(1, self.secp128r1.prime)) + pt = Point(self.coords, + X=Mod(0x4, self.secp128r1.curve.prime), + Y=Mod(0x6, self.secp128r1.curve.prime), + Z=Mod(2, self.secp128r1.curve.prime)) + other = Point(self.coords, + X=Mod(0x2, self.secp128r1.curve.prime), + Y=Mod(0x3, self.secp128r1.curve.prime), + Z=Mod(1, self.secp128r1.curve.prime)) assert pt.equals(other) self.assertNotEquals(pt, other) |
