Home
last modified time | relevance | path

Searched refs:low (Results 1 – 25 of 31) sorted by relevance

12

/mbedtls-latest/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c17 return projectee.low; in FStar_UInt128___proj__Mkuint128__item__low()
38 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add()
46 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_underspec()
53 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_mod()
60 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub()
68 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_underspec()
76 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_mod_impl()
87 FStar_UInt128_uint128 flat = { a.low & b.low, a.high & b.high }; in FStar_UInt128_logand()
93 FStar_UInt128_uint128 flat = { a.low ^ b.low, a.high ^ b.high }; in FStar_UInt128_logxor()
99 FStar_UInt128_uint128 flat = { a.low | b.low, a.high | b.high }; in FStar_UInt128_logor()
[all …]
/mbedtls-latest/include/mbedtls/
Derror.h113 #define MBEDTLS_ERROR_ADD(high, low) \ argument
114 mbedtls_error_add(high, low, __FILE__, __LINE__)
142 static inline int mbedtls_error_add(int high, int low, in mbedtls_error_add() argument
147 (*mbedtls_test_hook_error_add)(high, low, file, line); in mbedtls_error_add()
153 return high + low; in mbedtls_error_add()
/mbedtls-latest/tests/suites/
Dtest_suite_error.data1 Single low error
16 Non existing low error
19 Non existing low and high error
Dtest_suite_ecp.data61 ECP check pubkey Curve25519 low-order point #1
66 ECP check pubkey Curve25519 low-order point #2
71 ECP check pubkey Curve25519 low-order point #3 (let's call this u)
76 ECP check pubkey Curve25519 low-order point #4 (let's call this v)
81 ECP check pubkey Curve25519 low-order point #5 p-1
86 ECP check pubkey Curve25519 low-order point #6 p
91 ECP check pubkey Curve25519 low-order point #7 p+1
96 ECP check pubkey Curve25519 low-order point #8 p+u
101 ECP check pubkey Curve25519 low-order point #9 p+v
106 ECP check pubkey Curve25519 low-order point #10 2p-1
[all …]
Dtest_suite_bignum_mod_raw.function692 mbedtls_mpi_uint *R = NULL; /* for result of low-level conversion */
717 /* 1. Test low-level function first */
725 /* Test that the low-level function gives the required value */
756 mbedtls_mpi_uint *R = NULL; /* for result of low-level conversion */
781 /* 1. Test low-level function first */
789 /* Test that the low-level function gives the required value */
Dtest_suite_config.crypto_combinations.data1 # Interesting combinations of low-level crypto options
Dtest_suite_random.function15 * output twice is infinitesimal, but low enough that random generators
/mbedtls-latest/scripts/data_files/
Derror.fmt54 /* Extract the low-level part from the error code. */
99 // Early return in case of a fatal error - do not try to translate low
129 // Translate low level error code.
/mbedtls-latest/tests/src/
Dhelpers.c664 void mbedtls_test_err_add_check(int high, int low, in mbedtls_test_err_add_check() argument
697 } else if (low < -0x007F) { in mbedtls_test_err_add_check()
703 } else if (low > 0) { in mbedtls_test_err_add_check()
/mbedtls-latest/library/
Dconstant_time_impl.h406 static inline unsigned char mbedtls_ct_uchar_in_range_if(unsigned char low, in mbedtls_ct_uchar_in_range_if() argument
415 unsigned low_mask = ((unsigned) co - low) >> 8; in mbedtls_ct_uchar_in_range_if()
Dmd5.c260 uint32_t high, low; in mbedtls_md5_finish() local
288 low = (ctx->total[0] << 3); in mbedtls_md5_finish()
290 MBEDTLS_PUT_UINT32_LE(low, ctx->buffer, 56); in mbedtls_md5_finish()
Dripemd160.c332 uint32_t high, low; in mbedtls_ripemd160_finish() local
337 low = (ctx->total[0] << 3); in mbedtls_ripemd160_finish()
339 MBEDTLS_PUT_UINT32_LE(low, msglen, 0); in mbedtls_ripemd160_finish()
Dsha1.c296 uint32_t high, low; in mbedtls_sha1_finish() local
324 low = (ctx->total[0] << 3); in mbedtls_sha1_finish()
327 MBEDTLS_PUT_UINT32_BE(low, ctx->buffer, 60); in mbedtls_sha1_finish()
Dsha256.c705 uint32_t high, low; in mbedtls_sha256_finish() local
734 low = (ctx->total[0] << 3); in mbedtls_sha256_finish()
737 MBEDTLS_PUT_UINT32_BE(low, ctx->buffer, 60); in mbedtls_sha256_finish()
Dconstant_time_internal.h397 static inline unsigned char mbedtls_ct_uchar_in_range_if(unsigned char low,
Dsha512.c819 uint64_t high, low; in mbedtls_sha512_finish() local
848 low = (ctx->total[0] << 3); in mbedtls_sha512_finish()
851 sha512_put_uint64_be(low, ctx->buffer, 120); in mbedtls_sha512_finish()
/mbedtls-latest/docs/architecture/psa-migration/
Dstrategy.md251 dispatch to PSA, but not the low-level legacy API, for all operations.
282 MD (not low-level hash APIs), which then dispatches to PSA if applicable.
312 low-level module but logically belongs in a higher-level module can be moved
328 available via the legacy API(s) is it using (MD and/or low-level).
451 Generally speaking, we would retire all of the low-level, non-generic modules,
456 the low-level, alg-specific ones.)
482 the low-level crypto APIs and making PK, MD and Cipher optional compatibility
484 cases use the low level crypto APIs; we would need to either keep using that
Dmd-cipher-dispatch.md133 * Currently using low-level non-generic APIs.
154 * Currently using low-level non-generic API (`aes.h`).
354 …he standards due to its smaller block size) and CTR-DRBG directly uses the low-level API from `aes…
/mbedtls-latest/3rdparty/everest/include/everest/kremlin/internal/
Dtypes.h54 uint64_t low; member
/mbedtls-latest/tests/include/test/
Dhelpers.h400 void mbedtls_test_err_add_check(int high, int low,
/mbedtls-latest/docs/architecture/
Dpsa-shared-memory.md72 …nsiderations related to overlap, or because the implementation relies on a low-level API that work…
144 …are naturally implemented by processing the input in a single pass, with a low risk of ever readin…
152 For operations involving **small buffers**, the cost of copying is low. For many of those, the risk…
170 Message inputs to hash, MAC and key derivation operations are at a low risk of [read-read inconsist…
202 …at which point the dispatch layer shall copy the input for modes that are not known to be low-risk.
208 …atch layer shall copy the input for algorithms such as PureEdDSA that are not known to be low-risk.
Dalternative-implementations.md34 … Mbed TLS at compile time by a custom implementation. This is possible for low-level cryptography …
/mbedtls-latest/programs/
DREADME.md34 …blic/private key and uses it to encrypt/decrypt a short string through the low-level RSA interface.
/mbedtls-latest/docs/
Ddriver-only-builds.md94 to low-level hash APIs (`mbedtls_sha256()` etc.) are not possible for the
/mbedtls-latest/
DChangeLog62 * The following low-level application interfaces are planned to be removed
124 (feature enabled by MBEDTLS_PSA_CRYPTO_SE_C). In a low memory condition,
168 key through some PSA functions due to low memory conditions.
244 This affects both the low-level modules and the high-level APIs
727 signature can silently return an incorrect result in low memory conditions.
739 enabled, where some low-level modules required by requested PSA crypto
1420 * Fix resource leaks in mbedtls_pk_parse_public_key() in low
2478 * Fix a memory leak in mbedtls_md_setup() when using HMAC under low memory
2517 high- and low-level error codes, complementing mbedtls_strerror()
2686 operation. The overread only happens with cryptographically low
[all …]

12