nx_rsa_pkcs1_v1_5_sha384_4096_test.nx source

1// nx_rsa_pkcs1_v1_5_sha384_4096_test.nx -- KAT vs openssl RSA-4096/SHA-384. 2// expect_exit: 0 3// license_tier: ORIGINAL 4 5import "nx_syscalls.nx" 6import "nx_u4096.nx" 7import "nx_rsa_pkcs1_v1_5_sha384.nx" 8 9func main() -> i64 { 10 let msg: *u8 = (sys_mmap(31)) as *u8 11 msg[0] = 0x68 as u8 12 msg[1] = 0x65 as u8 13 msg[2] = 0x6c as u8 14 msg[3] = 0x6c as u8 15 msg[4] = 0x6f as u8 16 msg[5] = 0x20 as u8 17 msg[6] = 0x6e as u8 18 msg[7] = 0x69 as u8 19 msg[8] = 0x73 as u8 20 msg[9] = 0x68 as u8 21 msg[10] = 0x69 as u8 22 msg[11] = 0x20 as u8 23 msg[12] = 0x73 as u8 24 msg[13] = 0x68 as u8 25 msg[14] = 0x61 as u8 26 msg[15] = 0x33 as u8 27 msg[16] = 0x38 as u8 28 msg[17] = 0x34 as u8 29 msg[18] = 0x20 as u8 30 msg[19] = 0x34 as u8 31 msg[20] = 0x30 as u8 32 msg[21] = 0x39 as u8 33 msg[22] = 0x36 as u8 34 let sig: *u8 = (sys_mmap(520)) as *u8 35 sig[0] = 0x6d as u8 36 sig[1] = 0xda as u8 37 sig[2] = 0x86 as u8 38 sig[3] = 0xbb as u8 39 sig[4] = 0x28 as u8 40 sig[5] = 0x8d as u8 41 sig[6] = 0x72 as u8 42 sig[7] = 0x5f as u8 43 sig[8] = 0x35 as u8 44 sig[9] = 0x75 as u8 45 sig[10] = 0x6a as u8 46 sig[11] = 0x29 as u8 47 sig[12] = 0x21 as u8 48 sig[13] = 0x8c as u8 49 sig[14] = 0x55 as u8 50 sig[15] = 0xae as u8 51 sig[16] = 0xac as u8 52 sig[17] = 0xa6 as u8 53 sig[18] = 0x20 as u8 54 sig[19] = 0xa5 as u8 55 sig[20] = 0x28 as u8 56 sig[21] = 0x5c as u8 57 sig[22] = 0x37 as u8 58 sig[23] = 0x3c as u8 59 sig[24] = 0x25 as u8 60 sig[25] = 0x1a as u8 61 sig[26] = 0x5e as u8 62 sig[27] = 0x2e as u8 63 sig[28] = 0xe1 as u8 64 sig[29] = 0x1f as u8 65 sig[30] = 0x53 as u8 66 sig[31] = 0x62 as u8 67 sig[32] = 0xe5 as u8 68 sig[33] = 0x04 as u8 69 sig[34] = 0xd2 as u8 70 sig[35] = 0xe2 as u8 71 sig[36] = 0x36 as u8 72 sig[37] = 0xc6 as u8 73 sig[38] = 0x63 as u8 74 sig[39] = 0x43 as u8 75 sig[40] = 0xf7 as u8 76 sig[41] = 0x71 as u8 77 sig[42] = 0x49 as u8 78 sig[43] = 0x23 as u8 79 sig[44] = 0xab as u8 80 sig[45] = 0xb4 as u8 81 sig[46] = 0xf5 as u8 82 sig[47] = 0xdf as u8 83 sig[48] = 0x2c as u8 84 sig[49] = 0x47 as u8 85 sig[50] = 0xa5 as u8 86 sig[51] = 0x18 as u8 87 sig[52] = 0x14 as u8 88 sig[53] = 0x1b as u8 89 sig[54] = 0x7c as u8 90 sig[55] = 0x04 as u8 91 sig[56] = 0x4c as u8 92 sig[57] = 0x9e as u8 93 sig[58] = 0xd5 as u8 94 sig[59] = 0xc0 as u8 95 sig[60] = 0xf9 as u8 96 sig[61] = 0x1f as u8 97 sig[62] = 0xfd as u8 98 sig[63] = 0xbc as u8 99 sig[64] = 0x78 as u8 100 sig[65] = 0x8f as u8 101 sig[66] = 0xf9 as u8 102 sig[67] = 0xf6 as u8 103 sig[68] = 0xe8 as u8 104 sig[69] = 0x36 as u8 105 sig[70] = 0x1b as u8 106 sig[71] = 0x7a as u8 107 sig[72] = 0x76 as u8 108 sig[73] = 0x3c as u8 109 sig[74] = 0xbc as u8 110 sig[75] = 0xaa as u8 111 sig[76] = 0xcd as u8 112 sig[77] = 0xf9 as u8 113 sig[78] = 0x8c as u8 114 sig[79] = 0xda as u8 115 sig[80] = 0x8c as u8 116 sig[81] = 0x23 as u8 117 sig[82] = 0xcb as u8 118 sig[83] = 0xa3 as u8 119 sig[84] = 0xa2 as u8 120 sig[85] = 0xfc as u8 121 sig[86] = 0x58 as u8 122 sig[87] = 0x8f as u8 123 sig[88] = 0x52 as u8 124 sig[89] = 0x34 as u8 125 sig[90] = 0xd1 as u8 126 sig[91] = 0x3c as u8 127 sig[92] = 0xa7 as u8 128 sig[93] = 0x2b as u8 129 sig[94] = 0xed as u8 130 sig[95] = 0x0a as u8 131 sig[96] = 0x9b as u8 132 sig[97] = 0xae as u8 133 sig[98] = 0xa1 as u8 134 sig[99] = 0xbc as u8 135 sig[100] = 0x78 as u8 136 sig[101] = 0x07 as u8 137 sig[102] = 0xd6 as u8 138 sig[103] = 0xed as u8 139 sig[104] = 0x96 as u8 140 sig[105] = 0x44 as u8 141 sig[106] = 0xe4 as u8 142 sig[107] = 0x9b as u8 143 sig[108] = 0x48 as u8 144 sig[109] = 0xb7 as u8 145 sig[110] = 0x31 as u8 146 sig[111] = 0xb7 as u8 147 sig[112] = 0x9a as u8 148 sig[113] = 0xa4 as u8 149 sig[114] = 0xa9 as u8 150 sig[115] = 0x37 as u8 151 sig[116] = 0xfb as u8 152 sig[117] = 0xd1 as u8 153 sig[118] = 0x71 as u8 154 sig[119] = 0x1f as u8 155 sig[120] = 0x5c as u8 156 sig[121] = 0x9e as u8 157 sig[122] = 0x68 as u8 158 sig[123] = 0x25 as u8 159 sig[124] = 0xc6 as u8 160 sig[125] = 0x7f as u8 161 sig[126] = 0x5d as u8 162 sig[127] = 0xb5 as u8 163 sig[128] = 0xba as u8 164 sig[129] = 0xf9 as u8 165 sig[130] = 0xac as u8 166 sig[131] = 0x2a as u8 167 sig[132] = 0x9b as u8 168 sig[133] = 0xef as u8 169 sig[134] = 0xfd as u8 170 sig[135] = 0xed as u8 171 sig[136] = 0x0f as u8 172 sig[137] = 0xdf as u8 173 sig[138] = 0x74 as u8 174 sig[139] = 0x7d as u8 175 sig[140] = 0x04 as u8 176 sig[141] = 0x38 as u8 177 sig[142] = 0xf8 as u8 178 sig[143] = 0x4e as u8 179 sig[144] = 0xe2 as u8 180 sig[145] = 0xff as u8 181 sig[146] = 0x8a as u8 182 sig[147] = 0x03 as u8 183 sig[148] = 0xe6 as u8 184 sig[149] = 0xec as u8 185 sig[150] = 0x26 as u8 186 sig[151] = 0x35 as u8 187 sig[152] = 0xf3 as u8 188 sig[153] = 0xf4 as u8 189 sig[154] = 0x11 as u8 190 sig[155] = 0x48 as u8 191 sig[156] = 0x9c as u8 192 sig[157] = 0xf2 as u8 193 sig[158] = 0x5e as u8 194 sig[159] = 0xf3 as u8 195 sig[160] = 0x77 as u8 196 sig[161] = 0x69 as u8 197 sig[162] = 0xfb as u8 198 sig[163] = 0x8e as u8 199 sig[164] = 0x2b as u8 200 sig[165] = 0x22 as u8 201 sig[166] = 0x07 as u8 202 sig[167] = 0xe3 as u8 203 sig[168] = 0xd1 as u8 204 sig[169] = 0x90 as u8 205 sig[170] = 0xb9 as u8 206 sig[171] = 0xfe as u8 207 sig[172] = 0xff as u8 208 sig[173] = 0x62 as u8 209 sig[174] = 0x1a as u8 210 sig[175] = 0x7a as u8 211 sig[176] = 0x1f as u8 212 sig[177] = 0x41 as u8 213 sig[178] = 0xe4 as u8 214 sig[179] = 0x15 as u8 215 sig[180] = 0xca as u8 216 sig[181] = 0x5b as u8 217 sig[182] = 0xa0 as u8 218 sig[183] = 0x1c as u8 219 sig[184] = 0x2e as u8 220 sig[185] = 0x24 as u8 221 sig[186] = 0x14 as u8 222 sig[187] = 0x90 as u8 223 sig[188] = 0xdc as u8 224 sig[189] = 0xa8 as u8 225 sig[190] = 0x00 as u8 226 sig[191] = 0xb0 as u8 227 sig[192] = 0x2a as u8 228 sig[193] = 0x8a as u8 229 sig[194] = 0x5c as u8 230 sig[195] = 0x97 as u8 231 sig[196] = 0x68 as u8 232 sig[197] = 0x0e as u8 233 sig[198] = 0xd1 as u8 234 sig[199] = 0x28 as u8 235 sig[200] = 0xea as u8 236 sig[201] = 0xd7 as u8 237 sig[202] = 0xf1 as u8 238 sig[203] = 0x6b as u8 239 sig[204] = 0x3c as u8 240 sig[205] = 0xbc as u8 241 sig[206] = 0x19 as u8 242 sig[207] = 0xce as u8 243 sig[208] = 0x7c as u8 244 sig[209] = 0x69 as u8 245 sig[210] = 0x7d as u8 246 sig[211] = 0x20 as u8 247 sig[212] = 0x4c as u8 248 sig[213] = 0x56 as u8 249 sig[214] = 0xb6 as u8 250 sig[215] = 0x08 as u8 251 sig[216] = 0x8d as u8 252 sig[217] = 0xca as u8 253 sig[218] = 0xd9 as u8 254 sig[219] = 0xcc as u8 255 sig[220] = 0x45 as u8 256 sig[221] = 0x3f as u8 257 sig[222] = 0xf6 as u8 258 sig[223] = 0xa8 as u8 259 sig[224] = 0xbc as u8 260 sig[225] = 0x9d as u8 261 sig[226] = 0x34 as u8 262 sig[227] = 0x2c as u8 263 sig[228] = 0x4a as u8 264 sig[229] = 0x23 as u8 265 sig[230] = 0x25 as u8 266 sig[231] = 0xde as u8 267 sig[232] = 0x83 as u8 268 sig[233] = 0x68 as u8 269 sig[234] = 0x08 as u8 270 sig[235] = 0x6e as u8 271 sig[236] = 0xd3 as u8 272 sig[237] = 0x0b as u8 273 sig[238] = 0x5e as u8 274 sig[239] = 0x03 as u8 275 sig[240] = 0x3a as u8 276 sig[241] = 0x7d as u8 277 sig[242] = 0xc9 as u8 278 sig[243] = 0x02 as u8 279 sig[244] = 0x5c as u8 280 sig[245] = 0x03 as u8 281 sig[246] = 0x5e as u8 282 sig[247] = 0xc2 as u8 283 sig[248] = 0xb2 as u8 284 sig[249] = 0xde as u8 285 sig[250] = 0x8a as u8 286 sig[251] = 0x7a as u8 287 sig[252] = 0xe0 as u8 288 sig[253] = 0x9b as u8 289 sig[254] = 0x40 as u8 290 sig[255] = 0xad as u8 291 sig[256] = 0x94 as u8 292 sig[257] = 0xc8 as u8 293 sig[258] = 0xb9 as u8 294 sig[259] = 0xb5 as u8 295 sig[260] = 0xb4 as u8 296 sig[261] = 0x81 as u8 297 sig[262] = 0x07 as u8 298 sig[263] = 0x97 as u8 299 sig[264] = 0xfe as u8 300 sig[265] = 0xd6 as u8 301 sig[266] = 0x94 as u8 302 sig[267] = 0x41 as u8 303 sig[268] = 0x15 as u8 304 sig[269] = 0x82 as u8 305 sig[270] = 0x1a as u8 306 sig[271] = 0x0f as u8 307 sig[272] = 0xad as u8 308 sig[273] = 0xe6 as u8 309 sig[274] = 0x03 as u8 310 sig[275] = 0x4a as u8 311 sig[276] = 0xf1 as u8 312 sig[277] = 0xd6 as u8 313 sig[278] = 0x87 as u8 314 sig[279] = 0x58 as u8 315 sig[280] = 0x4f as u8 316 sig[281] = 0x4b as u8 317 sig[282] = 0x51 as u8 318 sig[283] = 0xef as u8 319 sig[284] = 0x93 as u8 320 sig[285] = 0xcb as u8 321 sig[286] = 0x9a as u8 322 sig[287] = 0xa0 as u8 323 sig[288] = 0x21 as u8 324 sig[289] = 0x2d as u8 325 sig[290] = 0x6f as u8 326 sig[291] = 0x55 as u8 327 sig[292] = 0xde as u8 328 sig[293] = 0x7f as u8 329 sig[294] = 0xc9 as u8 330 sig[295] = 0x04 as u8 331 sig[296] = 0x8a as u8 332 sig[297] = 0x14 as u8 333 sig[298] = 0xee as u8 334 sig[299] = 0x6f as u8 335 sig[300] = 0x93 as u8 336 sig[301] = 0x18 as u8 337 sig[302] = 0xa2 as u8 338 sig[303] = 0xe1 as u8 339 sig[304] = 0x99 as u8 340 sig[305] = 0x05 as u8 341 sig[306] = 0x0b as u8 342 sig[307] = 0x44 as u8 343 sig[308] = 0xe5 as u8 344 sig[309] = 0xb4 as u8 345 sig[310] = 0xe6 as u8 346 sig[311] = 0x96 as u8 347 sig[312] = 0x6a as u8 348 sig[313] = 0x6d as u8 349 sig[314] = 0x6e as u8 350 sig[315] = 0x8a as u8 351 sig[316] = 0x8b as u8 352 sig[317] = 0x22 as u8 353 sig[318] = 0x1f as u8 354 sig[319] = 0xc0 as u8 355 sig[320] = 0x24 as u8 356 sig[321] = 0x0a as u8 357 sig[322] = 0x63 as u8 358 sig[323] = 0x41 as u8 359 sig[324] = 0x49 as u8 360 sig[325] = 0x55 as u8 361 sig[326] = 0x56 as u8 362 sig[327] = 0x51 as u8 363 sig[328] = 0xfa as u8 364 sig[329] = 0x7e as u8 365 sig[330] = 0xf9 as u8 366 sig[331] = 0x6d as u8 367 sig[332] = 0xbe as u8 368 sig[333] = 0xf8 as u8 369 sig[334] = 0x74 as u8 370 sig[335] = 0x29 as u8 371 sig[336] = 0xa6 as u8 372 sig[337] = 0xc9 as u8 373 sig[338] = 0x30 as u8 374 sig[339] = 0xda as u8 375 sig[340] = 0x86 as u8 376 sig[341] = 0xc8 as u8 377 sig[342] = 0xd7 as u8 378 sig[343] = 0xeb as u8 379 sig[344] = 0x71 as u8 380 sig[345] = 0x03 as u8 381 sig[346] = 0xde as u8 382 sig[347] = 0x74 as u8 383 sig[348] = 0xaf as u8 384 sig[349] = 0xb2 as u8 385 sig[350] = 0xb5 as u8 386 sig[351] = 0xc7 as u8 387 sig[352] = 0xcc as u8 388 sig[353] = 0xc7 as u8 389 sig[354] = 0x49 as u8 390 sig[355] = 0xd9 as u8 391 sig[356] = 0x2b as u8 392 sig[357] = 0xf1 as u8 393 sig[358] = 0x35 as u8 394 sig[359] = 0xb3 as u8 395 sig[360] = 0xe6 as u8 396 sig[361] = 0xf2 as u8 397 sig[362] = 0x0f as u8 398 sig[363] = 0x48 as u8 399 sig[364] = 0xe0 as u8 400 sig[365] = 0xc0 as u8 401 sig[366] = 0x25 as u8 402 sig[367] = 0xe1 as u8 403 sig[368] = 0xa6 as u8 404 sig[369] = 0x86 as u8 405 sig[370] = 0x7f as u8 406 sig[371] = 0x65 as u8 407 sig[372] = 0xb7 as u8 408 sig[373] = 0x5f as u8 409 sig[374] = 0xde as u8 410 sig[375] = 0x33 as u8 411 sig[376] = 0x3a as u8 412 sig[377] = 0x24 as u8 413 sig[378] = 0x36 as u8 414 sig[379] = 0xa0 as u8 415 sig[380] = 0x60 as u8 416 sig[381] = 0x9f as u8 417 sig[382] = 0x37 as u8 418 sig[383] = 0x9f as u8 419 sig[384] = 0x60 as u8 420 sig[385] = 0x1d as u8 421 sig[386] = 0xff as u8 422 sig[387] = 0x79 as u8 423 sig[388] = 0x92 as u8 424 sig[389] = 0xde as u8 425 sig[390] = 0x0b as u8 426 sig[391] = 0x6e as u8 427 sig[392] = 0xc0 as u8 428 sig[393] = 0x75 as u8 429 sig[394] = 0x97 as u8 430 sig[395] = 0x8e as u8 431 sig[396] = 0xcc as u8 432 sig[397] = 0x7c as u8 433 sig[398] = 0xa1 as u8 434 sig[399] = 0x9f as u8 435 sig[400] = 0x6f as u8 436 sig[401] = 0x88 as u8 437 sig[402] = 0x0a as u8 438 sig[403] = 0x14 as u8 439 sig[404] = 0xba as u8 440 sig[405] = 0x73 as u8 441 sig[406] = 0x90 as u8 442 sig[407] = 0xb6 as u8 443 sig[408] = 0x3a as u8 444 sig[409] = 0xaa as u8 445 sig[410] = 0xcb as u8 446 sig[411] = 0x71 as u8 447 sig[412] = 0xfb as u8 448 sig[413] = 0xdb as u8 449 sig[414] = 0xe1 as u8 450 sig[415] = 0xbd as u8 451 sig[416] = 0x67 as u8 452 sig[417] = 0x45 as u8 453 sig[418] = 0x03 as u8 454 sig[419] = 0xf2 as u8 455 sig[420] = 0x2b as u8 456 sig[421] = 0xfa as u8 457 sig[422] = 0x66 as u8 458 sig[423] = 0x6c as u8 459 sig[424] = 0xee as u8 460 sig[425] = 0x9e as u8 461 sig[426] = 0x1d as u8 462 sig[427] = 0xb9 as u8 463 sig[428] = 0x89 as u8 464 sig[429] = 0x8c as u8 465 sig[430] = 0x9e as u8 466 sig[431] = 0x59 as u8 467 sig[432] = 0xc9 as u8 468 sig[433] = 0x91 as u8 469 sig[434] = 0xbd as u8 470 sig[435] = 0xfc as u8 471 sig[436] = 0xe2 as u8 472 sig[437] = 0x28 as u8 473 sig[438] = 0x15 as u8 474 sig[439] = 0x42 as u8 475 sig[440] = 0x7c as u8 476 sig[441] = 0xa6 as u8 477 sig[442] = 0x3e as u8 478 sig[443] = 0x5b as u8 479 sig[444] = 0xe8 as u8 480 sig[445] = 0x3d as u8 481 sig[446] = 0x9a as u8 482 sig[447] = 0xcd as u8 483 sig[448] = 0x7f as u8 484 sig[449] = 0x13 as u8 485 sig[450] = 0x36 as u8 486 sig[451] = 0x1a as u8 487 sig[452] = 0xc2 as u8 488 sig[453] = 0xd5 as u8 489 sig[454] = 0x05 as u8 490 sig[455] = 0xbe as u8 491 sig[456] = 0x5f as u8 492 sig[457] = 0x94 as u8 493 sig[458] = 0x03 as u8 494 sig[459] = 0xf1 as u8 495 sig[460] = 0xa5 as u8 496 sig[461] = 0x93 as u8 497 sig[462] = 0x2c as u8 498 sig[463] = 0xb6 as u8 499 sig[464] = 0x5b as u8 500 sig[465] = 0x9a as u8 501 sig[466] = 0x71 as u8 502 sig[467] = 0xb5 as u8 503 sig[468] = 0x38 as u8 504 sig[469] = 0x20 as u8 505 sig[470] = 0xba as u8 506 sig[471] = 0x26 as u8 507 sig[472] = 0xdc as u8 508 sig[473] = 0xe5 as u8 509 sig[474] = 0x46 as u8 510 sig[475] = 0x15 as u8 511 sig[476] = 0xbb as u8 512 sig[477] = 0xb6 as u8 513 sig[478] = 0x5c as u8 514 sig[479] = 0x71 as u8 515 sig[480] = 0xba as u8 516 sig[481] = 0x6c as u8 517 sig[482] = 0x72 as u8 518 sig[483] = 0x12 as u8 519 sig[484] = 0x5d as u8 520 sig[485] = 0x6d as u8 521 sig[486] = 0xa2 as u8 522 sig[487] = 0x2e as u8 523 sig[488] = 0xe2 as u8 524 sig[489] = 0x93 as u8 525 sig[490] = 0x4f as u8 526 sig[491] = 0x01 as u8 527 sig[492] = 0xa5 as u8 528 sig[493] = 0x8e as u8 529 sig[494] = 0xe0 as u8 530 sig[495] = 0x08 as u8 531 sig[496] = 0xec as u8 532 sig[497] = 0x13 as u8 533 sig[498] = 0xa9 as u8 534 sig[499] = 0x8c as u8 535 sig[500] = 0xf5 as u8 536 sig[501] = 0xad as u8 537 sig[502] = 0xbd as u8 538 sig[503] = 0xd5 as u8 539 sig[504] = 0x2c as u8 540 sig[505] = 0x1c as u8 541 sig[506] = 0x70 as u8 542 sig[507] = 0x58 as u8 543 sig[508] = 0x77 as u8 544 sig[509] = 0xc7 as u8 545 sig[510] = 0x3e as u8 546 sig[511] = 0x45 as u8 547 let nbe: *u8 = (sys_mmap(520)) as *u8 548 nbe[0] = 0xe3 as u8 549 nbe[1] = 0x5c as u8 550 nbe[2] = 0x4b as u8 551 nbe[3] = 0x64 as u8 552 nbe[4] = 0xd6 as u8 553 nbe[5] = 0x58 as u8 554 nbe[6] = 0x9c as u8 555 nbe[7] = 0x56 as u8 556 nbe[8] = 0x5c as u8 557 nbe[9] = 0x41 as u8 558 nbe[10] = 0xaf as u8 559 nbe[11] = 0x77 as u8 560 nbe[12] = 0x78 as u8 561 nbe[13] = 0x73 as u8 562 nbe[14] = 0x2e as u8 563 nbe[15] = 0x81 as u8 564 nbe[16] = 0xc8 as u8 565 nbe[17] = 0xfa as u8 566 nbe[18] = 0xdb as u8 567 nbe[19] = 0xd1 as u8 568 nbe[20] = 0x66 as u8 569 nbe[21] = 0x49 as u8 570 nbe[22] = 0xec as u8 571 nbe[23] = 0x52 as u8 572 nbe[24] = 0xbb as u8 573 nbe[25] = 0xce as u8 574 nbe[26] = 0x19 as u8 575 nbe[27] = 0x7a as u8 576 nbe[28] = 0xae as u8 577 nbe[29] = 0xe7 as u8 578 nbe[30] = 0x72 as u8 579 nbe[31] = 0xa2 as u8 580 nbe[32] = 0x0e as u8 581 nbe[33] = 0x72 as u8 582 nbe[34] = 0xae as u8 583 nbe[35] = 0x9e as u8 584 nbe[36] = 0x1a as u8 585 nbe[37] = 0xd2 as u8 586 nbe[38] = 0x0b as u8 587 nbe[39] = 0xce as u8 588 nbe[40] = 0x3f as u8 589 nbe[41] = 0x04 as u8 590 nbe[42] = 0x86 as u8 591 nbe[43] = 0x93 as u8 592 nbe[44] = 0x24 as u8 593 nbe[45] = 0xb7 as u8 594 nbe[46] = 0x69 as u8 595 nbe[47] = 0x87 as u8 596 nbe[48] = 0x78 as u8 597 nbe[49] = 0x5e as u8 598 nbe[50] = 0x2a as u8 599 nbe[51] = 0x8d as u8 600 nbe[52] = 0x6f as u8 601 nbe[53] = 0xf2 as u8 602 nbe[54] = 0x53 as u8 603 nbe[55] = 0xd7 as u8 604 nbe[56] = 0x41 as u8 605 nbe[57] = 0xbe as u8 606 nbe[58] = 0x38 as u8 607 nbe[59] = 0x68 as u8 608 nbe[60] = 0xdc as u8 609 nbe[61] = 0xb3 as u8 610 nbe[62] = 0x47 as u8 611 nbe[63] = 0x07 as u8 612 nbe[64] = 0x1b as u8 613 nbe[65] = 0xbb as u8 614 nbe[66] = 0x63 as u8 615 nbe[67] = 0x48 as u8 616 nbe[68] = 0x41 as u8 617 nbe[69] = 0xad as u8 618 nbe[70] = 0xff as u8 619 nbe[71] = 0x33 as u8 620 nbe[72] = 0xba as u8 621 nbe[73] = 0x83 as u8 622 nbe[74] = 0x12 as u8 623 nbe[75] = 0x43 as u8 624 nbe[76] = 0xfc as u8 625 nbe[77] = 0x16 as u8 626 nbe[78] = 0x2e as u8 627 nbe[79] = 0xbd as u8 628 nbe[80] = 0xdf as u8 629 nbe[81] = 0xef as u8 630 nbe[82] = 0xe4 as u8 631 nbe[83] = 0xb1 as u8 632 nbe[84] = 0x0e as u8 633 nbe[85] = 0xc5 as u8 634 nbe[86] = 0x85 as u8 635 nbe[87] = 0x62 as u8 636 nbe[88] = 0x1c as u8 637 nbe[89] = 0xa0 as u8 638 nbe[90] = 0xaf as u8 639 nbe[91] = 0x13 as u8 640 nbe[92] = 0xeb as u8 641 nbe[93] = 0xcb as u8 642 nbe[94] = 0xff as u8 643 nbe[95] = 0xae as u8 644 nbe[96] = 0xe1 as u8 645 nbe[97] = 0x4d as u8 646 nbe[98] = 0x1f as u8 647 nbe[99] = 0x43 as u8 648 nbe[100] = 0x90 as u8 649 nbe[101] = 0xb2 as u8 650 nbe[102] = 0xab as u8 651 nbe[103] = 0xf9 as u8 652 nbe[104] = 0xd1 as u8 653 nbe[105] = 0xbf as u8 654 nbe[106] = 0x1e as u8 655 nbe[107] = 0xb0 as u8 656 nbe[108] = 0x99 as u8 657 nbe[109] = 0x96 as u8 658 nbe[110] = 0xd4 as u8 659 nbe[111] = 0x71 as u8 660 nbe[112] = 0x91 as u8 661 nbe[113] = 0xd1 as u8 662 nbe[114] = 0x75 as u8 663 nbe[115] = 0x8b as u8 664 nbe[116] = 0x80 as u8 665 nbe[117] = 0x8c as u8 666 nbe[118] = 0x4a as u8 667 nbe[119] = 0x8b as u8 668 nbe[120] = 0x41 as u8 669 nbe[121] = 0x24 as u8 670 nbe[122] = 0x08 as u8 671 nbe[123] = 0xc7 as u8 672 nbe[124] = 0xd5 as u8 673 nbe[125] = 0xe1 as u8 674 nbe[126] = 0xc6 as u8 675 nbe[127] = 0x62 as u8 676 nbe[128] = 0x4b as u8 677 nbe[129] = 0x2f as u8 678 nbe[130] = 0x17 as u8 679 nbe[131] = 0x0e as u8 680 nbe[132] = 0x42 as u8 681 nbe[133] = 0xe8 as u8 682 nbe[134] = 0x99 as u8 683 nbe[135] = 0xb9 as u8 684 nbe[136] = 0x6f as u8 685 nbe[137] = 0x18 as u8 686 nbe[138] = 0x16 as u8 687 nbe[139] = 0xbf as u8 688 nbe[140] = 0x7b as u8 689 nbe[141] = 0x87 as u8 690 nbe[142] = 0x70 as u8 691 nbe[143] = 0xa0 as u8 692 nbe[144] = 0xcc as u8 693 nbe[145] = 0x6b as u8 694 nbe[146] = 0x22 as u8 695 nbe[147] = 0x6c as u8 696 nbe[148] = 0x03 as u8 697 nbe[149] = 0x3d as u8 698 nbe[150] = 0x35 as u8 699 nbe[151] = 0xed as u8 700 nbe[152] = 0x4b as u8 701 nbe[153] = 0x86 as u8 702 nbe[154] = 0x89 as u8 703 nbe[155] = 0xa1 as u8 704 nbe[156] = 0xc3 as u8 705 nbe[157] = 0xe8 as u8 706 nbe[158] = 0xcf as u8 707 nbe[159] = 0x1e as u8 708 nbe[160] = 0xc6 as u8 709 nbe[161] = 0xe2 as u8 710 nbe[162] = 0xcd as u8 711 nbe[163] = 0x94 as u8 712 nbe[164] = 0x6b as u8 713 nbe[165] = 0xea as u8 714 nbe[166] = 0x6c as u8 715 nbe[167] = 0x87 as u8 716 nbe[168] = 0x0b as u8 717 nbe[169] = 0x05 as u8 718 nbe[170] = 0x9d as u8 719 nbe[171] = 0x0e as u8 720 nbe[172] = 0x8d as u8 721 nbe[173] = 0x46 as u8 722 nbe[174] = 0xe4 as u8 723 nbe[175] = 0x4d as u8 724 nbe[176] = 0x10 as u8 725 nbe[177] = 0xa6 as u8 726 nbe[178] = 0x20 as u8 727 nbe[179] = 0xa1 as u8 728 nbe[180] = 0xd3 as u8 729 nbe[181] = 0x42 as u8 730 nbe[182] = 0x63 as u8 731 nbe[183] = 0x28 as u8 732 nbe[184] = 0x79 as u8 733 nbe[185] = 0x34 as u8 734 nbe[186] = 0x4b as u8 735 nbe[187] = 0x1e as u8 736 nbe[188] = 0x77 as u8 737 nbe[189] = 0x62 as u8 738 nbe[190] = 0x88 as u8 739 nbe[191] = 0x86 as u8 740 nbe[192] = 0x6d as u8 741 nbe[193] = 0x35 as u8 742 nbe[194] = 0x17 as u8 743 nbe[195] = 0x03 as u8 744 nbe[196] = 0xc3 as u8 745 nbe[197] = 0xbc as u8 746 nbe[198] = 0x67 as u8 747 nbe[199] = 0x99 as u8 748 nbe[200] = 0x60 as u8 749 nbe[201] = 0x5f as u8 750 nbe[202] = 0x41 as u8 751 nbe[203] = 0xe6 as u8 752 nbe[204] = 0xc4 as u8 753 nbe[205] = 0x86 as u8 754 nbe[206] = 0xf4 as u8 755 nbe[207] = 0x66 as u8 756 nbe[208] = 0x62 as u8 757 nbe[209] = 0x1b as u8 758 nbe[210] = 0x28 as u8 759 nbe[211] = 0x67 as u8 760 nbe[212] = 0x59 as u8 761 nbe[213] = 0x2a as u8 762 nbe[214] = 0xf3 as u8 763 nbe[215] = 0xcc as u8 764 nbe[216] = 0xf9 as u8 765 nbe[217] = 0xf1 as u8 766 nbe[218] = 0xf8 as u8 767 nbe[219] = 0xaf as u8 768 nbe[220] = 0x7d as u8 769 nbe[221] = 0x6a as u8 770 nbe[222] = 0x8d as u8 771 nbe[223] = 0xbb as u8 772 nbe[224] = 0x5d as u8 773 nbe[225] = 0x59 as u8 774 nbe[226] = 0x65 as u8 775 nbe[227] = 0x77 as u8 776 nbe[228] = 0x35 as u8 777 nbe[229] = 0xbb as u8 778 nbe[230] = 0x5c as u8 779 nbe[231] = 0xca as u8 780 nbe[232] = 0x0a as u8 781 nbe[233] = 0x6c as u8 782 nbe[234] = 0xc9 as u8 783 nbe[235] = 0x65 as u8 784 nbe[236] = 0x27 as u8 785 nbe[237] = 0x72 as u8 786 nbe[238] = 0x72 as u8 787 nbe[239] = 0xaa as u8 788 nbe[240] = 0x71 as u8 789 nbe[241] = 0xfe as u8 790 nbe[242] = 0xef as u8 791 nbe[243] = 0xb0 as u8 792 nbe[244] = 0x92 as u8 793 nbe[245] = 0x21 as u8 794 nbe[246] = 0x66 as u8 795 nbe[247] = 0x74 as u8 796 nbe[248] = 0x65 as u8 797 nbe[249] = 0x62 as u8 798 nbe[250] = 0x51 as u8 799 nbe[251] = 0x80 as u8 800 nbe[252] = 0x33 as u8 801 nbe[253] = 0x2e as u8 802 nbe[254] = 0x5c as u8 803 nbe[255] = 0x9b as u8 804 nbe[256] = 0xd6 as u8 805 nbe[257] = 0x70 as u8 806 nbe[258] = 0xdd as u8 807 nbe[259] = 0x34 as u8 808 nbe[260] = 0x69 as u8 809 nbe[261] = 0x11 as u8 810 nbe[262] = 0x41 as u8 811 nbe[263] = 0x52 as u8 812 nbe[264] = 0x9b as u8 813 nbe[265] = 0xcb as u8 814 nbe[266] = 0x54 as u8 815 nbe[267] = 0x65 as u8 816 nbe[268] = 0x02 as u8 817 nbe[269] = 0xf6 as u8 818 nbe[270] = 0x9a as u8 819 nbe[271] = 0xe3 as u8 820 nbe[272] = 0xb0 as u8 821 nbe[273] = 0x0c as u8 822 nbe[274] = 0x67 as u8 823 nbe[275] = 0x55 as u8 824 nbe[276] = 0xe9 as u8 825 nbe[277] = 0x20 as u8 826 nbe[278] = 0x6c as u8 827 nbe[279] = 0x78 as u8 828 nbe[280] = 0xca as u8 829 nbe[281] = 0x40 as u8 830 nbe[282] = 0xc6 as u8 831 nbe[283] = 0x8f as u8 832 nbe[284] = 0xb6 as u8 833 nbe[285] = 0x41 as u8 834 nbe[286] = 0x41 as u8 835 nbe[287] = 0x59 as u8 836 nbe[288] = 0xb5 as u8 837 nbe[289] = 0xc7 as u8 838 nbe[290] = 0x1d as u8 839 nbe[291] = 0xc4 as u8 840 nbe[292] = 0x5b as u8 841 nbe[293] = 0x31 as u8 842 nbe[294] = 0xd3 as u8 843 nbe[295] = 0x83 as u8 844 nbe[296] = 0xc5 as u8 845 nbe[297] = 0x1c as u8 846 nbe[298] = 0x2f as u8 847 nbe[299] = 0x48 as u8 848 nbe[300] = 0x2f as u8 849 nbe[301] = 0xaa as u8 850 nbe[302] = 0xa9 as u8 851 nbe[303] = 0xd6 as u8 852 nbe[304] = 0x0b as u8 853 nbe[305] = 0xaa as u8 854 nbe[306] = 0x15 as u8 855 nbe[307] = 0xf2 as u8 856 nbe[308] = 0xcd as u8 857 nbe[309] = 0x51 as u8 858 nbe[310] = 0x3a as u8 859 nbe[311] = 0x9b as u8 860 nbe[312] = 0x84 as u8 861 nbe[313] = 0x85 as u8 862 nbe[314] = 0xc1 as u8 863 nbe[315] = 0x8c as u8 864 nbe[316] = 0xcb as u8 865 nbe[317] = 0xbc as u8 866 nbe[318] = 0xf0 as u8 867 nbe[319] = 0xf1 as u8 868 nbe[320] = 0x3b as u8 869 nbe[321] = 0xe9 as u8 870 nbe[322] = 0x02 as u8 871 nbe[323] = 0x4a as u8 872 nbe[324] = 0xd7 as u8 873 nbe[325] = 0x04 as u8 874 nbe[326] = 0xff as u8 875 nbe[327] = 0xf3 as u8 876 nbe[328] = 0x95 as u8 877 nbe[329] = 0xe5 as u8 878 nbe[330] = 0x28 as u8 879 nbe[331] = 0xdb as u8 880 nbe[332] = 0x52 as u8 881 nbe[333] = 0xd7 as u8 882 nbe[334] = 0xff as u8 883 nbe[335] = 0x37 as u8 884 nbe[336] = 0xa2 as u8 885 nbe[337] = 0xea as u8 886 nbe[338] = 0x96 as u8 887 nbe[339] = 0x85 as u8 888 nbe[340] = 0x0d as u8 889 nbe[341] = 0x27 as u8 890 nbe[342] = 0x5f as u8 891 nbe[343] = 0x70 as u8 892 nbe[344] = 0xae as u8 893 nbe[345] = 0x1e as u8 894 nbe[346] = 0xa4 as u8 895 nbe[347] = 0x90 as u8 896 nbe[348] = 0x95 as u8 897 nbe[349] = 0x10 as u8 898 nbe[350] = 0x49 as u8 899 nbe[351] = 0xa2 as u8 900 nbe[352] = 0x7e as u8 901 nbe[353] = 0x7a as u8 902 nbe[354] = 0x5e as u8 903 nbe[355] = 0x42 as u8 904 nbe[356] = 0x70 as u8 905 nbe[357] = 0xd0 as u8 906 nbe[358] = 0x91 as u8 907 nbe[359] = 0xc8 as u8 908 nbe[360] = 0x10 as u8 909 nbe[361] = 0xee as u8 910 nbe[362] = 0xa6 as u8 911 nbe[363] = 0x2f as u8 912 nbe[364] = 0x51 as u8 913 nbe[365] = 0xf9 as u8 914 nbe[366] = 0x77 as u8 915 nbe[367] = 0x0c as u8 916 nbe[368] = 0x55 as u8 917 nbe[369] = 0xd7 as u8 918 nbe[370] = 0xda as u8 919 nbe[371] = 0x7c as u8 920 nbe[372] = 0xd8 as u8 921 nbe[373] = 0x69 as u8 922 nbe[374] = 0x1f as u8 923 nbe[375] = 0xa4 as u8 924 nbe[376] = 0x91 as u8 925 nbe[377] = 0x8a as u8 926 nbe[378] = 0x5c as u8 927 nbe[379] = 0xc9 as u8 928 nbe[380] = 0xc0 as u8 929 nbe[381] = 0xd6 as u8 930 nbe[382] = 0x24 as u8 931 nbe[383] = 0x79 as u8 932 nbe[384] = 0x01 as u8 933 nbe[385] = 0xe6 as u8 934 nbe[386] = 0x48 as u8 935 nbe[387] = 0xdd as u8 936 nbe[388] = 0xdd as u8 937 nbe[389] = 0x54 as u8 938 nbe[390] = 0xea as u8 939 nbe[391] = 0x73 as u8 940 nbe[392] = 0xcc as u8 941 nbe[393] = 0x4e as u8 942 nbe[394] = 0xdd as u8 943 nbe[395] = 0x04 as u8 944 nbe[396] = 0x1d as u8 945 nbe[397] = 0x9e as u8 946 nbe[398] = 0x77 as u8 947 nbe[399] = 0x0b as u8 948 nbe[400] = 0xf2 as u8 949 nbe[401] = 0xfd as u8 950 nbe[402] = 0x3c as u8 951 nbe[403] = 0x09 as u8 952 nbe[404] = 0x7a as u8 953 nbe[405] = 0x2a as u8 954 nbe[406] = 0x12 as u8 955 nbe[407] = 0x0a as u8 956 nbe[408] = 0x5a as u8 957 nbe[409] = 0xdd as u8 958 nbe[410] = 0x21 as u8 959 nbe[411] = 0xad as u8 960 nbe[412] = 0x58 as u8 961 nbe[413] = 0x7a as u8 962 nbe[414] = 0xfc as u8 963 nbe[415] = 0x6b as u8 964 nbe[416] = 0x13 as u8 965 nbe[417] = 0xc9 as u8 966 nbe[418] = 0x5e as u8 967 nbe[419] = 0xc6 as u8 968 nbe[420] = 0x58 as u8 969 nbe[421] = 0x1b as u8 970 nbe[422] = 0x76 as u8 971 nbe[423] = 0x87 as u8 972 nbe[424] = 0x10 as u8 973 nbe[425] = 0x14 as u8 974 nbe[426] = 0xac as u8 975 nbe[427] = 0x6e as u8 976 nbe[428] = 0x96 as u8 977 nbe[429] = 0xb1 as u8 978 nbe[430] = 0x1f as u8 979 nbe[431] = 0x70 as u8 980 nbe[432] = 0x9e as u8 981 nbe[433] = 0xcd as u8 982 nbe[434] = 0xc9 as u8 983 nbe[435] = 0x1d as u8 984 nbe[436] = 0x86 as u8 985 nbe[437] = 0x7a as u8 986 nbe[438] = 0xeb as u8 987 nbe[439] = 0xc7 as u8 988 nbe[440] = 0x06 as u8 989 nbe[441] = 0x7d as u8 990 nbe[442] = 0x92 as u8 991 nbe[443] = 0x74 as u8 992 nbe[444] = 0xa3 as u8 993 nbe[445] = 0x77 as u8 994 nbe[446] = 0x1c as u8 995 nbe[447] = 0x9b as u8 996 nbe[448] = 0x29 as u8 997 nbe[449] = 0x9d as u8 998 nbe[450] = 0x76 as u8 999 nbe[451] = 0xd7 as u8 1000 nbe[452] = 0x44 as u8 1001 nbe[453] = 0x91 as u8 1002 nbe[454] = 0xc5 as u8 1003 nbe[455] = 0xa9 as u8 1004 nbe[456] = 0x7e as u8 1005 nbe[457] = 0xea as u8 1006 nbe[458] = 0x7b as u8 1007 nbe[459] = 0x7d as u8 1008 nbe[460] = 0xb1 as u8 1009 nbe[461] = 0x13 as u8 1010 nbe[462] = 0x92 as u8 1011 nbe[463] = 0xf4 as u8 1012 nbe[464] = 0x01 as u8 1013 nbe[465] = 0x90 as u8 1014 nbe[466] = 0x2d as u8 1015 nbe[467] = 0x2e as u8 1016 nbe[468] = 0x6c as u8 1017 nbe[469] = 0xd5 as u8 1018 nbe[470] = 0xb1 as u8 1019 nbe[471] = 0xec as u8 1020 nbe[472] = 0x1b as u8 1021 nbe[473] = 0x61 as u8 1022 nbe[474] = 0x01 as u8 1023 nbe[475] = 0x4a as u8 1024 nbe[476] = 0xa3 as u8 1025 nbe[477] = 0x5d as u8 1026 nbe[478] = 0x75 as u8 1027 nbe[479] = 0x99 as u8 1028 nbe[480] = 0xa5 as u8 1029 nbe[481] = 0x26 as u8 1030 nbe[482] = 0x02 as u8 1031 nbe[483] = 0xcd as u8 1032 nbe[484] = 0x23 as u8 1033 nbe[485] = 0x50 as u8 1034 nbe[486] = 0x8b as u8 1035 nbe[487] = 0xaf as u8 1036 nbe[488] = 0xe1 as u8 1037 nbe[489] = 0x67 as u8 1038 nbe[490] = 0xf0 as u8 1039 nbe[491] = 0x0e as u8 1040 nbe[492] = 0xcd as u8 1041 nbe[493] = 0x30 as u8 1042 nbe[494] = 0xc9 as u8 1043 nbe[495] = 0x50 as u8 1044 nbe[496] = 0x95 as u8 1045 nbe[497] = 0xb1 as u8 1046 nbe[498] = 0x2e as u8 1047 nbe[499] = 0x07 as u8 1048 nbe[500] = 0x86 as u8 1049 nbe[501] = 0x51 as u8 1050 nbe[502] = 0xd4 as u8 1051 nbe[503] = 0xcd as u8 1052 nbe[504] = 0x75 as u8 1053 nbe[505] = 0x1c as u8 1054 nbe[506] = 0xee as u8 1055 nbe[507] = 0x5a as u8 1056 nbe[508] = 0xbb as u8 1057 nbe[509] = 0x85 as u8 1058 nbe[510] = 0x1b as u8 1059 nbe[511] = 0x85 as u8 1060 let nint: *i64 = u4096_alloc() 1061 u4096_load_be(nint, nbe) 1062 let v: i64 = rsa_pkcs1_v1_5_sha384_4096_verify(msg, 23, sig, nint, 65537) 1063 if v != NX_RSA_PKCS1_V15_384_OK { return v } 1064 msg[0] = 0x00 as u8 1065 let v2: i64 = rsa_pkcs1_v1_5_sha384_4096_verify(msg, 23, sig, nint, 65537) 1066 if v2 == NX_RSA_PKCS1_V15_384_OK { return 90 } 1067 return 0 1068}