Home
last modified time | relevance | path

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

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c166 uint64_t d4 = d419 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__() local
167 uint128_t s0 = (uint128_t)r0 * r0 + (uint128_t)d4 * r1 + (uint128_t)d2 * r3; in Hacl_Bignum_Fsquare_fsquare__()
168 uint128_t s1 = (uint128_t)d0 * r1 + (uint128_t)d4 * r2 + (uint128_t)(r3 * (uint64_t)19U) * r3; in Hacl_Bignum_Fsquare_fsquare__()
169 uint128_t s2 = (uint128_t)d0 * r2 + (uint128_t)r1 * r1 + (uint128_t)d4 * r3; in Hacl_Bignum_Fsquare_fsquare__()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c181 uint64_t d4 = d419 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__() local
185 FStar_UInt128_mul_wide(d4, r1)), in Hacl_Bignum_Fsquare_fsquare__()
190 FStar_UInt128_mul_wide(d4, r2)), in Hacl_Bignum_Fsquare_fsquare__()
196 FStar_UInt128_mul_wide(d4, r3)); in Hacl_Bignum_Fsquare_fsquare__()
/mbedtls-latest/tests/suites/
Dtest_suite_debug.data63 … 39 ac f9 5a\nMyFile(0999)\: ee 7f 92 9e a6 05 5b e7 13 97 85 b5 23 92 d9 d4\nMyFile(0999)\: 24 …
67 … 87 56 fe fc 89 ba 29 43\nMyFile(0999)\: 4b 4e e0 6e c3 0e 57 53 33 39 58 d4 52 b4 91 95\nMyFile(…
Dtest_suite_aes.cfb.data475 …3ea31cd549e52eda7cb96fd1db14eddacbc420085ab48b747":"870ecd45b1241803ddaf8bad15a025d7":"17d4":"3572"
Dtest_suite_nist_kw.data415 …a629d328cf9fac7be0d6ead1cb2404e9bab87a2381a46eb1a81187c5":"5e01a2b9b8413f303a3578d2cc255fda":"d4":0
/mbedtls-latest/docs/architecture/
Dmbed-crypto-storage-specification.md92 Tags: mbedcrypto-1.0.0d4, mbedcrypto-1.0.0