~mdw / catacomb / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
math/f-{prime,niceprime}.c: Fix reduction for `add', `sub' and `neg'.
[catacomb] / math / t / ec
CommitLineData
bc985cef 1# Elliptic curve tests
2
3check {
4 "prime: 6277101735386680763835789423207666416083908700390324961279
5 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
6 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
7 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
8 0;
9 "prime: 6277101735386680763835789423207666416083908700390324961279
10 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
11 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
12 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
13 -1;
14 "prime: 6277101735386680763835789423207666416083908700390324961279
15 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
16 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
17 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
18 0;
19 "prime: 6277101735386680763835789423207666416083908700390324961279
20 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
45c0fd36 21 "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
bc985cef 22 0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
23 0;
24 "prime: 6277101735386680763835789423207666416083908700390324961279
25 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
26 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
27 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
28 0;
29 "prime: 6277101735386680763835789423207666416083908700390324961279
30 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
31 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
32 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
33 -1;
34 "prime: 6277101735386680763835789423207666416083908700390324961279
35 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
36 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
37 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
38 0;
39
f46efa79 40 "niceprime: 6277101735386680763835789423207666416083908700390324961279
41 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
42 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
43 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
44 0;
45 "niceprime: 6277101735386680763835789423207666416083908700390324961279
46 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
47 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
48 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
49 -1;
50 "niceprime: 6277101735386680763835789423207666416083908700390324961279
51 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
52 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
53 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
54 0;
55 "niceprime: 6277101735386680763835789423207666416083908700390324961279
56 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
45c0fd36 57 "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
f46efa79 58 0xdccf19d3e76abfa05d529c07575f54c94fa5fc9f3decc246"
59 0;
60 "niceprime: 6277101735386680763835789423207666416083908700390324961279
61 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
62 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
63 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
64 0;
65 "niceprime: 6277101735386680763835789423207666416083908700390324961279
66 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
67 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
68 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794810"
69 -1;
70 "niceprime: 6277101735386680763835789423207666416083908700390324961279
71 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
72 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
73 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee"
74 0;
75
bc985cef 76 "binpoly: 0x800000000000000000000000000000000000000c9
77 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
78 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
79 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1"
80 0;
81 "binpoly: 0x800000000000000000000000000000000000000c9
82 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
83 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
84 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f0"
85 -1;
86 "binpoly: 0x800000000000000000000000000000000000000c9
87 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
88 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
89 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
90 0;
91 "binpoly: 0x800000000000000000000000000000000000000c9
92 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
93 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
94 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1"
95 0;
96 "binpoly: 0x800000000000000000000000000000000000000c9
97 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
98 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
99 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f0"
100 -1;
101 "binpoly: 0x800000000000000000000000000000000000000c9
102 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
103 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
104 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
105 0;
106 "binpoly: 0x800000000000000000000000000000000000000c9
107 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
45c0fd36 108 "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
bc985cef 109 0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c"
110 0;
111}
112
113find {
114 "prime: 6277101735386680763835789423207666416083908700390324961279
115 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
116 0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012
117 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
118 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811";
119 "prime: 6277101735386680763835789423207666416083908700390324961279
120 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
121 0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1011 inf;
122 "prime: 6277101735386680763835789423207666416083908700390324961279
123 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
124 0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
45c0fd36 125 "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
6ca13db8 126 0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
bc985cef 127
f46efa79 128 "niceprime: 6277101735386680763835789423207666416083908700390324961279
129 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
130 0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012
131 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
132 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811";
133 "niceprime: 6277101735386680763835789423207666416083908700390324961279
134 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
135 0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1011 inf;
136 "niceprime: 6277101735386680763835789423207666416083908700390324961279
137 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
138 0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411
45c0fd36 139 "0x188da80eb03090f67cbf20eb43a18801f4ff0afd82ff1411,
6ca13db8 140 0x2330e62c1895405fa2ad63f8a8a0ab35b05a0360c2133db9";
f46efa79 141
d032072f
MW		 142 "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
143 0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a
144 "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
145
bc985cef 146 "binpoly: 0x800000000000000000000000000000000000000c9
147 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
148 0x3f0eba16286a2d57ea0991168d4994637e8343e36
149 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
150 0x325f41d0ef702dc310254c42d65851a3b91471ac7";
151 "binpoly: 0x800000000000000000000000000000000000000c9
152 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
153 0x310eba16386a2d57ea0591168d4997637e8745e36 inf;
154 "binpoly: 0x800000000000000000000000000000000000000c9
155 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
156 0x3f0eba16286a2d57ea0591168d4994637e8343e36
45c0fd36 157 "0x3f0eba16286a2d57ea0591168d4994637e8343e36,
bc985cef 158 0x7fa8423c5ae194b56cdf21998ad8a721ef1201b8c";
159}
160
161neg {
162 "prime: 6277101735386680763835789423207666416083908700390324961279
163 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
164 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
165 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
166 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
167 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
168 "prime: 6277101735386680763835789423207666416083908700390324961279
169 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
170 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
171 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
172 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
173 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
174
fac18421
MW		 175 "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
176 "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0"
177 "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
178 "niceprime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
179 "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0"
180 "0xcdf65dc6c906c5c240dba0d156b911614abe806fa2b8dc0a, 0";
181
f46efa79 182 "niceprime: 6277101735386680763835789423207666416083908700390324961279
183 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
184 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
185 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
186 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
187 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
188 "niceprime: 6277101735386680763835789423207666416083908700390324961279
189 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
190 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
191 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
192 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
193 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
194
bc985cef 195 "binpoly: 0x800000000000000000000000000000000000000c9
196 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
197 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
198 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
199 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
200 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
201 "binpoly: 0x800000000000000000000000000000000000000c9
202 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
203 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
204 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
205 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
206 0x0d51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
207}
208
209dbl {
1ccdb13a 210 "prime: 23 prime: 1, 1" "4, 0" inf;
211 "prime: 23 primeproj: 1, 1" "4, 0" inf;
212
bc985cef 213 "prime: 6277101735386680763835789423207666416083908700390324961279
214 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
215 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
216 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
217 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
218 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
219 "prime: 6277101735386680763835789423207666416083908700390324961279
220 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
221 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
222 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
223 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
224 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
225
f46efa79 226 "niceprime: 6277101735386680763835789423207666416083908700390324961279
227 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
228 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
229 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
230 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
231 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
232 "niceprime: 6277101735386680763835789423207666416083908700390324961279
233 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
234 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
235 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
236 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
237 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
238
bc985cef 239 "binpoly: 0x800000000000000000000000000000000000000c9
240 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
241 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
242 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
243 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
244 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
245 "binpoly: 0x800000000000000000000000000000000000000c9
246 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
247 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
248 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
249 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
250 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
432c4e18 251
252 "binpoly: 0x020000000000000000000000000000200000000000000001
253 bin: 0, 0x1ee9"
45c0fd36 254 "0x18, 0xd"
432c4e18 255 "0x1bd555555555555555555555555554e8000000000000158,
256 0x14e999999999999999999999999998d7000000000001fe6";
bc985cef 257}
258
259add {
260 "prime: 6277101735386680763835789423207666416083908700390324961279
261 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
262 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
263 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
264 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
265 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
266 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
267 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
268 "prime: 6277101735386680763835789423207666416083908700390324961279
269 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
270 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
271 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
272 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
273 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
274 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
275 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
276
f46efa79 277 "niceprime: 6277101735386680763835789423207666416083908700390324961279
278 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
279 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
280 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
281 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
282 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
283 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
284 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
285 "niceprime: 6277101735386680763835789423207666416083908700390324961279
286 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
287 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
288 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
289 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
290 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab"
291 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
292 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd";
293
bc985cef 294 "binpoly: 0x800000000000000000000000000000000000000c9
295 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
296 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
297 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
298 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
299 0x49ed3be7f510e30e2462c517ad39038e493fc573c"
300 "0x634000577f86aa315009d6f9b906691f6edd691fe,
301 0x235a3db7a94446301e666cafea5e12cb331f4a140";
302 "binpoly: 0x800000000000000000000000000000000000000c9
303 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
304 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
305 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
306 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
307 0x49ed3be7f510e30e2462c517ad39038e493fc573c"
308 "0x634000577f86aa315009d6f9b906691f6edd691fe,
309 0x235a3db7a94446301e666cafea5e12cb331f4a140";
310}
311
312sub {
313 "prime: 6277101735386680763835789423207666416083908700390324961279
314 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
315 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
316 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
317 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
318 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
319 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
320 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
321 "prime: 6277101735386680763835789423207666416083908700390324961279
322 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
323 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
324 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
325 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
326 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
327 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
328 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
329
f46efa79 330 "niceprime: 6277101735386680763835789423207666416083908700390324961279
331 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
332 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
333 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
334 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
335 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
336 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
337 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
338 "niceprime: 6277101735386680763835789423207666416083908700390324961279
339 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
340 "0x76e32a2557599e6edcd283201fb2b9aadfd0d359cbb263da,
341 0x782c37e372ba4520aa62e0fed121d49ef3b543660cfd05fd"
342 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
343 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
344 "0xdafebf5828783f2ad35534631588a3f629a70fb16982a888,
345 0xdd6bda0d993da0fa46b27bbc141b868f59331afa5c7e93ab";
346
bc985cef 347 "binpoly: 0x800000000000000000000000000000000000000c9
348 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
349 "0x634000577f86aa315009d6f9b906691f6edd691fe,
350 0x235a3db7a94446301e666cafea5e12cb331f4a140"
351 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
352 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
353 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
354 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
355 "binpoly: 0x800000000000000000000000000000000000000c9
356 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
357 "0x634000577f86aa315009d6f9b906691f6edd691fe,
358 0x235a3db7a94446301e666cafea5e12cb331f4a140"
359 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
360 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
361 "0x1aeb33fed9c49e0200a0c561ea66d5ab85bd4c2d4,
362 0x49ed3be7f510e30e2462c517ad39038e493fc573c";
363}
364
365mul {
1ccdb13a 366 "prime: 23 prime: 1, 1" "0, 1" 28 inf;
367 "prime: 23 prime: 1, 1" "0, 1" 29 "0, 1";
368 "prime: 23 primeproj: 1, 1" "0, 1" 28 inf;
369 "prime: 23 primeproj: 1, 1" "0, 1" 29 "0, 1";
370
bc985cef 371 "prime: 6277101735386680763835789423207666416083908700390324961279
372 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
373 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
374 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
375 6277101735386680763835789423176059013767194773182842284080
376 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
45c0fd36 377 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
bc985cef 378 "prime: 6277101735386680763835789423207666416083908700390324961279
379 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
380 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
381 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
382 6277101735386680763835789423176059013767194773182842284081
383 inf;
384 "prime: 6277101735386680763835789423207666416083908700390324961279
385 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
386 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
387 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
388 6277101735386680763835789423176059013767194773182842284080
389 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
45c0fd36 390 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
bc985cef 391 "prime: 6277101735386680763835789423207666416083908700390324961279
392 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
393 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
394 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
395 6277101735386680763835789423176059013767194773182842284081
396 inf;
397
f46efa79 398 "niceprime: 6277101735386680763835789423207666416083908700390324961279
399 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
400 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
401 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
402 6277101735386680763835789423176059013767194773182842284080
403 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
45c0fd36 404 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
f46efa79 405 "niceprime: 6277101735386680763835789423207666416083908700390324961279
406 prime: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
407 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
408 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
409 6277101735386680763835789423176059013767194773182842284081
410 inf;
411 "niceprime: 6277101735386680763835789423207666416083908700390324961279
412 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
413 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
414 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
415 6277101735386680763835789423176059013767194773182842284080
416 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
45c0fd36 417 0xf8e6d46a003725879cefee1294db32298c06885ee186b7ee";
f46efa79 418 "niceprime: 6277101735386680763835789423207666416083908700390324961279
419 primeproj: -3, 0x64210519e59c80e70fa7e9ab72243049feb8deecc146b9b1"
420 "0x188da80eb03090f67cbf20eb43a18800f4ff0afd82ff1012,
421 0x07192b95ffc8da78631011ed6b24cdd573f977a11e794811"
422 6277101735386680763835789423176059013767194773182842284081
423 inf;
424
bc985cef 425 "binpoly: 0x800000000000000000000000000000000000000c9
426 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
427 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
428 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
429 5846006549323611672814742442876390689256843201586
430 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
431 0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
432 "binpoly: 0x800000000000000000000000000000000000000c9
433 bin: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
434 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
435 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
436 5846006549323611672814742442876390689256843201587
437 inf;
438 "binpoly: 0x800000000000000000000000000000000000000c9
439 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
440 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
441 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
442 5846006549323611672814742442876390689256843201586
443 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
444 0xd51fbc6c71a0094fa2cdd545b11c5c0c797324f1";
445 "binpoly: 0x800000000000000000000000000000000000000c9
446 binproj: 1, 0x20a601907b8c953ca1481eb10512f78744a3205fd"
447 "0x3f0eba16286a2d57ea0991168d4994637e8343e36,
448 0x325f41d0ef702dc310254c42d65851a3b91471ac7"
449 5846006549323611672814742442876390689256843201587
450 inf;
f46efa79 451
20095408 452 "binpoly: 0x800000000000000000000000000000000000000c9; bin: 1, 1"
f46efa79 453 "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
454 0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
455 5846006549323611672814741753598448348329118574063
456 inf;
20095408 457 "binpoly: 0x800000000000000000000000000000000000000c9; binproj: 1, 1"
f46efa79 458 "0x2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8,
459 0x289070fb05d38ff58321f2e800536d538ccdaa3d9"
460 5846006549323611672814741753598448348329118574063
461 inf;
bc985cef 462}
Catacomb cryptographic library