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
|
/*
* ecgen, tool for generating Elliptic curve domain parameters
* Copyright (C) 2017 J08nY
*/
#include <criterion/criterion.h>
#include "gen/order.h"
#include "test/io.h"
TestSuite(order, .init = io_setup, .fini = io_teardown);
Test(order, test_order_gen_input) {
curve_t curve = {.field = stoi(19),
.a = mkintmodu(3, 19),
.b = mkintmodu(5, 19),
.curve = ellinit(mkvec2(stoi(3), stoi(5)), stoi(19), 0)};
cfg->bits = 16;
long ord = 26;
fprintf(write_in, "%li\n", ord);
int ret = order_gen_input(&curve, NULL, OFFSET_ORDER);
cr_assert_eq(ret, 1, );
cr_assert(gequal(curve.order, stoi(ord)), );
}
Test(order, test_order_gen_any) {
curve_t curve = {.field = stoi(19),
.a = mkintmodu(3, 19),
.b = mkintmodu(5, 19),
.curve = ellinit(mkvec2(stoi(3), stoi(5)), stoi(19), 0)};
cfg->bits = 16;
int ret = order_gen_any(&curve, NULL, OFFSET_ORDER);
cr_assert_eq(ret, 1, );
cr_assert(gequal(curve.order, stoi(26)), );
}
Test(order, test_order_gen_sea) {
curve_t curve = {.field = stoi(19),
.a = mkintmodu(3, 19),
.b = mkintmodu(5, 19),
.curve = ellinit(mkvec2(stoi(3), stoi(5)), stoi(19), 0)};
cfg->bits = 16;
int ret = order_gen_sea(&curve, NULL, OFFSET_ORDER);
cr_assert_eq(ret, 1, );
cr_assert(gequal(curve.order, stoi(26)), );
}
Test(order, test_order_gen_smallfact) {
curve_t curve = {.field = stoi(19),
.a = mkintmodu(3, 19),
.b = mkintmodu(5, 19),
.curve = ellinit(mkvec2(stoi(3), stoi(5)), stoi(19), 0)};
cfg->bits = 16;
pari_ulong smallfact = 5;
arg_t arg = {.args = &smallfact, .nargs = 1};
int ret = order_gen_smallfact(&curve, &arg, OFFSET_ORDER);
cr_assert_eq(ret, 1, );
cr_assert(gequal(curve.order, stoi(26)), );
}
Test(order, test_order_gen_prime) {
curve_t curve = {.field = stoi(19),
.a = mkintmodu(1, 19),
.b = mkintmodu(4, 19),
.curve = ellinit(mkvec2(stoi(1), stoi(4)), stoi(19), 0)};
cfg->bits = 16;
int ret = order_gen_prime(&curve, NULL, OFFSET_ORDER);
cr_assert_eq(ret, 1, );
cr_assert(gequal(curve.order, stoi(19)), );
}
Test(order, test_order_check_pohlig_hellman) {
curve_t curve = {.field = stoi(19),
.a = mkintmodu(3, 19),
.b = mkintmodu(5, 19),
.curve = ellinit(mkvec2(stoi(3), stoi(5)), stoi(19), 0),
.order = stoi(26)};
cfg->bits = 16;
char *min_factor = "12";
arg_t arg = {.args = min_factor, .nargs = 1};
int ret = order_check_pohlig_hellman(&curve, &arg, OFFSET_ORDER);
cr_assert_eq(ret, 1, );
}
Test(order, test_order_check_discriminant) {
curve_t curve = {.field = stoi(19),
.a = mkintmodu(3, 19),
.b = mkintmodu(5, 19),
.curve = ellinit(mkvec2(stoi(3), stoi(5)), stoi(19), 0),
.order = stoi(26)};
cfg->bits = 16;
cfg->field = FIELD_PRIME;
char *min_factor = "12";
arg_t arg = {.args = min_factor, .nargs = 1};
int ret = order_check_discriminant(&curve, &arg, OFFSET_ORDER);
cr_assert_eq(ret, 1, );
}
|
