Home
last modified time | relevance | path

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

/mbedtls-development/library/
A Decdsa.c63 mbedtls_mpi u1, u2; /* intermediate values */ member
75 mbedtls_mpi_init( &ctx->u1 ); in ecdsa_restart_ver_init()
88 mbedtls_mpi_free( &ctx->u1 ); in ecdsa_restart_ver_free()
530 mbedtls_mpi e, s_inv, u1, u2; in ecdsa_verify_restartable() local
532 mbedtls_mpi *pu1 = &u1, *pu2 = &u2; in ecdsa_verify_restartable()
536 mbedtls_mpi_init( &u1 ); mbedtls_mpi_init( &u2 ); in ecdsa_verify_restartable()
548 pu1 = &rs_ctx->ver->u1; in ecdsa_verify_restartable()
621 mbedtls_mpi_free( &u1 ); mbedtls_mpi_free( &u2 ); in ecdsa_verify_restartable()
A Dbignum.c1803 static mbedtls_mpi_uint mbedtls_int_div_int( mbedtls_mpi_uint u1, in mbedtls_int_div_int() argument
1819 if( 0 == d || u1 >= d ) in mbedtls_int_div_int()
1827 dividend = (mbedtls_t_udbl) u1 << biL; in mbedtls_int_div_int()
1850 u1 = u1 << s; in mbedtls_int_div_int()
1851 u1 |= ( u0 >> ( biL - s ) ) & ( -(mbedtls_mpi_sint)s >> ( biL - 1 ) ); in mbedtls_int_div_int()
1863 q1 = u1 / d1; in mbedtls_int_div_int()
1864 r0 = u1 - d1 * q1; in mbedtls_int_div_int()
1874 rAX = ( u1 * radix ) + ( u0_msw - q1 * d ); in mbedtls_int_div_int()
2170 mbedtls_mpi_uint u0, u1, *d; in mpi_montmul() local
2184 u1 = ( d[0] + u0 * B->p[0] ) * mm; in mpi_montmul()
[all …]
/mbedtls-development/tests/suites/
A Dtest_suite_ecp.function204 * Compute R = u1 * G + u2 * Q
212 mbedtls_mpi u1, u2, xR, yR;
220 mbedtls_mpi_init( &u1 ); mbedtls_mpi_init( &u2 );
225 TEST_ASSERT( mbedtls_test_read_mpi( &u1, 16, u1_str ) == 0 );
240 &u1, &grp.G, &u2, &Q, &ctx );
264 mbedtls_mpi_free( &u1 ); mbedtls_mpi_free( &u2 );
461 /* Compute R = u1 * P1 + u2 * P2 */
464 mbedtls_mpi u1, u2;
472 mbedtls_mpi_init( &u1 );
483 TEST_EQUAL( 0, mbedtls_ecp_muladd( &grp, &R, &u1, &P1, &u2, &P2 ) );
[all …]
/mbedtls-development/3rdparty/everest/library/kremlib/
A 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-development/tests/data_files/
A Drsa_pkcs8_pbes2_pbkdf2_4096_3des.pem52 FpldzwRoyFRjDnGVACMo/X1eaCwvew+1M8fcSs1p+qrBfrfRiI4tg8bNrYdL/0u1

Completed in 12 milliseconds