| .clang-format |
|
425 |
- |
| combined_core.c |
A monomorphic instance of Eurydice.array_to_subslice_to_shared
with types uint8_t, core_ops_range_RangeTo size_t, Eurydice_derefed_slice uint8_t
with const generics
- N= 1568
|
71803 |
- |
| combined_core.h |
A monomorphic instance of Eurydice.arr
with types uint8_t
with const generics
- $1568size_t
|
11361 |
- |
| eurydice_glue.h |
|
17008 |
- |
| internal |
|
|
- |
| karamel |
|
|
- |
| libcrux_ct_ops.c |
Return 1 if `value` is not zero and 0 otherwise.
|
3135 |
- |
| libcrux_ct_ops.h |
Return 1 if `value` is not zero and 0 otherwise.
|
1879 |
- |
| libcrux_mldsa_core.c |
This function found in impl {core::clone::Clone for libcrux_ml_dsa::constants::Eta}
|
179732 |
- |
| libcrux_mldsa_core.h |
|
76990 |
- |
| libcrux_mldsa_portable.c |
|
171889 |
- |
| libcrux_mldsa_portable.h |
This function found in impl {libcrux_ml_dsa::hash_functions::shake128::Xof for libcrux_ml_dsa::hash_functions::portable::Shake128}
|
40835 |
- |
| libcrux_mldsa44_portable.c |
Generate an ML-DSA-44 Key Pair
|
4809 |
- |
| libcrux_mldsa44_portable.h |
Generate an ML-DSA-44 Key Pair
|
2953 |
- |
| libcrux_mldsa65_portable.c |
Generate an ML-DSA-65 Key Pair
|
5116 |
- |
| libcrux_mldsa65_portable.h |
Generate an ML-DSA-65 Key Pair
|
3156 |
- |
| libcrux_mldsa87_portable.c |
Generate an ML-DSA-87 Key Pair
|
4809 |
- |
| libcrux_mldsa87_portable.h |
Generate an ML-DSA-87 Key Pair
|
2953 |
- |
| libcrux_mlkem_core.c |
K * BITS_PER_RING_ELEMENT / 8
[eurydice] Note that we can't use const generics here because that breaks
C extraction with eurydice.
|
21290 |
- |
| libcrux_mlkem_core.h |
K * BITS_PER_RING_ELEMENT / 8
[eurydice] Note that we can't use const generics here because that breaks
C extraction with eurydice.
|
2734 |
- |
| libcrux_mlkem_portable.c |
This function found in impl {libcrux_ml_kem::vector::traits::Operations for libcrux_ml_kem::vector::portable::vector_type::PortableVector}
|
378853 |
- |
| libcrux_mlkem_portable.h |
This function found in impl {libcrux_ml_kem::vector::traits::Operations for libcrux_ml_kem::vector::portable::vector_type::PortableVector}
|
51800 |
- |
| libcrux_mlkem512.h |
libcrux_mlkem512_H |
3158 |
- |
| libcrux_mlkem512_portable.c |
Decapsulate ML-KEM 512
Generates an [`MlKemSharedSecret`].
The input is a reference to an [`MlKem512PrivateKey`] and an [`MlKem512Ciphertext`].
|
7283 |
- |
| libcrux_mlkem512_portable.h |
Decapsulate ML-KEM 512
Generates an [`MlKemSharedSecret`].
The input is a reference to an [`MlKem512PrivateKey`] and an [`MlKem512Ciphertext`].
|
5564 |
- |
| libcrux_mlkem768.h |
libcrux_mlkem768_H |
2969 |
- |
| libcrux_mlkem768_portable.c |
Decapsulate ML-KEM 768
Generates an [`MlKemSharedSecret`].
The input is a reference to an [`MlKem768PrivateKey`] and an [`MlKem768Ciphertext`].
|
7734 |
- |
| libcrux_mlkem768_portable.h |
Decapsulate ML-KEM 768
Generates an [`MlKemSharedSecret`].
The input is a reference to an [`MlKem768PrivateKey`] and an [`MlKem768Ciphertext`].
|
5811 |
- |
| libcrux_mlkem1024.h |
libcrux_mlkem1024_H |
3009 |
- |
| libcrux_mlkem1024_portable.c |
Decapsulate ML-KEM 1024
Generates an [`MlKemSharedSecret`].
The input is a reference to an [`MlKem1024PrivateKey`] and an [`MlKem1024Ciphertext`].
|
7484 |
- |
| libcrux_mlkem1024_portable.h |
Decapsulate ML-KEM 1024
Generates an [`MlKemSharedSecret`].
The input is a reference to an [`MlKem1024PrivateKey`] and an [`MlKem1024Ciphertext`].
|
5767 |
- |
| libcrux_sha3_portable.c |
This function found in impl {libcrux_sha3::traits::KeccakItem<1usize> for u64}
|
133785 |
- |
| libcrux_sha3_portable.h |
A monomorphic instance of libcrux_sha3.generic_keccak.KeccakState
with types uint64_t
with const generics
- $1size_t
|
66065 |
- |
| README.md |
# Vendored libcrux ML-KEM + ML-DSA (combined C extraction) |
2199 |
- |