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