Home
last modified time | relevance | path

Searched refs:u1 (Results 1 – 6 of 6) sorted by relevance

/mbedtls-3.5.0/library/
Decdsa.c50 mbedtls_mpi u1, u2; /* intermediate values */ member
62 mbedtls_mpi_init(&ctx->u1); in ecdsa_restart_ver_init()
76 mbedtls_mpi_free(&ctx->u1); in ecdsa_restart_ver_free()
508 mbedtls_mpi e, s_inv, u1, u2; in mbedtls_ecdsa_verify_restartable() local
510 mbedtls_mpi *pu1 = &u1, *pu2 = &u2; in mbedtls_ecdsa_verify_restartable()
514 mbedtls_mpi_init(&u1); mbedtls_mpi_init(&u2); in mbedtls_ecdsa_verify_restartable()
526 pu1 = &rs_ctx->ver->u1; in mbedtls_ecdsa_verify_restartable()
598 mbedtls_mpi_free(&u1); mbedtls_mpi_free(&u2); in mbedtls_ecdsa_verify_restartable()
Dbignum.c1237 static mbedtls_mpi_uint mbedtls_int_div_int(mbedtls_mpi_uint u1, in mbedtls_int_div_int() argument
1255 if (0 == d || u1 >= d) { in mbedtls_int_div_int()
1264 dividend = (mbedtls_t_udbl) u1 << biL; in mbedtls_int_div_int()
1289 u1 = u1 << s; in mbedtls_int_div_int()
1290 u1 |= (u0 >> (biL - s)) & (-(mbedtls_mpi_sint) s >> (biL - 1)); in mbedtls_int_div_int()
1302 q1 = u1 / d1; in mbedtls_int_div_int()
1303 r0 = u1 - d1 * q1; in mbedtls_int_div_int()
1314 rAX = (u1 * radix) + (u0_msw - q1 * d); in mbedtls_int_div_int()
Dbignum_core.c481 mbedtls_mpi_uint u1 = (T[0] + u0 * B[0]) * mm; in mbedtls_mpi_core_montmul() local
484 (void) mbedtls_mpi_core_mla(T, AN_limbs + 2, N, AN_limbs, u1); in mbedtls_mpi_core_montmul()
/mbedtls-3.5.0/tests/suites/
Dtest_suite_ecp.function262 * Compute R = u1 * G + u2 * Q
270 mbedtls_mpi u1, u2, xR, yR;
278 mbedtls_mpi_init(&u1); mbedtls_mpi_init(&u2);
283 TEST_ASSERT(mbedtls_test_read_mpi(&u1, u1_str) == 0);
298 &u1, &grp.G, &u2, &Q, &ctx);
312 &u1, &grp.G, &u2, &Q, &ctx);
321 mbedtls_mpi_free(&u1); mbedtls_mpi_free(&u2);
517 /* Compute R = u1 * P1 + u2 * P2 */
520 mbedtls_mpi u1, u2;
528 mbedtls_mpi_init(&u1);
[all …]
/mbedtls-3.5.0/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c392 uint64_t u1 = scrut.fst; in FStar_UInt128_mul_wide_impl() local
399 FStar_UInt128_u32_combine_(u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), in FStar_UInt128_mul_wide_impl()
404 + ((u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_)) >> FStar_UInt128_u32_32) in FStar_UInt128_mul_wide_impl()
/mbedtls-3.5.0/tests/data_files/
Drsa_pkcs8_pbes2_pbkdf2_4096_3des.pem52 FpldzwRoyFRjDnGVACMo/X1eaCwvew+1M8fcSs1p+qrBfrfRiI4tg8bNrYdL/0u1