/mbedtls-3.5.0/3rdparty/everest/library/ |
D | Hacl_Curve25519.c | 34 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-3.5.0/3rdparty/everest/library/legacy/ |
D | Hacl_Curve25519.c | 37 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-3.5.0/library/ |
D | poly1305.c | 85 size_t offset = 0U; in poly1305_process() 104 for (i = 0U; i < nblocks; i++) { in poly1305_process() 215 mask = (uint32_t) 0U - (g4 >> 2U); in poly1305_compute_mac() 269 ctx->acc[0] = 0U; in mbedtls_poly1305_starts() 270 ctx->acc[1] = 0U; in mbedtls_poly1305_starts() 271 ctx->acc[2] = 0U; in mbedtls_poly1305_starts() 272 ctx->acc[3] = 0U; in mbedtls_poly1305_starts() 273 ctx->acc[4] = 0U; in mbedtls_poly1305_starts() 277 ctx->queue_len = 0U; in mbedtls_poly1305_starts() 286 size_t offset = 0U; in mbedtls_poly1305_update() [all …]
|
D | chachapoly.c | 50 if (partial_block_len == 0U) { in chachapoly_pad_aad() 71 if (partial_block_len == 0U) { in chachapoly_pad_ciphertext() 85 ctx->aad_len = 0U; in mbedtls_chachapoly_init() 86 ctx->ciphertext_len = 0U; in mbedtls_chachapoly_init() 99 ctx->aad_len = 0U; in mbedtls_chachapoly_free() 100 ctx->ciphertext_len = 0U; in mbedtls_chachapoly_free() 123 ret = mbedtls_chacha20_starts(&ctx->chacha20_ctx, nonce, 0U); in mbedtls_chachapoly_starts() 143 ctx->aad_len = 0U; in mbedtls_chachapoly_starts() 144 ctx->ciphertext_len = 0U; in mbedtls_chachapoly_starts() 449 for (i = 0U; i < 1U; i++) { in mbedtls_chachapoly_self_test()
|
D | chacha20.c | 125 for (i = 0U; i < 10U; i++) { in chacha20_block() 146 for (i = 0U; i < 16; i++) { in chacha20_block() 218 size_t offset = 0U; in mbedtls_chacha20_update() 221 while (size > 0U && ctx->keystream_bytes_used < CHACHA20_BLOCK_SIZE_BYTES) { in mbedtls_chacha20_update() 243 if (size > 0U) { in mbedtls_chacha20_update() 320 0U, 478 for (i = 0U; i < 2U; i++) { in mbedtls_chacha20_self_test()
|
D | dhm.c | 93 mbedtls_mpi U; in dhm_check_range() local 96 mbedtls_mpi_init(&U); in dhm_check_range() 98 MBEDTLS_MPI_CHK(mbedtls_mpi_sub_int(&U, P, 2)); in dhm_check_range() 101 mbedtls_mpi_cmp_mpi(param, &U) > 0) { in dhm_check_range() 106 mbedtls_mpi_free(&U); in dhm_check_range()
|
D | bignum.c | 1611 mbedtls_mpi U; in mpi_montred() local 1613 U.n = U.s = (int) z; in mpi_montred() 1614 U.p = &z; in mpi_montred() 1616 mpi_montmul(A, &U, N, mm, T); in mpi_montred() 2538 mbedtls_mpi A, E, N, X, Y, U, V; in mbedtls_mpi_self_test() local 2541 mbedtls_mpi_init(&Y); mbedtls_mpi_init(&U); mbedtls_mpi_init(&V); in mbedtls_mpi_self_test() 2562 MBEDTLS_MPI_CHK(mbedtls_mpi_read_string(&U, 16, in mbedtls_mpi_self_test() 2575 if (mbedtls_mpi_cmp_mpi(&X, &U) != 0) { in mbedtls_mpi_self_test() 2590 MBEDTLS_MPI_CHK(mbedtls_mpi_read_string(&U, 16, in mbedtls_mpi_self_test() 2602 if (mbedtls_mpi_cmp_mpi(&X, &U) != 0 || in mbedtls_mpi_self_test() [all …]
|
D | cipher.c | 397 0U)) { /* Initial counter value */ in mbedtls_cipher_set_iv()
|
/mbedtls-3.5.0/tests/data_files/ |
D | pkcs7-rsa-expired.crt | 7 OCcb8wCxLXbiiRuglTa4iQM/L2pGvQQgJ3HeApAzrbL0zg0SsT02K9YqAsta7z/U 18 0U/PYBVPSW0Bfka4toTf8VpZLkwwVbg+9QOIpvGa0kNMsWWgyezLEOkZB1G1JXYF
|
D | server5.key | 2 MHcCAQEEIPEqEyB2AnCoPL/9U/YDHvdqXYbIogTywwyp6/UfDw6noAoGCCqGSM49
|
D | crl-ec-sha1.pem | 9 56meWPhUekgLKKMAobt2oJJY6feuiFU2YFGs1aF0rV6Bj+U=
|
D | server1.req.sha224 | 11 U/uUxLudP7sbuttRksIAREATT74Pa40bMWiPUlBfA/M2mFTmKb/91uXeIISW8DL3
|
D | crl-malformed-trailing-spaces.pem | 9 56meWPhUekgLKKMAobt2oJJY6feuiFU2YFGs1aF0rV6Bj+U=
|
D | pkcs7-rsa-sha256-1.key | 18 Iss4m3vJ1LIqx30iUgw3EfDoWdpufEEYssZ/VxJPs3sdmZGALgd3CaqxHJuhuS+U
|
D | pkcs7-rsa-sha256-1.pem | 38 Iss4m3vJ1LIqx30iUgw3EfDoWdpufEEYssZ/VxJPs3sdmZGALgd3CaqxHJuhuS+U
|
D | rsa_pkcs1_4096_aes128.pem | 35 mxBF0HZKmHm6+U/oASjHeycUi2sXbzu60H+rSQjXVnCuFMubQ7LzJzNddmRc346O
|
/mbedtls-3.5.0/3rdparty/everest/library/kremlib/ |
D | FStar_UInt128_extracted.c | 124 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-3.5.0/tests/suites/ |
D | test_suite_chacha20.function | 23 TEST_ASSERT(key_str->len == 32U); 24 TEST_ASSERT(nonce_str->len == 12U);
|
D | test_suite_chachapoly.function | 36 TEST_ASSERT(memcmp(mac_str->x, mac, 16U) == 0);
|
D | test_suite_psa_crypto.function | 61 static const size_t INVALID_EXPORT_LENGTH = ~0U;
|
/mbedtls-3.5.0/docs/architecture/psa-migration/ |
D | syms.sh | 45 syms U $FILE > ${PREF}-unresolved
|
/mbedtls-3.5.0/docs/proposed/ |
D | psa-conditional-inclusion-c.md | 144 * (U) indicates a symbol that is defined by the user (application). 150 | `MBEDTLS_xxx_C` | `mbedtls/mbedtls_config.h` (U) or | `mbedtls/mbedtls_config.h` (U) … 152 | `PSA_WANT_xxx` | `psa/crypto_config.h` (U) | `mbedtls/config_psa.h` (D) …
|
/mbedtls-3.5.0/programs/test/ |
D | benchmark.c | 865 TIME_AND_TSC("ChaCha20", mbedtls_chacha20_crypt(buf, buf, 0U, BUFSIZE, buf, buf)); in main()
|