1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
from unittest import TestCase
from pyecsca.ec.curve import EllipticCurve
from pyecsca.ec.curves import get_params
from pyecsca.ec.mod import Mod
from pyecsca.ec.model import MontgomeryModel
from pyecsca.ec.point import Point
class CurveTests(TestCase):
def setUp(self):
self.secp128r1 = get_params("secg", "secp128r1", "projective")
self.base = self.secp128r1.generator
self.curve25519 = get_params("other", "Curve25519", "xz")
def test_init(self):
with self.assertRaises(ValueError):
EllipticCurve(MontgomeryModel(), self.secp128r1.curve.coordinate_model, 1,
parameters={})
with self.assertRaises(ValueError):
EllipticCurve(self.secp128r1.curve.model, self.secp128r1.curve.coordinate_model, 15,
parameters={"c": 0})
with self.assertRaises(ValueError):
EllipticCurve(self.secp128r1.curve.model, self.secp128r1.curve.coordinate_model, 15,
parameters={"a": Mod(1, 5), "b": Mod(2, 5)})
def test_is_on_curve(self):
pt = Point(self.secp128r1.curve.coordinate_model,
X=Mod(0x161ff7528b899b2d0c28607ca52c5b86, self.secp128r1.curve.prime),
Y=Mod(0xcf5ac8395bafeb13c02da292dded7a83, self.secp128r1.curve.prime),
Z=Mod(1, self.secp128r1.curve.prime))
assert self.secp128r1.curve.is_on_curve(pt)
assert self.secp128r1.curve.is_on_curve(pt.to_affine())
other = Point(self.secp128r1.curve.coordinate_model,
X=Mod(0x161ff7528b899b2d0c28607ca52c5b86, self.secp128r1.curve.prime),
Y=Mod(0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa, self.secp128r1.curve.prime),
Z=Mod(1, self.secp128r1.curve.prime))
assert not self.secp128r1.curve.is_on_curve(other)
def test_eq(self):
self.assertEqual(self.secp128r1.curve, self.secp128r1.curve)
self.assertNotEqual(self.secp128r1.curve, self.curve25519.curve)
self.assertNotEqual(self.secp128r1.curve, None)
|
