Home
last modified time | relevance | path

Searched refs:U (Results 1 – 17 of 17) sorted by relevance

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c34 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top()
38 b[0U] = b0_; in Hacl_Bignum_Modulo_carry_top()
44 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_copy_from_wide_()
55 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
66 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_carry_wide_()
84 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fmul_shift_reduce()
91 output[0U] = tmp; in Hacl_Bignum_Fmul_shift_reduce()
92 b0 = output[0U]; in Hacl_Bignum_Fmul_shift_reduce()
93 output[0U] = (uint64_t)19U * b0; in Hacl_Bignum_Fmul_shift_reduce()
103 for (i0 = (uint32_t)0U; i0 < (uint32_t)4U; i0 = i0 + (uint32_t)1U) in Hacl_Bignum_Fmul_mul_shift_reduce_()
[all …]
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c37 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top()
41 b[0U] = b0_; in Hacl_Bignum_Modulo_carry_top()
48 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_copy_from_wide_()
63 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
74 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_carry_wide_()
92 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fmul_shift_reduce()
99 output[0U] = tmp; in Hacl_Bignum_Fmul_shift_reduce()
100 b0 = output[0U]; in Hacl_Bignum_Fmul_shift_reduce()
101 output[0U] = (uint64_t)19U * b0; in Hacl_Bignum_Fmul_shift_reduce()
115 for (i0 = (uint32_t)0U; i0 < (uint32_t)4U; i0 = i0 + (uint32_t)1U) in Hacl_Bignum_Fmul_mul_shift_reduce_()
[all …]
/mbedtls-latest/library/
Dpoly1305.c73 size_t offset = 0U; in poly1305_process()
92 for (i = 0U; i < nblocks; i++) { in poly1305_process()
203 mask = (uint32_t) 0U - (g4 >> 2U); in poly1305_compute_mac()
257 ctx->acc[0] = 0U; in mbedtls_poly1305_starts()
258 ctx->acc[1] = 0U; in mbedtls_poly1305_starts()
259 ctx->acc[2] = 0U; in mbedtls_poly1305_starts()
260 ctx->acc[3] = 0U; in mbedtls_poly1305_starts()
261 ctx->acc[4] = 0U; in mbedtls_poly1305_starts()
265 ctx->queue_len = 0U; in mbedtls_poly1305_starts()
274 size_t offset = 0U; in mbedtls_poly1305_update()
[all …]
Dchachapoly.c39 if (partial_block_len == 0U) { in chachapoly_pad_aad()
60 if (partial_block_len == 0U) { in chachapoly_pad_ciphertext()
74 ctx->aad_len = 0U; in mbedtls_chachapoly_init()
75 ctx->ciphertext_len = 0U; in mbedtls_chachapoly_init()
88 ctx->aad_len = 0U; in mbedtls_chachapoly_free()
89 ctx->ciphertext_len = 0U; in mbedtls_chachapoly_free()
112 ret = mbedtls_chacha20_starts(&ctx->chacha20_ctx, nonce, 0U); in mbedtls_chachapoly_starts()
132 ctx->aad_len = 0U; in mbedtls_chachapoly_starts()
133 ctx->ciphertext_len = 0U; in mbedtls_chachapoly_starts()
435 for (i = 0U; i < 1U; i++) { in mbedtls_chachapoly_self_test()
Dchacha20.c113 for (i = 0U; i < 10U; i++) { in chacha20_block()
134 for (i = 0U; i < 16; i++) { in chacha20_block()
206 size_t offset = 0U; in mbedtls_chacha20_update()
209 while (size > 0U && ctx->keystream_bytes_used < CHACHA20_BLOCK_SIZE_BYTES) { in mbedtls_chacha20_update()
231 if (size > 0U) { in mbedtls_chacha20_update()
308 0U,
466 for (i = 0U; i < 2U; i++) { in mbedtls_chacha20_self_test()
Ddhm.c81 mbedtls_mpi U; in dhm_check_range() local
84 mbedtls_mpi_init(&U); in dhm_check_range()
86 MBEDTLS_MPI_CHK(mbedtls_mpi_sub_int(&U, P, 2)); in dhm_check_range()
89 mbedtls_mpi_cmp_mpi(param, &U) > 0) { in dhm_check_range()
94 mbedtls_mpi_free(&U); in dhm_check_range()
Dbignum.c2319 mbedtls_mpi A, E, N, X, Y, U, V; in mbedtls_mpi_self_test() local
2322 mbedtls_mpi_init(&Y); mbedtls_mpi_init(&U); mbedtls_mpi_init(&V); in mbedtls_mpi_self_test()
2343 MBEDTLS_MPI_CHK(mbedtls_mpi_read_string(&U, 16, in mbedtls_mpi_self_test()
2356 if (mbedtls_mpi_cmp_mpi(&X, &U) != 0) { in mbedtls_mpi_self_test()
2371 MBEDTLS_MPI_CHK(mbedtls_mpi_read_string(&U, 16, in mbedtls_mpi_self_test()
2383 if (mbedtls_mpi_cmp_mpi(&X, &U) != 0 || in mbedtls_mpi_self_test()
2399 MBEDTLS_MPI_CHK(mbedtls_mpi_read_string(&U, 16, in mbedtls_mpi_self_test()
2408 if (mbedtls_mpi_cmp_mpi(&X, &U) != 0) { in mbedtls_mpi_self_test()
2423 MBEDTLS_MPI_CHK(mbedtls_mpi_read_string(&U, 16, in mbedtls_mpi_self_test()
2432 if (mbedtls_mpi_cmp_mpi(&X, &U) != 0) { in mbedtls_mpi_self_test()
[all …]
Dcipher.c457 0U)) { /* Initial counter value */ in mbedtls_cipher_set_iv()
/mbedtls-latest/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c124 if (s == (uint32_t)0U) in FStar_UInt128_shift_left_small()
139 FStar_UInt128_uint128 flat = { (uint64_t)0U, a.low << (s - FStar_UInt128_u32_64) }; in FStar_UInt128_shift_left_large()
168 if (s == (uint32_t)0U) in FStar_UInt128_shift_right_small()
183 FStar_UInt128_uint128 flat = { a.high >> (s - FStar_UInt128_u32_64), (uint64_t)0U }; in FStar_UInt128_shift_right_large()
254 FStar_UInt128_uint128 flat = { a, (uint64_t)0U }; in FStar_UInt128_uint64_to_uint128()
/mbedtls-latest/tests/suites/
Dtest_suite_chacha20.function23 TEST_ASSERT(key_str->len == 32U);
24 TEST_ASSERT(nonce_str->len == 12U);
Dtest_suite_chachapoly.function36 TEST_ASSERT(memcmp(mac_str->x, mac, 16U) == 0);
Dtest_suite_psa_crypto.data6387 derive_set_capacity:PSA_ALG_TLS12_PSK_TO_MS(PSA_ALG_SHA_256):48U + 1U:PSA_ERROR_INVALID_ARGUMENT
6391 derive_set_capacity:PSA_ALG_TLS12_PSK_TO_MS(PSA_ALG_SHA_384):48U + 1U:PSA_ERROR_INVALID_ARGUMENT
6741 # Input cost is set to 1U for testing purposes.
Dtest_suite_psa_crypto.function43 static const size_t INVALID_EXPORT_LENGTH = ~0U;
/mbedtls-latest/docs/architecture/psa-migration/
Dsyms.sh51 syms U $FILE > ${PREF}-unresolved
/mbedtls-latest/docs/proposed/
Dpsa-conditional-inclusion-c.md153 * (U) indicates a symbol that is defined by the user (application).
159 | `MBEDTLS_xxx_C` | `mbedtls/mbedtls_config.h` (U) or | `mbedtls/mbedtls_config.h` (U) …
161 | `PSA_WANT_xxx` | `psa/crypto_config.h` (U) | `mbedtls/config_psa.h` (D) …
/mbedtls-latest/programs/test/
Dbenchmark.c959 TIME_AND_TSC("ChaCha20", mbedtls_chacha20_crypt(buf, buf, 0U, BUFSIZE, buf, buf)); in main()
/mbedtls-latest/3rdparty/p256-m/p256-m/
DREADME.md270 _64-bit Intel_ (i7-6500U at 2.50GHz) laptop running Ubuntu 20.04