Searched refs:u1 (Results 1 – 6 of 6) sorted by relevance
| /mbedtls-latest/3rdparty/p256-m/p256-m/ |
| D | p256-m.c | 1423 uint32_t u1[8], u2[8]; in p256_ecdsa_verify() local
1426 m256_mul(u1, e, s, &p256_n); /* u1 = e * s^-1 mod n */ in p256_ecdsa_verify()
1427 m256_done(u1, &p256_n); /* u1 out of Montgomery domain */ in p256_ecdsa_verify()
1442 if (u256_diff0(u1) == 0) { in p256_ecdsa_verify()
1444 u256_cmov(u1, e, 1); in p256_ecdsa_verify()
1447 scalar_mult(px, py, p256_gx, p256_gy, u1); /* (px, py) = R1 = u1 * G */ in p256_ecdsa_verify()
1450 point_add_or_double_leaky(u1, u2, px, py, e, s); in p256_ecdsa_verify()
1456 m256_done(u1, &p256_p); in p256_ecdsa_verify()
1459 ecdsa_m256_mod_n(u1); in p256_ecdsa_verify()
1462 uint32_t diff = u256_diff(u1, r); in p256_ecdsa_verify()
|
| /mbedtls-latest/library/ |
| D | ecdsa.c | 38 mbedtls_mpi u1, u2; /* intermediate values */ member
50 mbedtls_mpi_init(&ctx->u1); in ecdsa_restart_ver_init()
64 mbedtls_mpi_free(&ctx->u1); in ecdsa_restart_ver_free()
496 mbedtls_mpi e, s_inv, u1, u2; in mbedtls_ecdsa_verify_restartable() local
498 mbedtls_mpi *pu1 = &u1, *pu2 = &u2; in mbedtls_ecdsa_verify_restartable()
502 mbedtls_mpi_init(&u1); mbedtls_mpi_init(&u2); in mbedtls_ecdsa_verify_restartable()
514 pu1 = &rs_ctx->ver->u1; in mbedtls_ecdsa_verify_restartable()
586 mbedtls_mpi_free(&u1); mbedtls_mpi_free(&u2); in mbedtls_ecdsa_verify_restartable()
|
| D | bignum.c | 1290 static mbedtls_mpi_uint mbedtls_int_div_int(mbedtls_mpi_uint u1, in mbedtls_int_div_int() argument
1308 if (0 == d || u1 >= d) { in mbedtls_int_div_int()
1317 dividend = (mbedtls_t_udbl) u1 << biL; in mbedtls_int_div_int()
1342 u1 = u1 << s; in mbedtls_int_div_int()
1343 u1 |= (u0 >> (biL - s)) & (-(mbedtls_mpi_sint) s >> (biL - 1)); in mbedtls_int_div_int()
1355 q1 = u1 / d1; in mbedtls_int_div_int()
1356 r0 = u1 - d1 * q1; in mbedtls_int_div_int()
1367 rAX = (u1 * radix) + (u0_msw - q1 * d); in mbedtls_int_div_int()
|
| D | bignum_core.c | 540 mbedtls_mpi_uint u1 = (T[0] + u0 * B[0]) * mm; in mbedtls_mpi_core_montmul() local
543 (void) mbedtls_mpi_core_mla(T, AN_limbs + 2, N, AN_limbs, u1); in mbedtls_mpi_core_montmul()
|
| /mbedtls-latest/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt128_extracted.c | 392 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-latest/tests/suites/ |
| D | test_suite_ecp.function | 258 * Compute R = u1 * G + u2 * Q
266 mbedtls_mpi u1, u2, xR, yR;
274 mbedtls_mpi_init(&u1); mbedtls_mpi_init(&u2);
279 TEST_ASSERT(mbedtls_test_read_mpi(&u1, u1_str) == 0);
294 &u1, &grp.G, &u2, &Q, &ctx);
308 &u1, &grp.G, &u2, &Q, &ctx);
317 mbedtls_mpi_free(&u1); mbedtls_mpi_free(&u2);
513 /* Compute R = u1 * P1 + u2 * P2 */
516 mbedtls_mpi u1, u2;
524 mbedtls_mpi_init(&u1);
[all …]
|
