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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
|
import pickle
import pytest
from importlib_resources import files, as_file
import test.data.ec
from pyecsca.ec.coordinates import AffineCoordinateModel
from pyecsca.ec.curve import EllipticCurve
from pyecsca.ec.error import UnsatisfiedAssumptionError
from pyecsca.ec.mod import mod
from pyecsca.ec.model import ShortWeierstrassModel
from pyecsca.ec.params import get_params, load_params, load_category, get_category, DomainParameters, \
load_params_ectester, load_params_ecgen
from pyecsca.ec.point import Point, InfinityPoint
from pyecsca.misc.cfg import TemporaryConfig
def test_eq(secp128r1, curve25519):
assert secp128r1.__eq__(secp128r1)
assert secp128r1 != curve25519
assert secp128r1 is not None
def test_str(secp128r1):
assert str(secp128r1) == "DomainParameters(secg/secp128r1)"
@pytest.mark.parametrize("name,coords",
[
("secg/secp128r1", "projective"),
("secg/secp256r1", "projective"),
("secg/secp521r1", "projective"),
("other/Curve25519", "xz"),
("other/Ed25519", "projective"),
("other/Ed448", "projective"),
("other/E-222", "projective"),
])
def test_get_params(name, coords):
params = get_params(*name.split("/"), coords)
try:
assert params.curve.is_on_curve(params.generator)
except NotImplementedError:
pass
@pytest.mark.parametrize("name,coords",
[
("anssi", "projective"),
(
"brainpool",
lambda name: "projective" if name.endswith("r1") else "jacobian",
),
])
def test_get_category(name, coords):
get_category(name, coords)
def test_load_params():
with as_file(files(test.data.ec).joinpath("curve.json")) as path:
params = load_params(path, "projective")
try:
assert params.curve.is_on_curve(params.generator)
except NotImplementedError:
pass
def test_load_params_ectester(secp128r1):
with as_file(files(test.data.ec).joinpath("ectester_secp128r1.csv")) as path:
params = load_params_ectester(path, "projective")
assert params.curve.is_on_curve(params.generator)
assert params == secp128r1
def test_load_params_ecgen(secp128r1):
with as_file(files(test.data.ec).joinpath("ecgen_secp128r1.json")) as path:
params = load_params_ecgen(path, "projective")
assert params.curve.is_on_curve(params.generator)
assert params == secp128r1
def test_load_category():
with as_file(files(test.data.ec).joinpath("curves.json")) as path:
category = load_category(path, "yz")
assert len(category) == 1
@pytest.mark.parametrize("name,coords",
[
("no_category/some", "else"),
("secg/no_curve", "else"),
("secg/secp128r1", "some"),
])
def test_unknown(name, coords):
with pytest.raises(ValueError):
get_params(*name.split("/"), coords)
def test_assumption():
with pytest.raises(UnsatisfiedAssumptionError):
get_params("secg", "secp128r1", "projective-1")
with TemporaryConfig() as cfg:
cfg.ec.unsatisfied_coordinate_assumption_action = "ignore"
params = get_params("secg", "secp128r1", "projective-1")
assert params is not None
assert get_params("secg", "secp128r1", "projective-3") is not None
def test_infty():
with pytest.raises(ValueError):
get_params("other", "Ed25519", "modified", False)
assert get_params("secg", "secp128r1", "projective", False) is not None
def test_no_binary():
with pytest.raises(ValueError):
get_params("secg", "sect163r1", "something")
def test_no_extension():
with pytest.raises(ValueError):
get_params("other", "Fp254n2BNa", "something")
def test_affine():
aff = get_params("secg", "secp128r1", "affine")
assert isinstance(aff.curve.coordinate_model, AffineCoordinateModel)
def test_custom_params():
model = ShortWeierstrassModel()
coords = model.coordinates["projective"]
p = 0xd7d1247f
a = mod(0xa4a44016, p)
b = mod(0x73f76716, p)
n = 0xd7d2a475
h = 1
gx, gy, gz = mod(0x54eed6d7, p), mod(0x6f1e55ac, p), mod(1, p)
generator = Point(coords, X=gx, Y=gy, Z=gz)
neutral = InfinityPoint(coords)
curve = EllipticCurve(model, coords, p, neutral, {"a": a, "b": b})
params = DomainParameters(curve, generator, n, h)
assert params is not None
res = params.curve.affine_double(generator.to_affine())
assert res is not None
def test_pickle(secp128r1):
assert secp128r1 == pickle.loads(pickle.dumps(secp128r1))
|
