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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
from unittest import TestCase
from pyecsca.ec.curve import EllipticCurve
from pyecsca.ec.params import get_params
from pyecsca.ec.mod import Mod
from pyecsca.ec.model import MontgomeryModel
from pyecsca.ec.point import Point, InfinityPoint
class CurveTests(TestCase):
def setUp(self):
self.secp128r1 = get_params("secg", "secp128r1", "projective")
self.base = self.secp128r1.generator
self.affine_base = self.base.to_affine()
self.curve25519 = get_params("other", "Curve25519", "xz")
self.ed25519 = get_params("other", "Ed25519", "projective")
def test_init(self):
with self.assertRaises(ValueError):
EllipticCurve(MontgomeryModel(), self.secp128r1.curve.coordinate_model, 1,
InfinityPoint(self.secp128r1.curve.coordinate_model), parameters={})
with self.assertRaises(ValueError):
EllipticCurve(self.secp128r1.curve.model, self.secp128r1.curve.coordinate_model, 15,
InfinityPoint(self.secp128r1.curve.coordinate_model), parameters={"c": 0})
with self.assertRaises(ValueError):
EllipticCurve(self.secp128r1.curve.model, self.secp128r1.curve.coordinate_model, 15,
InfinityPoint(self.secp128r1.curve.coordinate_model),
parameters={"a": Mod(1, 5), "b": Mod(2, 5)})
def test_is_neutral(self):
self.assertTrue(self.secp128r1.curve.is_neutral(InfinityPoint(self.secp128r1.curve.coordinate_model)))
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))
self.assertTrue(self.secp128r1.curve.is_on_curve(pt))
self.assertTrue(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))
self.assertFalse(self.secp128r1.curve.is_on_curve(other))
def test_affine_add(self):
self.assertIsNotNone(self.secp128r1.curve.affine_add(self.affine_base, self.affine_base))
def test_affine_double(self):
self.assertIsNotNone(self.secp128r1.curve.affine_double(self.affine_base))
def test_affine_negate(self):
self.assertIsNotNone(self.secp128r1.curve.affine_negate(self.affine_base))
def test_affine_multiply(self):
expected = self.affine_base
expected = self.secp128r1.curve.affine_double(expected)
expected = self.secp128r1.curve.affine_double(expected)
expected = self.secp128r1.curve.affine_add(expected, self.affine_base)
expected = self.secp128r1.curve.affine_double(expected)
self.assertEqual(self.secp128r1.curve.affine_multiply(self.affine_base, 10), expected)
def test_affine_neutral(self):
self.assertIsNone(self.secp128r1.curve.affine_neutral)
self.assertIsNone(self.curve25519.curve.affine_neutral)
self.assertIsNotNone(self.ed25519.curve.affine_neutral)
def test_neutral_is_affine(self):
self.assertFalse(self.secp128r1.curve.neutral_is_affine)
self.assertFalse(self.curve25519.curve.neutral_is_affine)
self.assertTrue(self.ed25519.curve.neutral_is_affine)
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)
|
