1use super::poseidon2_params::Poseidon2Params;
2
3use crate::fields::{bls12::FpBLS12, utils::from_hex};
4
5use lazy_static::lazy_static;
6use std::sync::Arc;
7
8type Scalar = FpBLS12;
9
10lazy_static! {
11 pub static ref MAT_DIAG2_M_1: Vec<Scalar> = vec![
12 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
13 from_hex("0x0000000000000000000000000000000000000000000000000000000000000002"),
14 ];
15 pub static ref MAT_INTERNAL2: Vec<Vec<Scalar>> = vec![
16 vec![
17 from_hex("0x0000000000000000000000000000000000000000000000000000000000000002"),
18 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
19 ],
20 vec![
21 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
22 from_hex("0x0000000000000000000000000000000000000000000000000000000000000003"),
23 ],
24 ];
25 pub static ref RC2: Vec<Vec<Scalar>> = vec![
26 vec![
27 from_hex("0x6267f5556c88257324c1c8b00d5871b2eba13cc39d72aa10dde6b69bc44c41c7"),
28 from_hex("0x30347723511438a085118166c68bf0c4f4ab5c10a2c55adb5cf87cc9e030f60f"),
29 ],
30 vec![
31 from_hex("0x10db856965e40038eb6427303181e7b7439f1a051aa4630c26cf86d0a0451a4b"),
32 from_hex("0x5a3d2dcd541e4faaae7eb143eec847a0f652b6dc1b92e3f39ec23c808b3a5d63"),
33 ],
34 vec![
35 from_hex("0x3b07f0ff7edcf93b1dd0487bc9fab1c6905f9ceee38dcce83efeb3a320398526"),
36 from_hex("0x40c73c524b9fd0fab63128175befe07b5c63ccdde9ca10e1a37205c9607fdf8a"),
37 ],
38 vec![
39 from_hex("0x3a933861cf23752376d94dbb24b0f3c61630787928875c07672b68abfb9191e0"),
40 from_hex("0x71cc165e208570b2d5ef81db84e3c5e714ea4edfb36fc7fb11ef65a64b2d9755"),
41 ],
42 vec![
43 from_hex("0x6c0dc9eb332b5d968bec8ad68fe24ce34087ea54093f153618434475bce402f8"),
44 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
45 ],
46 vec![
47 from_hex("0x0af5bafd335dae5c86967b11d5dcefb986a54c9d60d35eb06dc7a3fd779b3906"),
48 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
49 ],
50 vec![
51 from_hex("0x6e12847918f030f2626c150ab69e4be0f13d202ae1f8bc87ea74323e93372e3b"),
52 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
53 ],
54 vec![
55 from_hex("0x5565d40e21d059a26db241ca125d9316283eadf144b1318e604e253eeae1fe9a"),
56 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
57 ],
58 vec![
59 from_hex("0x608e01b42d3dca09fed9b54eadaaba3e4ce6aefe92b0dc954a0fa4683a9678f2"),
60 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
61 ],
62 vec![
63 from_hex("0x16bbe434b24f94e2c40ed1f4f9bd7d17e5be96c3aec15579b35fd80f0f80de9e"),
64 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
65 ],
66 vec![
67 from_hex("0x0d1be811a8e73220cab01ce981d475522c3d7dd9e2716c3a2cf4ddd541546890"),
68 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
69 ],
70 vec![
71 from_hex("0x5997a3affb18f942868b86f8ee10a68966e90bac7bbd8c65ede7e6e5ef1f6320"),
72 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
73 ],
74 vec![
75 from_hex("0x4d92e86d270041061eec80278079fca771499dea5ccdc99682a953bb3a038b8e"),
76 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
77 ],
78 vec![
79 from_hex("0x616c8c5ce232b9314f694fc6a968446ea9daf7a4079ce1a75fcc950741d680bb"),
80 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
81 ],
82 vec![
83 from_hex("0x677e31e7846d9131bdc350eaf11a8ff918dd258ddd800444424afab34dfdfe3d"),
84 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
85 ],
86 vec![
87 from_hex("0x4e7d7f85aefc110b233525ee3e53851aee7d3241e2a132585e0e25005eee0b0e"),
88 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
89 ],
90 vec![
91 from_hex("0x06a8b4539488b7dddc48c3a226dbda313f906e106f844196d55013d321244f13"),
92 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
93 ],
94 vec![
95 from_hex("0x5091517b6a85783108999f8e6bda3c793bef3f2e9589641d260bdfde8bdef00d"),
96 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
97 ],
98 vec![
99 from_hex("0x0d2703e5b30f54d7f414e901802d54f8c14cd6355415df6e0f063d16bef9c43a"),
100 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
101 ],
102 vec![
103 from_hex("0x56f69096811148eb38eec143d32565c077b3d1a4a4351f2b458f43b1659d4495"),
104 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
105 ],
106 vec![
107 from_hex("0x622d94d38d1ded428afd062008c5709b43a678f6ba518ec56383e8ffba473504"),
108 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
109 ],
110 vec![
111 from_hex("0x2730c607bba7333723a4a44577819b7db82a24574f6d13eee4c856c1ca3de9c7"),
112 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
113 ],
114 vec![
115 from_hex("0x01ac5f59256c5004dc1043c53b23800a3fbab53eb1a83f551056f227b514b9f6"),
116 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
117 ],
118 vec![
119 from_hex("0x0790b92523c973f1c95b94937afbb5796d89481e7a56328b44bab5ba81ae42f3"),
120 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
121 ],
122 vec![
123 from_hex("0x1d63b59d97bc269d13964fb3e8771d0acc749bc83eb2f0372484e266142bb8c0"),
124 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
125 ],
126 vec![
127 from_hex("0x1a52d04e5f14a3a05f7a01262df9e68c77fdf7e2bfb56c8b252d2140efdf0914"),
128 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
129 ],
130 vec![
131 from_hex("0x5aa9b3b808812b284857e8622843a8717fa5cb49b217017f31d79e8d0f963fc0"),
132 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
133 ],
134 vec![
135 from_hex("0x6a3d18fdbeb1d77ec1304539b00e6188786dbbc4435269b4c6281367f42656e3"),
136 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
137 ],
138 vec![
139 from_hex("0x4743e860df269a85dd76fb99dbe9d840eb669dc859754b3f74805e57ba288b00"),
140 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
141 ],
142 vec![
143 from_hex("0x6c32cac3946825f80a434c5ab397fc1a1c6a9bdfaab53175d4cf3d29ddb6cbc6"),
144 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
145 ],
146 vec![
147 from_hex("0x333b0eea5da7ed1e3959d16280a361aa77dd24ecbfb28e1b2583ac4e9894305c"),
148 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
149 ],
150 vec![
151 from_hex("0x3b503fc333b795ccc0c5bb3ae26b077dc3742cb745ec8821648c5ce7ebd9df18"),
152 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
153 ],
154 vec![
155 from_hex("0x4fa5853188d9f728a17532d94bee6fb28fee510380a5d50927c6c5b1ce283444"),
156 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
157 ],
158 vec![
159 from_hex("0x5d2ed8a6603a905bac490ebfb9e6c18f0bc9da1bbc2173291b18de6b6186118f"),
160 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
161 ],
162 vec![
163 from_hex("0x2d830a53584c5556264852f075c78f7f9eb068016ae88af9cda933d6ae52eca7"),
164 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
165 ],
166 vec![
167 from_hex("0x0250f4d6780ad29ae60e55f135b9ac80ccc7c81e3add37db276c26f1a2b1b86e"),
168 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
169 ],
170 vec![
171 from_hex("0x6e3e9595f59220599e23e830728d4a0c4d62515ec1ed10b72446cf4df5b4c308"),
172 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
173 ],
174 vec![
175 from_hex("0x2cd3314555d6faf23ee90cdb884f1c4697ebe98e3a450a624c4d896233b93cd5"),
176 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
177 ],
178 vec![
179 from_hex("0x584a408d0f370543b8413fee70a060a394e561f504d8679f7bece4bf222e4108"),
180 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
181 ],
182 vec![
183 from_hex("0x499cd53437b9fcbf7479c00fcc21295759074ce9bd1bb1fbd3460237aef4759e"),
184 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
185 ],
186 vec![
187 from_hex("0x56a9b567bd0646effd0608d74d537991136098d9a06af6cb3ff8f010efb57578"),
188 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
189 ],
190 vec![
191 from_hex("0x6a5fae2b00d968b931441b374e27ba4d03b306bd602d48731677169e75a67e8c"),
192 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
193 ],
194 vec![
195 from_hex("0x2e1cc28e390e64aa1d60edb99c0aeda7c8c32bdb01ba11abbad5026b46eccb27"),
196 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
197 ],
198 vec![
199 from_hex("0x2d4820000675df7c276beac408fe2e851e734a7008ae09bbcb3c96c70024f71b"),
200 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
201 ],
202 vec![
203 from_hex("0x0c2fe101a2b52b538b902c6b2dc992cb266f7636e05b0c068385b5fa19e97142"),
204 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
205 ],
206 vec![
207 from_hex("0x209b790b78c0e7927c6a178ef2f00b8687fc7bd4f21a9e02578551535002bc95"),
208 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
209 ],
210 vec![
211 from_hex("0x2dd0926cf56bbaaec6491513d08a9983f94a910852a7b4ea4bd4222b93e14c10"),
212 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
213 ],
214 vec![
215 from_hex("0x4316b39dd7d65b1bb575198104d409b169236a7ade371f7ab176fcbae75a5f0d"),
216 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
217 ],
218 vec![
219 from_hex("0x540276d61041b91f6ea3068ec260a9338b6e3da15d934e648c24f35aee04e535"),
220 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
221 ],
222 vec![
223 from_hex("0x37af612900b839977b146324c84772c58a4ccc0f6494cc054571827e74bfd2d3"),
224 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
225 ],
226 vec![
227 from_hex("0x2af00c93d59ed14c9911e5cb3781d772371e83228e4267bbce11d065c1955338"),
228 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
229 ],
230 vec![
231 from_hex("0x62b48779b0cf7ff2c10fd9b91a6ff7b7a99f935e961a5a94aa38f9d4f71c8b4c"),
232 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
233 ],
234 vec![
235 from_hex("0x540bf5bbe01f28563bcbe11a2ce346d8231a2cdd0fe07641f9fa89e5c21978e3"),
236 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
237 ],
238 vec![
239 from_hex("0x232b6c847a6d23912cb10ecbe50b53491f67f71e9b87a4a30446f2218017874b"),
240 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
241 ],
242 vec![
243 from_hex("0x0ab34adbe77b8f1e57a370e4fd626071eea74b3f0b66644a629efaa0e96456c0"),
244 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
245 ],
246 vec![
247 from_hex("0x1a83e43ef118c90046b1bdbeab8dd5cdcab632807c2cd0dc9147cbc5b7084be8"),
248 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
249 ],
250 vec![
251 from_hex("0x1ec6fa41b41b672d9005468720918130b642567462a3d557a595d4dc6c56f2f9"),
252 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
253 ],
254 vec![
255 from_hex("0x01f81a153199a751a111b8f5212cfc5bf82aacf0287d03e1864f8e5713fe4a17"),
256 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
257 ],
258 vec![
259 from_hex("0x2617307587a675f4ecd73a54a7b206162d751cabf3d9fd007bcca4de2c6f0649"),
260 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
261 ],
262 vec![
263 from_hex("0x1647be94c515178c7974a245624b642bb1ae6e2d4e1682087e362d7f98bc953f"),
264 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
265 ],
266 vec![
267 from_hex("0x6e690b956e00b9e339dec49d675586f661f9b081ee3fa7696d73977658aa6fea"),
268 from_hex("0x660b85bc22de06d476c47bf084ad436f59874f1d630c0f5c91fbef51d5e738c5"),
269 ],
270 vec![
271 from_hex("0x32bf3d451b69dde075fc370eaa8c1b77b5c0bc2aab1c7b46da7ef9d1840b0419"),
272 from_hex("0x73924b40beaa9c1ce4074c2154d1af4d658c09395a568b99b2fbcc3b5685e810"),
273 ],
274 vec![
275 from_hex("0x17cbb3ee0adcb9d977e96e9152b36042925244fdd0aa184c7a89a58a2dc40097"),
276 from_hex("0x29d76a821e3220775c552f6b5977ab94956e52b8dac36ef88ace050d553766a3"),
277 ],
278 vec![
279 from_hex("0x62b1a6c06ab26881a1fe57eceac56b5aec0b96da7211557f4e27ec24296d7db6"),
280 from_hex("0x0dfc474151e5c605a693a51ae8227cc0a99fdc4524fc2810c6eda9035d04334d"),
281 ],
282 ];
283 pub static ref MAT_DIAG3_M_1: Vec<Scalar> = vec![
284 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
285 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
286 from_hex("0x0000000000000000000000000000000000000000000000000000000000000002"),
287 ];
288 pub static ref MAT_INTERNAL3: Vec<Vec<Scalar>> = vec![
289 vec![
290 from_hex("0x0000000000000000000000000000000000000000000000000000000000000002"),
291 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
292 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
293 ],
294 vec![
295 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
296 from_hex("0x0000000000000000000000000000000000000000000000000000000000000002"),
297 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
298 ],
299 vec![
300 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
301 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
302 from_hex("0x0000000000000000000000000000000000000000000000000000000000000003"),
303 ],
304 ];
305 pub static ref RC3: Vec<Vec<Scalar>> = vec![
306 vec![
307 from_hex("0x6f007a551156b3a449e44936b7c093644a0ed33f33eaccc628e942e836c1a875"),
308 from_hex("0x360d7470611e473d353f628f76d110f34e71162f31003b7057538c2596426303"),
309 from_hex("0x4b5fec3aa073df44019091f007a44ca996484965f7036dce3e9d0977edcdc0f6"),
310 ],
311 vec![
312 from_hex("0x67cf1868af6396c0b84cce715e539f849e06cd1c383ac5b06100c76bcc973a11"),
313 from_hex("0x555db4d1dced819f5d3de70fde83f1c7d3e8c98968e516a23a771a5c9c8257aa"),
314 from_hex("0x2bab94d7ae222d135dc3c6c5febfaa314908ac2f12ebe06fbdb74213bf63188b"),
315 ],
316 vec![
317 from_hex("0x66f44be5296682c4fa7882799d6dd049b6d7d2c950ccf98cf2e50d6d1ebb77c2"),
318 from_hex("0x150c93fef652fb1c2bf03e1a29aa871fef77e7d736766c5d0939d92753cc5dc8"),
319 from_hex("0x3270661e68928b3a955d55db56dc57c103cc0a60141e894e14259dce537782b2"),
320 ],
321 vec![
322 from_hex("0x073f116f04122e25a0b7afe4e2057299b407c370f2b5a1ccce9fb9ffc345afb3"),
323 from_hex("0x409fda22558cfe4d3dd8dce24f69e76f8c2aaeb1dd0f09d65e654c71f32aa23f"),
324 from_hex("0x2a32ec5c4ee5b1837affd09c1f53f5fd55c9cd2061ae93ca8ebad76fc71554d8"),
325 ],
326 vec![
327 from_hex("0x5848ebeb5923e92555b7124fffba5d6bd571c6f984195eb9cfd3a3e8eb55b1d4"),
328 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
329 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
330 ],
331 vec![
332 from_hex("0x270326ee039df19e651e2cfc740628ca634d24fc6e2559f22d8ccbe292efeead"),
333 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
334 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
335 ],
336 vec![
337 from_hex("0x27c6642ac633bc66dc100fe7fcfa54918af895bce012f182a068fc37c182e274"),
338 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
339 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
340 ],
341 vec![
342 from_hex("0x1bdfd8b01401c70ad27f57396989129d710e1fb6ab976a459ca18682e26d7ff9"),
343 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
344 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
345 ],
346 vec![
347 from_hex("0x491b9ba6983bcf9f05fe4794adb44a30879bf8289662e1f57d90f672414e8a4a"),
348 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
349 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
350 ],
351 vec![
352 from_hex("0x162a14c62f9a89b814b9d6a9c84dd678f4f6fb3f9054d373c832d824261a35ea"),
353 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
354 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
355 ],
356 vec![
357 from_hex("0x2d193e0f76de586b2af6f79e3127feeaac0a1fc71e2cf0c0f79824667b5b6bec"),
358 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
359 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
360 ],
361 vec![
362 from_hex("0x46efd8a9a262d6d8fdc9ca5c04b0982f24ddcc6e9863885a6a732a3906a07b95"),
363 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
364 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
365 ],
366 vec![
367 from_hex("0x509717e0c200e3c92d8dca2973b3db45f0788294351ad07ae75cbb780693a798"),
368 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
369 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
370 ],
371 vec![
372 from_hex("0x7299b28464a8c94fb9d4df61380f39c0dca9c2c014118789e227252820f01bfc"),
373 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
374 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
375 ],
376 vec![
377 from_hex("0x044ca3cc4a85d73b81696ef1104e674f4feff82984990ff85d0bf58dc8a4aa94"),
378 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
379 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
380 ],
381 vec![
382 from_hex("0x1cbaf2b371dac6a81d0453416d3e235cb8d9e2d4f314f46f6198785f0cd6b9af"),
383 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
384 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
385 ],
386 vec![
387 from_hex("0x1d5b2777692c205b0e6c49d061b6b5f4293c4ab038fdbbdc343e07610f3fede5"),
388 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
389 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
390 ],
391 vec![
392 from_hex("0x56ae7c7a5293bdc23e85e1698c81c77f8ad88c4b33a5780437ad047c6edb59ba"),
393 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
394 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
395 ],
396 vec![
397 from_hex("0x2e9bdbba3dd34bffaa30535bdd749a7e06a9adb0c1e6f962f60e971b8d73b04f"),
398 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
399 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
400 ],
401 vec![
402 from_hex("0x2de11886b18011ca8bd5bae36969299fde40fbe26d047b05035a13661f22418b"),
403 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
404 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
405 ],
406 vec![
407 from_hex("0x2e07de1780b8a70d0d5b4a3f1841dcd82ab9395c449be947bc998884ba96a721"),
408 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
409 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
410 ],
411 vec![
412 from_hex("0x0f69f1854d20ca0cbbdb63dbd52dad16250440a99d6b8af3825e4c2bb74925ca"),
413 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
414 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
415 ],
416 vec![
417 from_hex("0x5dc987318e6e59c1afb87b655dd58cc1d22e513a05838cd4585d04b135b957ca"),
418 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
419 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
420 ],
421 vec![
422 from_hex("0x48b725758571c9df6c01dc639a85f07297696b1bb678633a29dc91de95ef53f6"),
423 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
424 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
425 ],
426 vec![
427 from_hex("0x5e565e08c0821099256b56490eaee1d573afd10bb6d17d13ca4e5c611b2a3718"),
428 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
429 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
430 ],
431 vec![
432 from_hex("0x2eb1b25417fe17670d135dc639fb09a46ce5113507f96de9816c059422dc705e"),
433 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
434 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
435 ],
436 vec![
437 from_hex("0x115cd0a0643cfb988c24cb44c3fab48aff36c661d26cc42db8b1bdf4953bd82c"),
438 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
439 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
440 ],
441 vec![
442 from_hex("0x26ca293f7b2c462d066d7378b999868bbb57ddf14e0f958ade801612311d04cd"),
443 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
444 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
445 ],
446 vec![
447 from_hex("0x4147400d8e1aaccf311a6b5b762011ab3e45326e4d4b9de26992816b99c528ac"),
448 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
449 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
450 ],
451 vec![
452 from_hex("0x6b0db7dccc4ba1b268f6bdcc4d372848d4a72976c268ea30519a2f73e6db4d55"),
453 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
454 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
455 ],
456 vec![
457 from_hex("0x17bf1b93c4c7e01a2a830aa162412cd90f160bf9f71e967ff5209d14b24820ca"),
458 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
459 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
460 ],
461 vec![
462 from_hex("0x4b431cd9efedbc94cf1eca6f9e9c1839d0e66a8bffa8c8464cac81a39d3cf8f1"),
463 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
464 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
465 ],
466 vec![
467 from_hex("0x35b41a7ac4f3c571a24f8456369c85dfe03c0354bd8cfd3805c86f2e7dc293c5"),
468 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
469 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
470 ],
471 vec![
472 from_hex("0x3b1480080523c439435927994849bea964e14d3beb2dddde72ac156af435d09e"),
473 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
474 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
475 ],
476 vec![
477 from_hex("0x2cc6810031dc1b0d4950856dc907d57508e286442a2d3eb2271618d874b14c6d"),
478 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
479 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
480 ],
481 vec![
482 from_hex("0x6f4141c8401c5a395ba6790efd71c70c04afea06c3c92826bcabdd5cb5477d51"),
483 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
484 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
485 ],
486 vec![
487 from_hex("0x25bdbbeda1bde8c1059618e2afd2ef999e517aa93b78341d91f318c09f0cb566"),
488 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
489 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
490 ],
491 vec![
492 from_hex("0x392a4a8758e06ee8b95f33c25dde8ac02a5ed0a27b61926cc6313487073f7f7b"),
493 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
494 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
495 ],
496 vec![
497 from_hex("0x272a55878a08442b9aa6111f4de009485e6a6fd15db89365e7bbcef02eb5866c"),
498 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
499 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
500 ],
501 vec![
502 from_hex("0x631ec1d6d28dd9e824ee89a30730aef7ab463acfc9d184b355aa05fd6938eab5"),
503 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
504 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
505 ],
506 vec![
507 from_hex("0x4eb6fda10fd0fbde02c7449bfbddc35bcd8225e7e5c3833a0818a100409dc6f2"),
508 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
509 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
510 ],
511 vec![
512 from_hex("0x2d5b308b0cf02cdfefa13c4e60e26239a6ebba011694dd129b925b3c5b21e0e2"),
513 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
514 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
515 ],
516 vec![
517 from_hex("0x16549fc6af2f3b72dd5d293d72e2e5f244dff42f18b46c56ef38c57c311673ac"),
518 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
519 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
520 ],
521 vec![
522 from_hex("0x42332677ff359c5e8db836d9f5fb54822e39bd5e22340bb9ba975ba1a92be382"),
523 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
524 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
525 ],
526 vec![
527 from_hex("0x49d7d2c0b449e5179bc5ccc3b44c6075d9849b5610465f09ea725ddc97723a94"),
528 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
529 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
530 ],
531 vec![
532 from_hex("0x64c20fb90d7a003831757cc4c6226f6e4985fc9ecb416b9f684ca0351d967904"),
533 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
534 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
535 ],
536 vec![
537 from_hex("0x59cff40de83b52b41bc443d7979510d771c940b9758ca820fe73b5c8d5580934"),
538 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
539 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
540 ],
541 vec![
542 from_hex("0x53db2731730c39b04edd875fe3b7c882808285cdbc621d7af4f80dd53ebb71b0"),
543 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
544 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
545 ],
546 vec![
547 from_hex("0x1b10bb7a82afce39fa69c3a2ad52f76d76398265344203119b7126d9b46860df"),
548 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
549 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
550 ],
551 vec![
552 from_hex("0x561b6012d666bfe179c4dd7f84cdd1531596d3aac7c5700ceb319f91046a63c9"),
553 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
554 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
555 ],
556 vec![
557 from_hex("0x0f1e7505ebd91d2fc79c2df7dc98a3bed1b36968ba0405c090d27f6a00b7dfc8"),
558 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
559 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
560 ],
561 vec![
562 from_hex("0x2f313faf0d3f6187537a7497a3b43f46797fd6e3f18eb1caff457756b819bb20"),
563 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
564 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
565 ],
566 vec![
567 from_hex("0x3a5cbb6de450b481fa3ca61c0ed15bc55cad11ebf0f7ceb8f0bc3e732ecb26f6"),
568 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
569 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
570 ],
571 vec![
572 from_hex("0x681d93411bf8ce63f6716aefbd0e24506454c0348ee38fabeb264702714ccf94"),
573 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
574 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
575 ],
576 vec![
577 from_hex("0x5178e940f50004312646b436727f0e80a7b8f2e9ee1fdc677c4831a7672777fb"),
578 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
579 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
580 ],
581 vec![
582 from_hex("0x3dab54bc9bef688dd92086e253b439d651baa6e20f892b62865527cbca915982"),
583 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
584 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
585 ],
586 vec![
587 from_hex("0x4b3ce75311218f9ae905f84eaa5b2b3818448bbf3972e1aad69de321009015d0"),
588 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
589 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
590 ],
591 vec![
592 from_hex("0x06dbfb42b979884de280d31670123f744c24b33b410fefd4368045acf2b71ae3"),
593 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
594 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
595 ],
596 vec![
597 from_hex("0x068d6b4608aae810c6f039ea1973a63eb8d2de72e3d2c9eca7fc32d22f18b9d3"),
598 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
599 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
600 ],
601 vec![
602 from_hex("0x4c5c254589a92a36084a57d3b1d964278acc7e4fe8f69f2955954f27a79cebef"),
603 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
604 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
605 ],
606 vec![
607 from_hex("0x6cbac5e1700984ebc32da15b4bb9683faabab55f67ccc4f71d9560b3475a77eb"),
608 from_hex("0x4603c403bbfa9a17738a5c6278eaab1c37ec30b0737aa2409fc4898069eb983c"),
609 from_hex("0x6894e7e22b2c1d5c70a712a6345ae6b192a9c833a9234c31c56aacd16bc2f100"),
610 ],
611 vec![
612 from_hex("0x5be2cbbc44053ad08afa4d1eabc7f3d231eea799b93f226e905b7d4d65c58ebb"),
613 from_hex("0x58e55f287b453a9808624a8c2a353d528da0f7e713a5c6d0d7711e47063fa611"),
614 from_hex("0x366ebfafa3ad381c0ee258c9b8fdfccdb868a7d7e1f1f69a2b5dfcc5572555df"),
615 ],
616 vec![
617 from_hex("0x45766ab728968c642f90d97ccf5504ddc10518a819ebbcc4d09c3f5d784d67ce"),
618 from_hex("0x39678f65512f1ee404db3024f41d3f567ef66d89d044d022e6bc229e95bc76b1"),
619 from_hex("0x463aed1d2f1f955e3078be5bf7bfc46fc0eb8c51551906a8868f18ffae30cf4f"),
620 ],
621 vec![
622 from_hex("0x21668f016a8063c0d58b7750a3bc2fe1cf82c25f99dc01a4e534c88fe53d85fe"),
623 from_hex("0x39d00994a8a5046a1bc749363e98a768e34dea56439fe1954bef429bc5331608"),
624 from_hex("0x4d7f5dcd78ece9a933984de32c0b48fac2bba91f261996b8e9d1021773bd07cc"),
625 ],
626 ];
627 pub static ref MAT_DIAG4_M_1: Vec<Scalar> = vec![
628 from_hex("0x07564ad691bf01c8601d68757a561d224f00f313ada673ab83e6255fb4fd5b3d"),
629 from_hex("0x6184e3be38549f7c0850cd069b32f6decbfde312dd4b8c18349b1b3776a6eaa4"),
630 from_hex("0x419289088178ad742be6f78425c0156b6546a18fd338f0169937dea46cfb64d2"),
631 from_hex("0x3244cdec173b71a4659e2529b499362dac10cb2fd17562860c8bb9d0fd45b787"),
632 ];
633 pub static ref MAT_INTERNAL4: Vec<Vec<Scalar>> = vec![
634 vec![
635 from_hex("0x07564ad691bf01c8601d68757a561d224f00f313ada673ab83e6255fb4fd5b3e"),
636 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
637 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
638 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
639 ],
640 vec![
641 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
642 from_hex("0x6184e3be38549f7c0850cd069b32f6decbfde312dd4b8c18349b1b3776a6eaa5"),
643 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
644 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
645 ],
646 vec![
647 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
648 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
649 from_hex("0x419289088178ad742be6f78425c0156b6546a18fd338f0169937dea46cfb64d3"),
650 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
651 ],
652 vec![
653 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
654 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
655 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
656 from_hex("0x3244cdec173b71a4659e2529b499362dac10cb2fd17562860c8bb9d0fd45b788"),
657 ],
658 ];
659 pub static ref RC4: Vec<Vec<Scalar>> = vec![
660 vec![
661 from_hex("0x1a3bdcbfc11dabfb6ed0dd5f5a9b38191488bce9eecd811c10f9378b32db8c61"),
662 from_hex("0x52b733e857912fdd2248dc9638dd79b1ce18b285b27792238b44c2b23c0f5d5f"),
663 from_hex("0x47d6df02d73e6c78ced550ec8df1a459ac41f318d8b904a37652b581b2b766b8"),
664 from_hex("0x11ec284726dddcf3cbb2b81862c9cd95e9de81ce0317302e1ef432d59b913388"),
665 ],
666 vec![
667 from_hex("0x19e21d749905904f3e10cd57f7817c2564c06ec1b1e229def2129e79a7a77738"),
668 from_hex("0x6eeecf4c83e1ec164217f3c00956d83c3bd845bee2d86b263cf3bf89a345e5e1"),
669 from_hex("0x10d5808ab47295f7a950dc72f968398b9c67426a217811b9bd7e97f2a261992f"),
670 from_hex("0x25d334fbadcbfd26449c4ce1472f961f7d401a3ddf40a70af5c10ac9176d151b"),
671 ],
672 vec![
673 from_hex("0x3ef8a46ec07ee551ecba60b1601cbf6e3664418331a254729b7c6a5c3d13a6c6"),
674 from_hex("0x30d373e298c09d2a6efe661d708fcfa6163dc61ae1eb103d98cf88c63e482125"),
675 from_hex("0x18769839949b2dda9ef3f111acd86e10250ffad4c4c4263ea970e4f4726cfad7"),
676 from_hex("0x2c941286d1534ff3be3a66f9dd59833e65b1fa67db23511f7b4b2ae3b3d66bc9"),
677 ],
678 vec![
679 from_hex("0x08b6d9c90b4139ea70497ac8a22b30fb9b76b8ceabf70449d282b57d98c60ddd"),
680 from_hex("0x3a8a2dd917222a71ca678b5c0a803a43c62de2f2c9fe37931b5b2a017fe64638"),
681 from_hex("0x2dc17308abd0e731b3cffafd296cc3e6e2403dc563baa1c797a68da9754dd207"),
682 from_hex("0x1d04e542f54431c23f9d1812392a0c87203144e343c459d3ee640b04e203be6c"),
683 ],
684 vec![
685 from_hex("0x500760e2ef6bf463fdecbf7b47f4adaa8214c797e59359439d63169e1cdb9dfb"),
686 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
687 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
688 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
689 ],
690 vec![
691 from_hex("0x61f36faac1c12d756dcc3b5491f2b22565409a4e952b8f8e726ee126c0e1c0e6"),
692 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
693 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
694 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
695 ],
696 vec![
697 from_hex("0x49e72db524a48243849fea068e58d0c078b0c738cd482a2e2160602657456ccb"),
698 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
699 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
700 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
701 ],
702 vec![
703 from_hex("0x4a74677fff94821e97b20b86063c36d35c6a2908c0a19a9f130edde9c8ceb6b5"),
704 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
705 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
706 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
707 ],
708 vec![
709 from_hex("0x62d27fd5080b44a436e13066ce1c80ddef2af086c2a4806bd99fa02de9726ded"),
710 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
711 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
712 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
713 ],
714 vec![
715 from_hex("0x15a26c92fc51dd285a61c2c1379f6731377aeb29c62696aa6a9c109c2991f200"),
716 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
717 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
718 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
719 ],
720 vec![
721 from_hex("0x1db900a5e9b2685be9f8f02498123ac71bd7bfa40b6853ab527a8d2512b9aefb"),
722 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
723 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
724 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
725 ],
726 vec![
727 from_hex("0x6ff755d237742498e0b78829cd8358bdb831e96fef08eb192b7e334123080afa"),
728 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
729 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
730 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
731 ],
732 vec![
733 from_hex("0x1595447e5b94a64c8b3681f57068e19ee3696440ef785e35123886311f48cd1e"),
734 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
735 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
736 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
737 ],
738 vec![
739 from_hex("0x2b0eabc08eef3abae3304cbb2efc67e7b437bd96b6f7d175daed6da5a2144e8b"),
740 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
741 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
742 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
743 ],
744 vec![
745 from_hex("0x3a345ee8e715f3226e52838652219202efb4e6d4f057f904d69d3fbd781e39f5"),
746 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
747 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
748 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
749 ],
750 vec![
751 from_hex("0x49eb2a07b5da81b57b7aa4fab19e691f9a684baef4cfb5afb6f46d23cbf1a9cd"),
752 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
753 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
754 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
755 ],
756 vec![
757 from_hex("0x3051663ef7de7674506f2c873409725363849564815b8bd291f00b9c60b4daf0"),
758 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
759 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
760 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
761 ],
762 vec![
763 from_hex("0x041a632a7bc167f67ca9c3825021a05b13f81f814ee101d37716e12efec3121f"),
764 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
765 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
766 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
767 ],
768 vec![
769 from_hex("0x6a5ae006b70bfebc1a485eed2c078654dc0f10514e8c739ca2a7019f42444ce5"),
770 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
771 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
772 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
773 ],
774 vec![
775 from_hex("0x0f3dba730b64dda2bc2eaa50ede0fcaa86a37c74c3a17be97a9d969fca21fb37"),
776 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
777 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
778 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
779 ],
780 vec![
781 from_hex("0x6d6c02004f2a4cbb965f9e73799041fafb49f61aee66232f45ae09972af08e86"),
782 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
783 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
784 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
785 ],
786 vec![
787 from_hex("0x60391f436a32fdb0eeba8578313579c04c48c126f4eb6a0c49e249ff1c1fbf4a"),
788 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
789 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
790 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
791 ],
792 vec![
793 from_hex("0x570a30710a42539d4440ce9a2cc7d9ac102409a188960d0fbd249fc4352bf3e5"),
794 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
795 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
796 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
797 ],
798 vec![
799 from_hex("0x35cb6ce55352599332471ad8be46ddc0cf598e0e36b8a8fa5fae6f26277b318e"),
800 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
801 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
802 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
803 ],
804 vec![
805 from_hex("0x48a8116b254b171052251f353c93ca3816734e4e0baeea10b4269bbab9a2be55"),
806 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
807 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
808 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
809 ],
810 vec![
811 from_hex("0x126258211a4bb2035121c7ca129eae719d4ddfefa99921a8befb7a160e0f845f"),
812 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
813 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
814 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
815 ],
816 vec![
817 from_hex("0x5bf6985473bc5500f140844f5b66cea85815772cce03596eda60e6c7dcb4ebbd"),
818 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
819 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
820 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
821 ],
822 vec![
823 from_hex("0x5af46d3dd02261d893c418582188d328a8a84ff8f6ac6c1997d3aaadf64220d9"),
824 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
825 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
826 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
827 ],
828 vec![
829 from_hex("0x5e3c84925609016da58df82c1f2b51590e3b91e5502dca2eba13d8354916ddbe"),
830 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
831 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
832 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
833 ],
834 vec![
835 from_hex("0x410e6fb4390379a8b726cfb22a9eaab7232bc4b60eaddb629a4aacfc7dcdbfcf"),
836 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
837 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
838 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
839 ],
840 vec![
841 from_hex("0x2ca5debb9de1c4bbfa0204543dd9757241611cd28b5eac2d7f37baa293fa2618"),
842 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
843 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
844 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
845 ],
846 vec![
847 from_hex("0x4a1554023154a99b4572572ccd5d89fa8745c117a2a85e5786ef6ef39410d611"),
848 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
849 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
850 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
851 ],
852 vec![
853 from_hex("0x2ca75fb22881b238b6c96da6b908f922da8b54f909237051775c64fec8d5920c"),
854 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
855 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
856 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
857 ],
858 vec![
859 from_hex("0x546ea8ad3dffe14c4c96e4d6d8c43c644212fb663486165b34cb26ddd717f341"),
860 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
861 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
862 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
863 ],
864 vec![
865 from_hex("0x6b168ee87f2c532efdb378116dfe462f632a18eccf1e9bcfc740d35e535b2735"),
866 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
867 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
868 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
869 ],
870 vec![
871 from_hex("0x4cf917a780b850292f44502b80865d3664d75213f89e8ae5861dbcb52aa95e76"),
872 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
873 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
874 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
875 ],
876 vec![
877 from_hex("0x02e8dfe9046d8b951532466bdf1b62571b85e551b34c8bbfb1ccd3216271b73d"),
878 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
879 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
880 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
881 ],
882 vec![
883 from_hex("0x4a34d2abd01f09f743cc56a3f87febd60ae5d88e224918d840656da973d9252e"),
884 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
885 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
886 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
887 ],
888 vec![
889 from_hex("0x0a3fad26c6318d471fa376fbaf02d341e41e687db6f3da88266de21c7157e940"),
890 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
891 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
892 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
893 ],
894 vec![
895 from_hex("0x131c9df7176eadb9af3a14f0f53a9b87196ef60bbb89b3630142ff8d9d69137b"),
896 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
897 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
898 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
899 ],
900 vec![
901 from_hex("0x5753682a8120106b42241c86deee879263d81fe8e3423e01f567316d9524647e"),
902 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
903 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
904 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
905 ],
906 vec![
907 from_hex("0x5ed9725af6a91090027acfc12100733a9dea89771048aa2dfe40daea9546645b"),
908 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
909 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
910 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
911 ],
912 vec![
913 from_hex("0x2c7b7a87f31ebd2464be9f211d41719b453939d53ff7be07a2cc21741d48b467"),
914 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
915 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
916 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
917 ],
918 vec![
919 from_hex("0x118159eb07353fef60e9733077cc82f92a6e2bd361c88d8122e9a292217757e0"),
920 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
921 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
922 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
923 ],
924 vec![
925 from_hex("0x5b4626e787d4a4b00ba4693fd7900ecaa19624be9f2fee6b9c3b538d4f896b8a"),
926 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
927 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
928 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
929 ],
930 vec![
931 from_hex("0x18cad22ae06bb0e8d043f7928477219e4d38ac544ce81c4c685267089e4c7003"),
932 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
933 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
934 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
935 ],
936 vec![
937 from_hex("0x0511149594758e789b440ce534b52b6c508ae1881669d1fa4a7e551ef84e4dc4"),
938 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
939 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
940 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
941 ],
942 vec![
943 from_hex("0x428b8532efa194a7f5cbf4c296786346ddfcfe8f2bab26f25321f5d984dfc307"),
944 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
945 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
946 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
947 ],
948 vec![
949 from_hex("0x00fd035cc129e91eac66d841e2864989d1ff4853662166143535603bf9460621"),
950 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
951 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
952 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
953 ],
954 vec![
955 from_hex("0x2c167565114475412c76f0df1961eaca9deb17622c9fb6f5ac8a89a29f42df69"),
956 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
957 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
958 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
959 ],
960 vec![
961 from_hex("0x10cac3ff02125419ac84ff80295589d1124a1e65a94e8d9b63a411317c7f5728"),
962 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
963 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
964 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
965 ],
966 vec![
967 from_hex("0x7213c2f17aec536d0a5196e877d1626a63d7db5b4e3bd77327eb3617b932aee7"),
968 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
969 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
970 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
971 ],
972 vec![
973 from_hex("0x1b86ee2e45fbcd59fa43edee6630dda5cb3b894eb4701eff5fd53967abad2666"),
974 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
975 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
976 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
977 ],
978 vec![
979 from_hex("0x0b941850091bd16875f408f183fb93d250c538e5ee1e8979e960b5b499b2f070"),
980 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
981 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
982 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
983 ],
984 vec![
985 from_hex("0x031f75d53bdd5ac603c252925148a74fa5f3bf5d9ffabe64c6e932be904204ec"),
986 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
987 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
988 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
989 ],
990 vec![
991 from_hex("0x55296a48dd399c65798cdbda11e89f26f998f2d33cf328e87a1c364e05be492b"),
992 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
993 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
994 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
995 ],
996 vec![
997 from_hex("0x191175ec337e64a48785a083559176168bcea3db2822630c48f1d497d03e1e35"),
998 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
999 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1000 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1001 ],
1002 vec![
1003 from_hex("0x33200b518e6b1a1e96ba214cad18929e7f5b4e3336e522c5fa1febf69c0818c6"),
1004 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1005 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1006 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1007 ],
1008 vec![
1009 from_hex("0x2f989e24f97dc06c075bb53404e3eaaae32a1b6d89d9e09acdeee65712aa4216"),
1010 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1011 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1012 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1013 ],
1014 vec![
1015 from_hex("0x0de4b77163f1572bbaa325f48bde7a429b6b0f803ade45a0e72cd2bdbd84680c"),
1016 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1017 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1018 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1019 ],
1020 vec![
1021 from_hex("0x6af270d408f492402b7271432b6c443abbd1f0e220888d73f47498d59044d7cc"),
1022 from_hex("0x3d5b5310e7b6be63be8f12594ecd68108f4b3f6266683b13178d0c80d8530c2f"),
1023 from_hex("0x5f69d748d06e22916088bd21fb472334ddbe5223ff494b6c0dcdf62db69d43ac"),
1024 from_hex("0x6c1fd7dbb3298da86dfe5d0435b26e0a91fe6ad6aa25b9407d5da544e6b9cd27"),
1025 ],
1026 vec![
1027 from_hex("0x37172dd49bf14ebca52e1c31b60f31de8213644e330bcf2cc59684606e62537d"),
1028 from_hex("0x509cf829b68e58861c3d6bce6046ac1b6e9c065378fe9556348c0c1814808e20"),
1029 from_hex("0x529d5dd132f5cb4b71994ae6b330b7944f0fd8ba319582d2414b9b10768b7448"),
1030 from_hex("0x5d251391abee228833dbd24be99d163ba9f8c92a2cf73a4e1f8a87e9c4ca97ba"),
1031 ],
1032 vec![
1033 from_hex("0x1abe1d77226f2eff6f1a6bfc6c8d9e00dde1da9d67858e6984e53bc2aceba535"),
1034 from_hex("0x4ca74ba72baea6d84fa8f2a05e387a1c41a5a1b2f1a479fb11bbf9d5e09bd01a"),
1035 from_hex("0x232bfa6a3120224814967315ebf3d8c88b2eb0ea8c20c79ce854f90aec7a9b91"),
1036 from_hex("0x109f5bd722c8cf28ab6a3852970bcb665f398a8dc9d331958dc291d49a1ba9b4"),
1037 ],
1038 vec![
1039 from_hex("0x4a181a5de6c79a05c02533350ab51deee24b8f5b9154c5cf09ba5e25862ae176"),
1040 from_hex("0x6e063b99c16028df94b1eb719164ae8c8336894791516ca2c37c5a1a394bb0d7"),
1041 from_hex("0x6bbd2d3a643d301d25a8cf156542165abee3039068fecf501e9d39f313ca2a87"),
1042 from_hex("0x04690fe1be7c7b8c10c81e63f5e508fe93853c61f0435f81eabc9997fa3b99f3"),
1043 ],
1044 ];
1045 pub static ref MAT_DIAG8_M_1: Vec<Scalar> = vec![
1046 from_hex("0x1118b610c2544efa26b70d9d60ca6ca362afcfff12436cf3b0f8a3ec5895d9ea"),
1047 from_hex("0x5ba288c5197e71745a8fde16aca575e379dcc19f21042d8b9375e478f809325b"),
1048 from_hex("0x079a987d87d7c80d5f4a3b4018517c50f5067ecb516f6bd14d79eabaa8349e62"),
1049 from_hex("0x4c6497b0b99e1f1af4ec0322dc38869b2dfb79db3ab5fa68936cc8b6025aad1f"),
1050 from_hex("0x483b5c5071e90c98bd353556453f04113442f29a1c4c236b4ca31890136bee4d"),
1051 from_hex("0x3ef76c8bae0aa755dde594d8ec22b157f913323e5b29bbd0652e4b74973ac8f9"),
1052 from_hex("0x091767b280c59a58a39f293bfc22ae944cb921c2efa240262b5b66312724f20b"),
1053 from_hex("0x45ef82a5684137e5fc9613e0581cb65b5ad3d43470eacf0f060e1711c4c57623"),
1054 ];
1055 pub static ref MAT_INTERNAL8: Vec<Vec<Scalar>> = vec![
1056 vec![
1057 from_hex("0x1118b610c2544efa26b70d9d60ca6ca362afcfff12436cf3b0f8a3ec5895d9eb"),
1058 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1059 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1060 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1061 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1062 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1063 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1064 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1065 ],
1066 vec![
1067 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1068 from_hex("0x5ba288c5197e71745a8fde16aca575e379dcc19f21042d8b9375e478f809325c"),
1069 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1070 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1071 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1072 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1073 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1074 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1075 ],
1076 vec![
1077 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1078 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1079 from_hex("0x079a987d87d7c80d5f4a3b4018517c50f5067ecb516f6bd14d79eabaa8349e63"),
1080 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1081 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1082 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1083 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1084 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1085 ],
1086 vec![
1087 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1088 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1089 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1090 from_hex("0x4c6497b0b99e1f1af4ec0322dc38869b2dfb79db3ab5fa68936cc8b6025aad20"),
1091 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1092 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1093 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1094 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1095 ],
1096 vec![
1097 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1098 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1099 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1100 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1101 from_hex("0x483b5c5071e90c98bd353556453f04113442f29a1c4c236b4ca31890136bee4e"),
1102 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1103 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1104 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1105 ],
1106 vec![
1107 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1108 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1109 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1110 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1111 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1112 from_hex("0x3ef76c8bae0aa755dde594d8ec22b157f913323e5b29bbd0652e4b74973ac8fa"),
1113 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1114 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1115 ],
1116 vec![
1117 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1118 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1119 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1120 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1121 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1122 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1123 from_hex("0x091767b280c59a58a39f293bfc22ae944cb921c2efa240262b5b66312724f20c"),
1124 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1125 ],
1126 vec![
1127 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1128 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1129 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1130 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1131 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1132 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1133 from_hex("0x0000000000000000000000000000000000000000000000000000000000000001"),
1134 from_hex("0x45ef82a5684137e5fc9613e0581cb65b5ad3d43470eacf0f060e1711c4c57624"),
1135 ],
1136 ];
1137 pub static ref RC8: Vec<Vec<Scalar>> = vec![
1138 vec![
1139 from_hex("0x53ada42ebdbe3750f185d8aed927c2a339b1023dfde196b58aea362b1458208b"),
1140 from_hex("0x52a4bd5eaee58d29bfe574cafd97f987b1da709987e3d009ae971b0c627edad6"),
1141 from_hex("0x3b7abfefc73e31a012cebfd0420df327dd6cf8bb1a94aded25e40cb1d97ae623"),
1142 from_hex("0x18f6087444787b863f51d5f92722674e3440a076d35b3827ae2a34e2349fe613"),
1143 from_hex("0x1f6c10016b4ca694f41014517b6fae4134912bdd35b66c1c61a40023f362f7e3"),
1144 from_hex("0x37f5dd623b97256aa92ba9838b52e6b951481779f841cf5b158b52b264e19542"),
1145 from_hex("0x3bcb78486b25ea78993bdcc3ac524daa00ccb29bace59b43147a6cd34e90ea9d"),
1146 from_hex("0x42f7f2057893b0118ba72dee0390745595018499c07080263525fbee179f453f"),
1147 ],
1148 vec![
1149 from_hex("0x1ebff9e98d8913caea56fcfbde1fa0e28e7c88a6fd26ed1caacb2167ac01d46b"),
1150 from_hex("0x50bc0b19ec65ae49190380dac906851effc5ded598dfc3a6dff9d193e28caa92"),
1151 from_hex("0x173542f5c5f705e8c07eebce465ec04075911da44ffeba6135da9b9908661651"),
1152 from_hex("0x104f0e4495d78b0988796d5099b0814c068357681e1f68df2e7589eab107bc18"),
1153 from_hex("0x3aa82015f9de71497b0d3ab99e353f15fd90297226b3b0a721ef4637c3266da6"),
1154 from_hex("0x218a066557035447f5f65c9ca1f6591b2e89836299bebb6434a4dc795df2575e"),
1155 from_hex("0x4629ccf1af64824871ea33c70b354c6da36f8fd52c3e2377c7bf9ae7f3e9c30c"),
1156 from_hex("0x4eb2718149318548c4f70554ea54d9e86c4fe4b5fe84dc4093b1369060a39d98"),
1157 ],
1158 vec![
1159 from_hex("0x4ef417e3aeededf50ebc47a5a8e2b571f3acbae751b3c263ee26c7cc25545b5b"),
1160 from_hex("0x5662913ab2c59dc3413a934f86805c7442b258adeb728c3edb61a5c762945b84"),
1161 from_hex("0x12e9df9b98795bd66de91037d43a8480cde436b30a5ed77be71f9d6674d7d445"),
1162 from_hex("0x4927f30e0d987d23605c7cb4d903a3825bdc6ac7d08cecec1607621cbea26b47"),
1163 from_hex("0x09388b6f741eeafbfc7cc4479778c2ea0013e98b33b767d117c0bd780bc6d7eb"),
1164 from_hex("0x653915b04769ba57e58e29a163da6105c18897fe0c43754fcdf4275d0a89fcc2"),
1165 from_hex("0x32aeaef7bcb8b97f927022113baffac5515ab9ec7f6e56c94924a787ca3b1043"),
1166 from_hex("0x14d39fe74d6c0ce57ba40de0dacae628428f0b3021ac71e47856eba4ba1068b5"),
1167 ],
1168 vec![
1169 from_hex("0x65dacaec232936d47c3441c960736cfa3fdbe13e2599263ebdd5453cf716dbbd"),
1170 from_hex("0x30838e97b66df6a39cdcda903a9c7f2834cba1f11c5a18a1a25ae1a851cd7cc5"),
1171 from_hex("0x2ba21920ed4441cca37a95beff2c1dbabc66c089fab42787feb9c7d63f563db4"),
1172 from_hex("0x48e82727bd3946dc067719d5387e7d8d8b96d150708c6007fade6ae7d8bb97f7"),
1173 from_hex("0x72beb7592e1a8b5ffb67f9127f7eead42ae5c9565629b44aec7ee8064664b581"),
1174 from_hex("0x0152c4c7e8f09d7d288077304f9e6f23d7be63746f73a6b486d66debd68be87b"),
1175 from_hex("0x07658150e9fa7bafea32db94237a985857f11e7179d0d1665f5500eee99a6bbd"),
1176 from_hex("0x0625e07f82a451842d18236aeda5ea8848405c54eb2bc2e9c721715d89e60e00"),
1177 ],
1178 vec![
1179 from_hex("0x6e8e2fef1424c978db61ab5307c57f5ae977cc0f992978a079898b818df71c38"),
1180 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1181 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1182 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1183 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1184 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1185 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1186 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1187 ],
1188 vec![
1189 from_hex("0x3bf1dcb8edb1778b295861f3f44653974369aadb6dc7a657ecf1e9b9f9975d0d"),
1190 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1191 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1192 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1193 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1194 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1195 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1196 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1197 ],
1198 vec![
1199 from_hex("0x224b5e5260d5a374a52d205dc4cf2f6ddd2e268c19d4d8c23a9a83ddd95f3b56"),
1200 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1201 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1202 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1203 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1204 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1205 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1206 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1207 ],
1208 vec![
1209 from_hex("0x258ba50efbf08421f9d84439e7198cf6d6d744c322496cbee7b0fad515483ce5"),
1210 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1211 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1212 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1213 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1214 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1215 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1216 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1217 ],
1218 vec![
1219 from_hex("0x57a9861d98e4f0c7f48a1c0f78b8c254db8f9023da33c0ebd80e6a2fac37a9ab"),
1220 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1221 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1222 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1223 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1224 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1225 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1226 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1227 ],
1228 vec![
1229 from_hex("0x6b4a81edff2101a784940a5d94d4997e1a7064e7d11cb30c8d44fc17fce5c7de"),
1230 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1231 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1232 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1233 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1234 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1235 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1236 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1237 ],
1238 vec![
1239 from_hex("0x646b6fe0fc67d8eb957fc7f5c71bb2eb49deb4d800f869f4a851d48452837f80"),
1240 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1241 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1242 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1243 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1244 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1245 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1246 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1247 ],
1248 vec![
1249 from_hex("0x72d1470e483ec6a6dba9515903f930b8913878c4d61f75264cb78bd6eb3897d5"),
1250 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1251 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1252 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1253 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1254 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1255 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1256 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1257 ],
1258 vec![
1259 from_hex("0x0eb84e097a3c154e3edcad691467aa2833cd6e2c034fc67c4aaddea3e612c0e4"),
1260 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1261 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1262 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1263 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1264 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1265 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1266 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1267 ],
1268 vec![
1269 from_hex("0x16726722e28b6834cf52a476e2c85a7796db36654e163d98a90ca5c9c5ec5cf4"),
1270 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1271 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1272 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1273 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1274 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1275 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1276 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1277 ],
1278 vec![
1279 from_hex("0x603a8ce41cd89892de62f80c2a69bf7c525ce2c9d73e179a40335573dafb5344"),
1280 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1281 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1282 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1283 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1284 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1285 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1286 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1287 ],
1288 vec![
1289 from_hex("0x6d29a4353cb4ce51421f99e98cf3cfea5df6cb84fda5972de3507926e1ce8517"),
1290 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1291 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1292 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1293 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1294 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1295 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1296 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1297 ],
1298 vec![
1299 from_hex("0x0b4bcf8b8440ddfcd96960ad3a942f08ee530594a22ba68902ac5cdb09dcb004"),
1300 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1301 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1302 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1303 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1304 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1305 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1306 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1307 ],
1308 vec![
1309 from_hex("0x57f898067bf97291642fc3f277c72aff1815dbdafaa153dd3f4dac4cfef65c4b"),
1310 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1311 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1312 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1313 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1314 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1315 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1316 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1317 ],
1318 vec![
1319 from_hex("0x21f7a5a0c323149d5ece7d787c5fffc64e3539ee2a9d0636bdee1fd4fc743195"),
1320 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1321 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1322 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1323 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1324 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1325 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1326 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1327 ],
1328 vec![
1329 from_hex("0x252bdc65bc46bae728b14a2cd124f9d89fca1d094a13938d5368bcbcfb61af24"),
1330 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1331 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1332 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1333 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1334 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1335 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1336 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1337 ],
1338 vec![
1339 from_hex("0x49e04438484178086f10025d4dd075129db6ee0543de3cd6260f005cbd1cfd12"),
1340 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1341 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1342 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1343 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1344 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1345 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1346 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1347 ],
1348 vec![
1349 from_hex("0x284070bc321a19aac8f72293ef5ee4047a25905571aa0fc0c92a99fb9aae502d"),
1350 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1351 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1352 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1353 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1354 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1355 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1356 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1357 ],
1358 vec![
1359 from_hex("0x432b6f998822a8bc1863d18966f0257e4ca02860d48b5da94b54c44e50148e9e"),
1360 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1361 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1362 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1363 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1364 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1365 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1366 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1367 ],
1368 vec![
1369 from_hex("0x2250a97daf4a6ab7e7ed38d562e45e557c6537095d5e82d8f8770c5606cc3723"),
1370 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1371 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1372 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1373 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1374 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1375 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1376 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1377 ],
1378 vec![
1379 from_hex("0x2190b0a04860c1754bfaea7c6656754719019afda4db1c2bdcc02e7077cb8fe4"),
1380 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1381 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1382 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1383 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1384 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1385 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1386 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1387 ],
1388 vec![
1389 from_hex("0x1ca5242b5b822ce4e547ef1044c25fa8e4e8ab34740ee80934bb783dfcd8ff00"),
1390 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1391 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1392 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1393 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1394 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1395 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1396 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1397 ],
1398 vec![
1399 from_hex("0x13ef424fbfa8f57f530b7472049e399b52d243ce631f46ab53e83896cccd1753"),
1400 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1401 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1402 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1403 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1404 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1405 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1406 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1407 ],
1408 vec![
1409 from_hex("0x313b6724e1ef1a2f8313faf995b286ca6c4e2935c938eda423799ad1ca4f074a"),
1410 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1411 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1412 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1413 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1414 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1415 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1416 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1417 ],
1418 vec![
1419 from_hex("0x71d6f906d7670070ed88307456824180c88df4d6c5c430ecde2d401468317dde"),
1420 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1421 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1422 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1423 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1424 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1425 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1426 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1427 ],
1428 vec![
1429 from_hex("0x5da276ba589d6ae24ac895bf495c021a5db46841aa15592ca792418c610392df"),
1430 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1431 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1432 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1433 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1434 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1435 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1436 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1437 ],
1438 vec![
1439 from_hex("0x5522c5df7aad8e48c28ff2409728ecbff493cde8ba22627834b472bd5f7e6159"),
1440 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1441 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1442 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1443 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1444 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1445 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1446 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1447 ],
1448 vec![
1449 from_hex("0x39fd68c744782320742384c631da42657f76ad1fbb4b31cd39f9b99871a658a9"),
1450 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1451 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1452 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1453 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1454 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1455 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1456 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1457 ],
1458 vec![
1459 from_hex("0x07073f7f19a99e127202010143d73eb9c607b8a472d08eef5028c014296aef92"),
1460 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1461 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1462 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1463 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1464 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1465 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1466 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1467 ],
1468 vec![
1469 from_hex("0x0c9b173245a88129f945616b7753804a79a923a9486099cbc68eeab1a18a3ecd"),
1470 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1471 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1472 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1473 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1474 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1475 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1476 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1477 ],
1478 vec![
1479 from_hex("0x0bc470541a2d0d36132b8c062b988a7a7fc617a194763d1df0d185870d435214"),
1480 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1481 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1482 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1483 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1484 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1485 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1486 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1487 ],
1488 vec![
1489 from_hex("0x14cef28cefade54ab09245615dcd4812f5838cb7e53cc3994db36597a839f598"),
1490 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1491 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1492 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1493 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1494 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1495 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1496 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1497 ],
1498 vec![
1499 from_hex("0x673b6489cf57eee2649fad4ed7917c77c01a510091db44cb0631ddee2970fda0"),
1500 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1501 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1502 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1503 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1504 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1505 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1506 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1507 ],
1508 vec![
1509 from_hex("0x1adf80dd643887e745ceb8f8a7482eba2fa9e3b2a9d78c04e34faf05edac21fd"),
1510 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1511 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1512 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1513 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1514 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1515 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1516 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1517 ],
1518 vec![
1519 from_hex("0x3421bebfd00f6d9984f8ae8713583cf904bc1cc931d9f2207e46f316bee5575b"),
1520 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1521 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1522 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1523 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1524 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1525 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1526 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1527 ],
1528 vec![
1529 from_hex("0x3377ebbc99869b1130415a8b6ef6828a091bbc962b770679ba2533b859b269bb"),
1530 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1531 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1532 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1533 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1534 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1535 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1536 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1537 ],
1538 vec![
1539 from_hex("0x531c3189cd8061e25c7b2880a75b5cf54a38eaffbe16a6bb8c03072177edb17a"),
1540 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1541 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1542 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1543 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1544 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1545 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1546 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1547 ],
1548 vec![
1549 from_hex("0x1de23e2b6a76564e456ec0ee314dd1137cb721458c6aea42e68db34f7bee4987"),
1550 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1551 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1552 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1553 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1554 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1555 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1556 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1557 ],
1558 vec![
1559 from_hex("0x3c63febcc1037470db1fefde11feafa09f6b93d1bd7f4ab69421204c7b909742"),
1560 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1561 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1562 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1563 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1564 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1565 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1566 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1567 ],
1568 vec![
1569 from_hex("0x27f9a7845ff4c11b37eafac24e732e279f871513b7e505964a44962f261079d1"),
1570 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1571 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1572 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1573 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1574 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1575 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1576 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1577 ],
1578 vec![
1579 from_hex("0x131e543c8cc3d66c79e2d34b339edb4e8de104f16222108cedf5ede0bc2a259c"),
1580 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1581 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1582 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1583 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1584 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1585 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1586 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1587 ],
1588 vec![
1589 from_hex("0x4903aacba7d57fbd9f8d5eba89a65e69c6dc17d00e0689ff78a853ebf2045260"),
1590 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1591 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1592 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1593 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1594 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1595 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1596 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1597 ],
1598 vec![
1599 from_hex("0x62c6809bc54290477c60ba3344b68e73079d2acf142f6fe1647bf77f7a9ecc0b"),
1600 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1601 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1602 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1603 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1604 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1605 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1606 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1607 ],
1608 vec![
1609 from_hex("0x1e88401ee384c7074e4cf262ce0fad617fac21c3179b13bfb9b9ae28b76b2ed9"),
1610 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1611 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1612 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1613 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1614 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1615 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1616 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1617 ],
1618 vec![
1619 from_hex("0x080a8905ec7191f9e1fdaca749100b1eaa03948e2ba109f9b235258574cbc103"),
1620 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1621 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1622 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1623 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1624 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1625 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1626 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1627 ],
1628 vec![
1629 from_hex("0x220515bc8e5f1b4b0e074e27f73c02b1fa4a4bab6623eab03681186a26a96dd7"),
1630 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1631 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1632 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1633 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1634 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1635 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1636 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1637 ],
1638 vec![
1639 from_hex("0x21d170c9860f7b318902d6e3e7892cd11d1d4a77f6f9d1bbc000f710686be1ef"),
1640 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1641 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1642 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1643 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1644 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1645 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1646 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1647 ],
1648 vec![
1649 from_hex("0x0ab7fc35aa93f80a4ed6787d9b121f34c2914515940f6d8ccbf44a1dc3d5e66f"),
1650 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1651 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1652 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1653 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1654 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1655 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1656 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1657 ],
1658 vec![
1659 from_hex("0x0920c263adbf43e70433816817a1a36526eba5e26e81a596abc53cbfd4e10c9d"),
1660 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1661 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1662 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1663 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1664 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1665 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1666 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1667 ],
1668 vec![
1669 from_hex("0x6263f1b033c09db0a316ee60ebd770795ea8910483248156918ae1f50a203de5"),
1670 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1671 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1672 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1673 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1674 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1675 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1676 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1677 ],
1678 vec![
1679 from_hex("0x61aea53c82e80114591feaf47fd76539eccaebeb7898f3861826c064b69442aa"),
1680 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1681 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1682 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1683 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1684 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1685 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1686 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1687 ],
1688 vec![
1689 from_hex("0x442d65617945bc65cb2c687fccac2e731a78cf925d848e9a26a5896c7cf7d6c2"),
1690 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1691 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1692 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1693 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1694 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1695 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1696 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1697 ],
1698 vec![
1699 from_hex("0x4045127d05c3cb34d005bcc59af6e7bf514c50e8287638f2af91309b1bb566b9"),
1700 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1701 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1702 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1703 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1704 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1705 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1706 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1707 ],
1708 vec![
1709 from_hex("0x21248b251f2613ad1e0037db0f662e480ba376a59211d53c0d4005b10ed07a72"),
1710 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1711 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1712 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1713 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1714 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1715 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1716 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1717 ],
1718 vec![
1719 from_hex("0x610b8e020b302c1e75de560c266e89758490a2852c7376e76999cbc2ecd4dfea"),
1720 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1721 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1722 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1723 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1724 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1725 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1726 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1727 ],
1728 vec![
1729 from_hex("0x4ce82f499dabebd5f5864d7b0545264a332c7bec6bcb8505e38cc6cc87940208"),
1730 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1731 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1732 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1733 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1734 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1735 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1736 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1737 ],
1738 vec![
1739 from_hex("0x323b2e2f2ccdb4fa2b7e0aa8ffe80fec5ebb2748371b1ee7367f9403a3017a45"),
1740 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1741 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1742 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1743 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1744 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1745 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1746 from_hex("0x0000000000000000000000000000000000000000000000000000000000000000"),
1747 ],
1748 vec![
1749 from_hex("0x4ee2adaefeb04dd7d8d567bbc11022fb1ed7be60dddb7c1090bc2c2eaa20b3c2"),
1750 from_hex("0x49df280184ea12aa38e1b7835016037fbe2214dbfffbed63b3afb3587fc4a2f8"),
1751 from_hex("0x0742c9cd494e1f349b5cdda1354407d15528cdc5b149d52178bd749d11a6a62e"),
1752 from_hex("0x4c3088160d362a2d49baee41a920d11d4a4fb1230b51923e3e8bc2931b3b1c14"),
1753 from_hex("0x4146884271f8fddf477d774c4ea7e590a904858958cffbf2ff759727c6f4307f"),
1754 from_hex("0x35852bcb36414611bd9416003e36e2fda46639647b009f20a1571fb62255c06a"),
1755 from_hex("0x71380a2e9af86d10d3c853206f27affed5c8bbf04209265ec53dc16c3097cd6e"),
1756 from_hex("0x316825bc6a3d33bc4574a2bc080b267e9f9032cdba13b392f3cef5651b7bd73b"),
1757 ],
1758 vec![
1759 from_hex("0x039ee257a7ab11b83ca2f84b4c3d2a43b9979593a3baf7fff31a1582463c9cd4"),
1760 from_hex("0x3a7d9e3631877361748eaded828a1226a8fad1d9a26b904bb7672c5a1098b010"),
1761 from_hex("0x08b2dde1aa612b89c9634b1984823f331515c10cbe93da28d579b4ad02950083"),
1762 from_hex("0x286dbe8166b75b79b9382fe5e03d6a8e89e3e14a0d868222534c1840da654262"),
1763 from_hex("0x5cd2d752b980033b428a3c8428e7c04c13b016659a9db1680ff0a8250be4345c"),
1764 from_hex("0x664175d23039d55ca0721aafa919aa2d9e58f7a6585056e72f7861cb5c68df51"),
1765 from_hex("0x017422f285fe185e8409bf4e808013694982a6b828e25b9d026fa94099d8c7f7"),
1766 from_hex("0x4126fedd4ce3edd708f5504a7fb80d4568974d8efd2522fa777a205b59939d76"),
1767 ],
1768 vec![
1769 from_hex("0x362d386157a988e327180aea82fed73187fc9bb4317c8065074a1cefe3d29120"),
1770 from_hex("0x5f9b6f0a37e1f10579bb8fc18c0e2f1a9accbb709f555d931d81939baf21a843"),
1771 from_hex("0x451b11c73a54b552b6772e686b9f372c3a88057e3862538fe4fc93f3bca45220"),
1772 from_hex("0x6dc7c344510f5dbca0bc1c8a43faae5562cdcef2195d3a98cd1cc0b80937ddef"),
1773 from_hex("0x1acf4fa571f2dfa559eaa2ed75617022b7926b7e38969c3c404cb6b40a55c8d4"),
1774 from_hex("0x601692f0671f9a0e5b645b81f6659fcbbec95700c6c49cc26551d006e2e2abc2"),
1775 from_hex("0x2c418cde54947690050586e9fb648d979a04117c6a985951ac99d3a056091e03"),
1776 from_hex("0x1099ebe36b8a483ff9160c7e49cf27d1275f35638f60d15c251d004bdf0be43c"),
1777 ],
1778 vec![
1779 from_hex("0x705ac07ef6e6f30e8587ddf3097181f1d6a821978343818ad66d0b2203e44990"),
1780 from_hex("0x376f4d399472844d9823bc00f9d9ec7251273dc1f085c6aad969986f791ced02"),
1781 from_hex("0x60dfac12ac5884c13e13677413285279d5f7b5dd0602ae87f028979005ea5c68"),
1782 from_hex("0x41478c307faeb9fa78ca4fd7779f00688c7b7f77092f28fccd5a0263727ce5c4"),
1783 from_hex("0x3d7640dc7ad95c1a5fe3bff9b6dd9f66d27bf6bc99d17ee167feeb09c4b77d9e"),
1784 from_hex("0x427c360b99fe9d869528cf4e8abba951dea32b5b9b6fea4e3f39d9e715cd573d"),
1785 from_hex("0x4e0fe9315cc9434a08a87aef6d65df043f8961650226f1cbe26bf55dd7ac2b76"),
1786 from_hex("0x69a03bbfabd2a06359ad8c748bc99ec36cc1e2726940915317f15a813be413a0"),
1787 ],
1788 ];
1789 pub static ref POSEIDON2_BLS_2_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(
1790 Poseidon2Params::new(2, 5, 8, 56, &MAT_DIAG2_M_1, &MAT_INTERNAL2, &RC2)
1791 );
1792 pub static ref POSEIDON2_BLS_3_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(
1793 Poseidon2Params::new(3, 5, 8, 56, &MAT_DIAG3_M_1, &MAT_INTERNAL3, &RC3)
1794 );
1795 pub static ref POSEIDON2_BLS_4_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(
1796 Poseidon2Params::new(4, 5, 8, 56, &MAT_DIAG4_M_1, &MAT_INTERNAL4, &RC4)
1797 );
1798 pub static ref POSEIDON2_BLS_8_PARAMS: Arc<Poseidon2Params<Scalar>> = Arc::new(
1799 Poseidon2Params::new(8, 5, 8, 57, &MAT_DIAG8_M_1, &MAT_INTERNAL8, &RC8)
1800 );
1801}