├── .devcontainer └── devcontainer.json ├── .docker └── c │ ├── Dockerfile │ ├── ext-tools.sh │ ├── install.sh │ └── setup.sh ├── .github ├── dependabot.yml └── workflows │ ├── aead-build_test.yml │ ├── aes.yml │ ├── docker-c-build-test.yml │ ├── docker-c-push-latest.yml │ ├── ecdh-build-test.yml │ ├── get-hax-ref.yml │ ├── github-reviews.yml │ ├── github-skip-benches-in-prs.yml.disabled │ ├── github-stale.yml │ ├── kem-build-test.yml │ ├── libcrux-bench.yml.disabled │ ├── libcrux-build-test.yml │ ├── libcrux-flake-update.yml │ ├── mldsa-bench.yml │ ├── mldsa-build-test.yml │ ├── mldsa-c.yml │ ├── mldsa-hax.yml │ ├── mlkem-bench.yml │ ├── mlkem-build-test.yml │ ├── mlkem-c-bench.yml.disabled │ ├── mlkem-c.yml │ ├── mlkem-hax.yml │ ├── mlkem-nix.yml.disabled │ ├── mlkem-s390x.yml │ ├── platform-build-test.yml │ ├── psq-build-test.yml │ ├── secrets-build-test.yml │ ├── sha3-hax.yml │ ├── specs-build-test.yml │ ├── traits-build.yml │ ├── wasm-and-no-std-checks.yml │ ├── workspace-changelog.yml │ └── workspace-checks.yml ├── .gitignore ├── Architecture.md ├── CODEOWNERS ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── Cargo.toml ├── LICENSE ├── LICENSE-MIT ├── RELEASE.md ├── Readme.md ├── SECURITY.md ├── architecture └── hacl.excalidraw.svg ├── au_curves ├── Cargo.toml └── src │ ├── bls12.rs │ └── lib.rs ├── benchmarks ├── Cargo.toml ├── README.md ├── benches │ ├── Readme.md │ ├── boringssl │ │ ├── .clang-format │ │ ├── .gitignore │ │ ├── CMakeLists.txt │ │ ├── README.md │ │ ├── kyber768.cxx │ │ └── shake.cxx │ ├── chacha20poly1305.rs │ ├── circl │ │ ├── Makefile │ │ ├── README.md │ │ ├── go.mod │ │ ├── go.sum │ │ ├── kyber768_test.go │ │ └── shake_test.go │ ├── drbg.rs │ ├── ecdsa_p256.rs │ ├── ed25519.rs │ ├── hpke.rs │ ├── kyber768.rs │ ├── p256.rs │ ├── rsa.rs │ ├── sha2.rs │ ├── sha3.rs │ └── x25519.rs ├── build.rs └── src │ └── lib.rs ├── c.sh ├── cavp ├── Cargo.toml ├── Readme.md └── src │ └── lib.rs ├── crates ├── algorithms │ ├── aesgcm │ │ ├── .gitignore │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── benches │ │ │ └── aesgcm.rs │ │ ├── build.rs │ │ ├── examples │ │ │ ├── bench_typed_owned.rs │ │ │ └── bench_typed_refs.rs │ │ ├── fuzz │ │ │ ├── .gitignore │ │ │ ├── Cargo.toml │ │ │ └── fuzz_targets │ │ │ │ ├── encrypt128.rs │ │ │ │ └── encrypt256.rs │ │ ├── src │ │ │ ├── aes.rs │ │ │ ├── aes_gcm.rs │ │ │ ├── aes_gcm_128.rs │ │ │ ├── aes_gcm_256.rs │ │ │ ├── ctr.rs │ │ │ ├── ctr │ │ │ │ ├── aes128_ctr.rs │ │ │ │ ├── aes256_ctr.rs │ │ │ │ └── test128.rs │ │ │ ├── gf128.rs │ │ │ ├── gf128 │ │ │ │ └── test.rs │ │ │ ├── lib.rs │ │ │ ├── platform.rs │ │ │ ├── platform │ │ │ │ ├── neon.rs │ │ │ │ ├── neon │ │ │ │ │ ├── aes_core.rs │ │ │ │ │ └── gf128_core.rs │ │ │ │ ├── portable.rs │ │ │ │ ├── portable │ │ │ │ │ ├── aes_core.rs │ │ │ │ │ ├── aes_core │ │ │ │ │ │ └── test.rs │ │ │ │ │ └── gf128_core.rs │ │ │ │ ├── x64.rs │ │ │ │ └── x64 │ │ │ │ │ ├── aes_core.rs │ │ │ │ │ └── gf128_core.rs │ │ │ └── traits_api.rs │ │ └── tests │ │ │ ├── key_centric.rs │ │ │ ├── self.rs │ │ │ └── wycheproof.rs │ ├── blake2 │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── benches │ │ │ └── blake2.rs │ │ ├── src │ │ │ ├── hacl │ │ │ │ ├── hash_blake2b.rs │ │ │ │ ├── hash_blake2s.rs │ │ │ │ └── impl_blake2_constants.rs │ │ │ ├── impl_digest_trait.rs │ │ │ ├── impl_hacl │ │ │ │ ├── blake2b.rs │ │ │ │ ├── blake2s.rs │ │ │ │ ├── error.rs │ │ │ │ ├── lengths.rs │ │ │ │ └── mod.rs │ │ │ └── lib.rs │ │ └── tests │ │ │ └── blake2.rs │ ├── chacha20poly1305 │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── src │ │ │ ├── hacl │ │ │ │ ├── aead_chacha20poly1305.rs │ │ │ │ └── chacha20.rs │ │ │ ├── impl_aead_trait.rs │ │ │ ├── impl_hacl.rs │ │ │ ├── lib.rs │ │ │ └── xchacha20_poly1305.rs │ │ └── tests │ │ │ └── chachapoly.rs │ ├── curve25519 │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ └── src │ │ │ ├── ecdh_api.rs │ │ │ ├── impl_hacl.rs │ │ │ └── lib.rs │ ├── ecdsa │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── src │ │ │ ├── lib.rs │ │ │ └── p256.rs │ │ └── tests │ │ │ ├── ecdsa_secp256r1_sha256_test.json │ │ │ ├── self.rs │ │ │ ├── util.rs │ │ │ └── wycheproof.rs │ ├── ed25519 │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── src │ │ │ ├── hacl │ │ │ │ ├── ed25519.rs │ │ │ │ └── ed25519_precomptable.rs │ │ │ ├── impl_hacl.rs │ │ │ └── lib.rs │ │ └── tests │ │ │ ├── ed25519.rs │ │ │ └── self.rs │ ├── hkdf │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ └── src │ │ │ ├── hacl.rs │ │ │ └── hkdf.rs │ ├── hmac │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ └── src │ │ │ ├── hacl │ │ │ ├── hash_sha1.rs │ │ │ └── hmac.rs │ │ │ ├── hmac.rs │ │ │ └── impl_hacl.rs │ ├── p256 │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ └── src │ │ │ ├── ecdh_api.rs │ │ │ ├── impl_kem.rs │ │ │ ├── lib.rs │ │ │ ├── p256.rs │ │ │ └── p256_precomptable.rs │ ├── poly1305 │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ └── src │ │ │ ├── hacl │ │ │ └── mac_poly1305.rs │ │ │ ├── impl_hacl.rs │ │ │ └── lib.rs │ ├── rsa │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── src │ │ │ ├── hacl │ │ │ │ └── rsapss.rs │ │ │ ├── impl_hacl.rs │ │ │ └── lib.rs │ │ └── tests │ │ │ └── rsa_pss.rs │ ├── sha2 │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── src │ │ │ ├── hacl.rs │ │ │ ├── impl_digest_trait.rs │ │ │ ├── impl_hacl.rs │ │ │ └── lib.rs │ │ └── tests │ │ │ └── sha2.rs │ └── sha3 │ │ ├── .gitignore │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── benches │ │ └── sha3.rs │ │ ├── build.rs │ │ ├── c.sh │ │ ├── c.yaml │ │ ├── examples │ │ └── sha3.rs │ │ ├── hax.py │ │ ├── proofs │ │ └── fstar │ │ │ └── extraction │ │ │ ├── .gitignore │ │ │ └── Makefile │ │ ├── src │ │ ├── avx2.rs │ │ ├── generic_keccak.rs │ │ ├── generic_keccak │ │ │ ├── constants.rs │ │ │ ├── portable.rs │ │ │ ├── simd128.rs │ │ │ ├── simd256.rs │ │ │ └── xof.rs │ │ ├── impl_digest_trait.rs │ │ ├── lib.rs │ │ ├── neon.rs │ │ ├── portable.rs │ │ ├── simd.rs │ │ ├── simd │ │ │ ├── arm64.rs │ │ │ ├── avx2.rs │ │ │ └── portable.rs │ │ └── traits.rs │ │ └── tests │ │ ├── avx2.rs │ │ ├── cavp.rs │ │ ├── neon.rs │ │ ├── portable.rs │ │ ├── test_vectors.rs │ │ └── tv │ │ ├── SHA3_224LongMsg.rsp │ │ ├── SHA3_224Monte.rsp │ │ ├── SHA3_224ShortMsg.rsp │ │ ├── SHA3_256LongMsg.rsp │ │ ├── SHA3_256Monte.rsp │ │ ├── SHA3_256ShortMsg.rsp │ │ ├── SHA3_384LongMsg.rsp │ │ ├── SHA3_384Monte.rsp │ │ ├── SHA3_384ShortMsg.rsp │ │ ├── SHA3_512LongMsg.rsp │ │ ├── SHA3_512Monte.rsp │ │ ├── SHA3_512ShortMsg.rsp │ │ ├── SHAKE128LongMsg.rsp │ │ ├── SHAKE128Monte.rsp │ │ ├── SHAKE128ShortMsg.rsp │ │ ├── SHAKE128VariableOut.rsp │ │ ├── SHAKE256LongMsg.rsp │ │ ├── SHAKE256Monte.rsp │ │ ├── SHAKE256ShortMsg.rsp │ │ └── SHAKE256VariableOut.rsp ├── primitives │ ├── aead │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ └── src │ │ │ ├── lib.rs │ │ │ └── multiplexed.rs │ └── digest │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ └── src │ │ └── lib.rs ├── sys │ ├── hacl │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── build.rs │ │ ├── c │ │ │ ├── config │ │ │ │ ├── config.h │ │ │ │ ├── hacl.c │ │ │ │ ├── hacl.h │ │ │ │ ├── hacl128.h │ │ │ │ ├── hacl256.h │ │ │ │ └── vale-aes.h │ │ │ ├── include │ │ │ │ ├── EverCrypt_AEAD.h │ │ │ │ ├── EverCrypt_AutoConfig2.h │ │ │ │ ├── EverCrypt_Chacha20Poly1305.h │ │ │ │ ├── EverCrypt_Cipher.h │ │ │ │ ├── EverCrypt_Curve25519.h │ │ │ │ ├── EverCrypt_DRBG.h │ │ │ │ ├── EverCrypt_Ed25519.h │ │ │ │ ├── EverCrypt_Error.h │ │ │ │ ├── EverCrypt_HKDF.h │ │ │ │ ├── EverCrypt_HMAC.h │ │ │ │ ├── EverCrypt_Hash.h │ │ │ │ ├── EverCrypt_Poly1305.h │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305.h │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305_Simd128.h │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305_Simd256.h │ │ │ │ ├── Hacl_AES128.h │ │ │ │ ├── Hacl_Bignum.h │ │ │ │ ├── Hacl_Bignum256.h │ │ │ │ ├── Hacl_Bignum256_32.h │ │ │ │ ├── Hacl_Bignum32.h │ │ │ │ ├── Hacl_Bignum4096.h │ │ │ │ ├── Hacl_Bignum4096_32.h │ │ │ │ ├── Hacl_Bignum64.h │ │ │ │ ├── Hacl_Chacha20.h │ │ │ │ ├── Hacl_Chacha20_Vec128.h │ │ │ │ ├── Hacl_Chacha20_Vec256.h │ │ │ │ ├── Hacl_Chacha20_Vec32.h │ │ │ │ ├── Hacl_Curve25519_51.h │ │ │ │ ├── Hacl_Curve25519_64.h │ │ │ │ ├── Hacl_EC_Ed25519.h │ │ │ │ ├── Hacl_EC_K256.h │ │ │ │ ├── Hacl_Ed25519.h │ │ │ │ ├── Hacl_FFDHE.h │ │ │ │ ├── Hacl_Frodo1344.h │ │ │ │ ├── Hacl_Frodo64.h │ │ │ │ ├── Hacl_Frodo640.h │ │ │ │ ├── Hacl_Frodo976.h │ │ │ │ ├── Hacl_GenericField32.h │ │ │ │ ├── Hacl_GenericField64.h │ │ │ │ ├── Hacl_HKDF.h │ │ │ │ ├── Hacl_HKDF_Blake2b_256.h │ │ │ │ ├── Hacl_HKDF_Blake2s_128.h │ │ │ │ ├── Hacl_HMAC.h │ │ │ │ ├── Hacl_HMAC_Blake2b_256.h │ │ │ │ ├── Hacl_HMAC_Blake2s_128.h │ │ │ │ ├── Hacl_HMAC_DRBG.h │ │ │ │ ├── Hacl_HPKE_Curve51_CP128_SHA256.h │ │ │ │ ├── Hacl_HPKE_Curve51_CP128_SHA512.h │ │ │ │ ├── Hacl_HPKE_Curve51_CP256_SHA256.h │ │ │ │ ├── Hacl_HPKE_Curve51_CP256_SHA512.h │ │ │ │ ├── Hacl_HPKE_Curve51_CP32_SHA256.h │ │ │ │ ├── Hacl_HPKE_Curve51_CP32_SHA512.h │ │ │ │ ├── Hacl_HPKE_Curve64_CP128_SHA256.h │ │ │ │ ├── Hacl_HPKE_Curve64_CP128_SHA512.h │ │ │ │ ├── Hacl_HPKE_Curve64_CP256_SHA256.h │ │ │ │ ├── Hacl_HPKE_Curve64_CP256_SHA512.h │ │ │ │ ├── Hacl_HPKE_Curve64_CP32_SHA256.h │ │ │ │ ├── Hacl_HPKE_Curve64_CP32_SHA512.h │ │ │ │ ├── Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h │ │ │ │ ├── Hacl_HPKE_P256_CP128_SHA256.h │ │ │ │ ├── Hacl_HPKE_P256_CP256_SHA256.h │ │ │ │ ├── Hacl_HPKE_P256_CP32_SHA256.h │ │ │ │ ├── Hacl_Hash_Base.h │ │ │ │ ├── Hacl_Hash_Blake2b.h │ │ │ │ ├── Hacl_Hash_Blake2b_Simd256.h │ │ │ │ ├── Hacl_Hash_Blake2s.h │ │ │ │ ├── Hacl_Hash_Blake2s_Simd128.h │ │ │ │ ├── Hacl_Hash_MD5.h │ │ │ │ ├── Hacl_Hash_SHA1.h │ │ │ │ ├── Hacl_Hash_SHA2.h │ │ │ │ ├── Hacl_Hash_SHA3.h │ │ │ │ ├── Hacl_Hash_SHA3_Scalar.h │ │ │ │ ├── Hacl_Hash_SHA3_Simd256.h │ │ │ │ ├── Hacl_IntTypes_Intrinsics.h │ │ │ │ ├── Hacl_IntTypes_Intrinsics_128.h │ │ │ │ ├── Hacl_K256_ECDSA.h │ │ │ │ ├── Hacl_Krmllib.h │ │ │ │ ├── Hacl_MAC_Poly1305.h │ │ │ │ ├── Hacl_MAC_Poly1305_Simd128.h │ │ │ │ ├── Hacl_MAC_Poly1305_Simd256.h │ │ │ │ ├── Hacl_NaCl.h │ │ │ │ ├── Hacl_P256.h │ │ │ │ ├── Hacl_RSAPSS.h │ │ │ │ ├── Hacl_SHA2_Vec128.h │ │ │ │ ├── Hacl_SHA2_Vec256.h │ │ │ │ ├── Hacl_Salsa20.h │ │ │ │ ├── Hacl_Spec.h │ │ │ │ ├── Hacl_Streaming_Types.h │ │ │ │ ├── Lib_PrintBuffer.h │ │ │ │ ├── Lib_RandomBuffer_System.h │ │ │ │ ├── TestLib.h │ │ │ │ ├── config.h │ │ │ │ ├── curve25519-inline.h │ │ │ │ ├── evercrypt_targetconfig.h │ │ │ │ ├── internal │ │ │ │ │ ├── EverCrypt_HMAC.h │ │ │ │ │ ├── EverCrypt_Hash.h │ │ │ │ │ ├── Hacl_Bignum.h │ │ │ │ │ ├── Hacl_Bignum25519_51.h │ │ │ │ │ ├── Hacl_Bignum_Base.h │ │ │ │ │ ├── Hacl_Bignum_K256.h │ │ │ │ │ ├── Hacl_Chacha20.h │ │ │ │ │ ├── Hacl_Curve25519_51.h │ │ │ │ │ ├── Hacl_Ed25519.h │ │ │ │ │ ├── Hacl_Ed25519_PrecompTable.h │ │ │ │ │ ├── Hacl_Frodo_KEM.h │ │ │ │ │ ├── Hacl_HMAC.h │ │ │ │ │ ├── Hacl_Hash_Blake2b.h │ │ │ │ │ ├── Hacl_Hash_Blake2b_Simd256.h │ │ │ │ │ ├── Hacl_Hash_Blake2s.h │ │ │ │ │ ├── Hacl_Hash_Blake2s_Simd128.h │ │ │ │ │ ├── Hacl_Hash_MD5.h │ │ │ │ │ ├── Hacl_Hash_SHA1.h │ │ │ │ │ ├── Hacl_Hash_SHA2.h │ │ │ │ │ ├── Hacl_Hash_SHA3.h │ │ │ │ │ ├── Hacl_Hash_SHA3_Scalar.h │ │ │ │ │ ├── Hacl_Impl_Blake2_Constants.h │ │ │ │ │ ├── Hacl_Impl_FFDHE_Constants.h │ │ │ │ │ ├── Hacl_K256_ECDSA.h │ │ │ │ │ ├── Hacl_K256_PrecompTable.h │ │ │ │ │ ├── Hacl_Krmllib.h │ │ │ │ │ ├── Hacl_MAC_Poly1305.h │ │ │ │ │ ├── Hacl_MAC_Poly1305_Simd128.h │ │ │ │ │ ├── Hacl_MAC_Poly1305_Simd256.h │ │ │ │ │ ├── Hacl_P256.h │ │ │ │ │ ├── Hacl_P256_PrecompTable.h │ │ │ │ │ ├── Hacl_SHA2_Types.h │ │ │ │ │ ├── Hacl_Spec.h │ │ │ │ │ └── Vale.h │ │ │ │ ├── lib_intrinsics.h │ │ │ │ ├── lib_memzero0.h │ │ │ │ ├── libintvector.h │ │ │ │ └── msvc │ │ │ │ │ ├── EverCrypt_AEAD.h │ │ │ │ │ ├── EverCrypt_AutoConfig2.h │ │ │ │ │ ├── EverCrypt_Chacha20Poly1305.h │ │ │ │ │ ├── EverCrypt_Cipher.h │ │ │ │ │ ├── EverCrypt_Curve25519.h │ │ │ │ │ ├── EverCrypt_DRBG.h │ │ │ │ │ ├── EverCrypt_Ed25519.h │ │ │ │ │ ├── EverCrypt_Error.h │ │ │ │ │ ├── EverCrypt_HKDF.h │ │ │ │ │ ├── EverCrypt_HMAC.h │ │ │ │ │ ├── EverCrypt_Hash.h │ │ │ │ │ ├── EverCrypt_Poly1305.h │ │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305.h │ │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305_Simd128.h │ │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305_Simd256.h │ │ │ │ │ ├── Hacl_AES128.h │ │ │ │ │ ├── Hacl_Bignum.h │ │ │ │ │ ├── Hacl_Bignum256.h │ │ │ │ │ ├── Hacl_Bignum256_32.h │ │ │ │ │ ├── Hacl_Bignum32.h │ │ │ │ │ ├── Hacl_Bignum4096.h │ │ │ │ │ ├── Hacl_Bignum4096_32.h │ │ │ │ │ ├── Hacl_Bignum64.h │ │ │ │ │ ├── Hacl_Chacha20.h │ │ │ │ │ ├── Hacl_Chacha20_Vec128.h │ │ │ │ │ ├── Hacl_Chacha20_Vec256.h │ │ │ │ │ ├── Hacl_Chacha20_Vec32.h │ │ │ │ │ ├── Hacl_Curve25519_51.h │ │ │ │ │ ├── Hacl_Curve25519_64.h │ │ │ │ │ ├── Hacl_EC_Ed25519.h │ │ │ │ │ ├── Hacl_EC_K256.h │ │ │ │ │ ├── Hacl_Ed25519.h │ │ │ │ │ ├── Hacl_FFDHE.h │ │ │ │ │ ├── Hacl_Frodo1344.h │ │ │ │ │ ├── Hacl_Frodo64.h │ │ │ │ │ ├── Hacl_Frodo640.h │ │ │ │ │ ├── Hacl_Frodo976.h │ │ │ │ │ ├── Hacl_GenericField32.h │ │ │ │ │ ├── Hacl_GenericField64.h │ │ │ │ │ ├── Hacl_HKDF.h │ │ │ │ │ ├── Hacl_HKDF_Blake2b_256.h │ │ │ │ │ ├── Hacl_HKDF_Blake2s_128.h │ │ │ │ │ ├── Hacl_HMAC.h │ │ │ │ │ ├── Hacl_HMAC_Blake2b_256.h │ │ │ │ │ ├── Hacl_HMAC_Blake2s_128.h │ │ │ │ │ ├── Hacl_HMAC_DRBG.h │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP128_SHA256.h │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP128_SHA512.h │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP256_SHA256.h │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP256_SHA512.h │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP32_SHA256.h │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP32_SHA512.h │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP128_SHA256.h │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP128_SHA512.h │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP256_SHA256.h │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP256_SHA512.h │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP32_SHA256.h │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP32_SHA512.h │ │ │ │ │ ├── Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h │ │ │ │ │ ├── Hacl_HPKE_P256_CP128_SHA256.h │ │ │ │ │ ├── Hacl_HPKE_P256_CP256_SHA256.h │ │ │ │ │ ├── Hacl_HPKE_P256_CP32_SHA256.h │ │ │ │ │ ├── Hacl_Hash_Base.h │ │ │ │ │ ├── Hacl_Hash_Blake2b.h │ │ │ │ │ ├── Hacl_Hash_Blake2b_Simd256.h │ │ │ │ │ ├── Hacl_Hash_Blake2s.h │ │ │ │ │ ├── Hacl_Hash_Blake2s_Simd128.h │ │ │ │ │ ├── Hacl_Hash_MD5.h │ │ │ │ │ ├── Hacl_Hash_SHA1.h │ │ │ │ │ ├── Hacl_Hash_SHA2.h │ │ │ │ │ ├── Hacl_Hash_SHA3.h │ │ │ │ │ ├── Hacl_Hash_SHA3_Scalar.h │ │ │ │ │ ├── Hacl_Hash_SHA3_Simd256.h │ │ │ │ │ ├── Hacl_IntTypes_Intrinsics.h │ │ │ │ │ ├── Hacl_IntTypes_Intrinsics_128.h │ │ │ │ │ ├── Hacl_K256_ECDSA.h │ │ │ │ │ ├── Hacl_Krmllib.h │ │ │ │ │ ├── Hacl_MAC_Poly1305.h │ │ │ │ │ ├── Hacl_MAC_Poly1305_Simd128.h │ │ │ │ │ ├── Hacl_MAC_Poly1305_Simd256.h │ │ │ │ │ ├── Hacl_NaCl.h │ │ │ │ │ ├── Hacl_P256.h │ │ │ │ │ ├── Hacl_RSAPSS.h │ │ │ │ │ ├── Hacl_SHA2_Vec128.h │ │ │ │ │ ├── Hacl_SHA2_Vec256.h │ │ │ │ │ ├── Hacl_Salsa20.h │ │ │ │ │ ├── Hacl_Spec.h │ │ │ │ │ ├── Hacl_Streaming_Types.h │ │ │ │ │ ├── Lib_PrintBuffer.h │ │ │ │ │ ├── Lib_RandomBuffer_System.h │ │ │ │ │ ├── TestLib.h │ │ │ │ │ ├── config.h │ │ │ │ │ ├── curve25519-inline.h │ │ │ │ │ ├── evercrypt_targetconfig.h │ │ │ │ │ ├── internal │ │ │ │ │ ├── EverCrypt_HMAC.h │ │ │ │ │ ├── EverCrypt_Hash.h │ │ │ │ │ ├── Hacl_Bignum.h │ │ │ │ │ ├── Hacl_Bignum25519_51.h │ │ │ │ │ ├── Hacl_Bignum_Base.h │ │ │ │ │ ├── Hacl_Bignum_K256.h │ │ │ │ │ ├── Hacl_Chacha20.h │ │ │ │ │ ├── Hacl_Curve25519_51.h │ │ │ │ │ ├── Hacl_Ed25519.h │ │ │ │ │ ├── Hacl_Ed25519_PrecompTable.h │ │ │ │ │ ├── Hacl_Frodo_KEM.h │ │ │ │ │ ├── Hacl_HMAC.h │ │ │ │ │ ├── Hacl_Hash_Blake2b.h │ │ │ │ │ ├── Hacl_Hash_Blake2b_Simd256.h │ │ │ │ │ ├── Hacl_Hash_Blake2s.h │ │ │ │ │ ├── Hacl_Hash_Blake2s_Simd128.h │ │ │ │ │ ├── Hacl_Hash_MD5.h │ │ │ │ │ ├── Hacl_Hash_SHA1.h │ │ │ │ │ ├── Hacl_Hash_SHA2.h │ │ │ │ │ ├── Hacl_Hash_SHA3.h │ │ │ │ │ ├── Hacl_Hash_SHA3_Scalar.h │ │ │ │ │ ├── Hacl_Impl_Blake2_Constants.h │ │ │ │ │ ├── Hacl_Impl_FFDHE_Constants.h │ │ │ │ │ ├── Hacl_K256_ECDSA.h │ │ │ │ │ ├── Hacl_K256_PrecompTable.h │ │ │ │ │ ├── Hacl_Krmllib.h │ │ │ │ │ ├── Hacl_MAC_Poly1305.h │ │ │ │ │ ├── Hacl_MAC_Poly1305_Simd128.h │ │ │ │ │ ├── Hacl_MAC_Poly1305_Simd256.h │ │ │ │ │ ├── Hacl_P256.h │ │ │ │ │ ├── Hacl_P256_PrecompTable.h │ │ │ │ │ ├── Hacl_SHA2_Types.h │ │ │ │ │ ├── Hacl_Spec.h │ │ │ │ │ └── Vale.h │ │ │ │ │ ├── lib_intrinsics.h │ │ │ │ │ ├── lib_memzero0.h │ │ │ │ │ └── libintvector.h │ │ │ ├── karamel │ │ │ │ ├── include │ │ │ │ │ ├── krml │ │ │ │ │ │ ├── c_endianness.h │ │ │ │ │ │ ├── fstar_int.h │ │ │ │ │ │ ├── internal │ │ │ │ │ │ │ ├── builtin.h │ │ │ │ │ │ │ ├── callconv.h │ │ │ │ │ │ │ ├── compat.h │ │ │ │ │ │ │ ├── debug.h │ │ │ │ │ │ │ ├── target.h │ │ │ │ │ │ │ ├── types.h │ │ │ │ │ │ │ └── wasmsupport.h │ │ │ │ │ │ └── lowstar_endianness.h │ │ │ │ │ └── krmllib.h │ │ │ │ └── krmllib │ │ │ │ │ └── dist │ │ │ │ │ └── minimal │ │ │ │ │ ├── FStar_UInt128.h │ │ │ │ │ ├── FStar_UInt128_Verified.h │ │ │ │ │ ├── FStar_UInt_8_16_32_64.h │ │ │ │ │ ├── LowStar_Endianness.h │ │ │ │ │ ├── Makefile.basic │ │ │ │ │ ├── Makefile.include │ │ │ │ │ ├── fstar_uint128_gcc64.h │ │ │ │ │ ├── fstar_uint128_msvc.h │ │ │ │ │ ├── fstar_uint128_struct_endianness.h │ │ │ │ │ └── libkrmllib.def │ │ │ ├── src │ │ │ │ ├── EverCrypt_AEAD.c │ │ │ │ ├── EverCrypt_AutoConfig2.c │ │ │ │ ├── EverCrypt_Chacha20Poly1305.c │ │ │ │ ├── EverCrypt_Cipher.c │ │ │ │ ├── EverCrypt_Curve25519.c │ │ │ │ ├── EverCrypt_DRBG.c │ │ │ │ ├── EverCrypt_Ed25519.c │ │ │ │ ├── EverCrypt_HKDF.c │ │ │ │ ├── EverCrypt_HMAC.c │ │ │ │ ├── EverCrypt_Hash.c │ │ │ │ ├── EverCrypt_Poly1305.c │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305.c │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305_Simd128.c │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305_Simd256.c │ │ │ │ ├── Hacl_Bignum.c │ │ │ │ ├── Hacl_Bignum256.c │ │ │ │ ├── Hacl_Bignum256_32.c │ │ │ │ ├── Hacl_Bignum32.c │ │ │ │ ├── Hacl_Bignum4096.c │ │ │ │ ├── Hacl_Bignum4096_32.c │ │ │ │ ├── Hacl_Bignum64.c │ │ │ │ ├── Hacl_Chacha20.c │ │ │ │ ├── Hacl_Chacha20_Vec128.c │ │ │ │ ├── Hacl_Chacha20_Vec256.c │ │ │ │ ├── Hacl_Chacha20_Vec32.c │ │ │ │ ├── Hacl_Curve25519_51.c │ │ │ │ ├── Hacl_Curve25519_64.c │ │ │ │ ├── Hacl_EC_Ed25519.c │ │ │ │ ├── Hacl_EC_K256.c │ │ │ │ ├── Hacl_Ed25519.c │ │ │ │ ├── Hacl_FFDHE.c │ │ │ │ ├── Hacl_Frodo1344.c │ │ │ │ ├── Hacl_Frodo64.c │ │ │ │ ├── Hacl_Frodo640.c │ │ │ │ ├── Hacl_Frodo976.c │ │ │ │ ├── Hacl_Frodo_KEM.c │ │ │ │ ├── Hacl_GenericField32.c │ │ │ │ ├── Hacl_GenericField64.c │ │ │ │ ├── Hacl_HKDF.c │ │ │ │ ├── Hacl_HKDF_Blake2b_256.c │ │ │ │ ├── Hacl_HKDF_Blake2s_128.c │ │ │ │ ├── Hacl_HMAC.c │ │ │ │ ├── Hacl_HMAC_Blake2b_256.c │ │ │ │ ├── Hacl_HMAC_Blake2s_128.c │ │ │ │ ├── Hacl_HMAC_DRBG.c │ │ │ │ ├── Hacl_HPKE_Curve51_CP128_SHA256.c │ │ │ │ ├── Hacl_HPKE_Curve51_CP128_SHA512.c │ │ │ │ ├── Hacl_HPKE_Curve51_CP256_SHA256.c │ │ │ │ ├── Hacl_HPKE_Curve51_CP256_SHA512.c │ │ │ │ ├── Hacl_HPKE_Curve51_CP32_SHA256.c │ │ │ │ ├── Hacl_HPKE_Curve51_CP32_SHA512.c │ │ │ │ ├── Hacl_HPKE_Curve64_CP128_SHA256.c │ │ │ │ ├── Hacl_HPKE_Curve64_CP128_SHA512.c │ │ │ │ ├── Hacl_HPKE_Curve64_CP256_SHA256.c │ │ │ │ ├── Hacl_HPKE_Curve64_CP256_SHA512.c │ │ │ │ ├── Hacl_HPKE_Curve64_CP32_SHA256.c │ │ │ │ ├── Hacl_HPKE_Curve64_CP32_SHA512.c │ │ │ │ ├── Hacl_HPKE_P256_CP128_SHA256.c │ │ │ │ ├── Hacl_HPKE_P256_CP256_SHA256.c │ │ │ │ ├── Hacl_HPKE_P256_CP32_SHA256.c │ │ │ │ ├── Hacl_Hash_Base.c │ │ │ │ ├── Hacl_Hash_Blake2b.c │ │ │ │ ├── Hacl_Hash_Blake2b_Simd256.c │ │ │ │ ├── Hacl_Hash_Blake2s.c │ │ │ │ ├── Hacl_Hash_Blake2s_Simd128.c │ │ │ │ ├── Hacl_Hash_MD5.c │ │ │ │ ├── Hacl_Hash_SHA1.c │ │ │ │ ├── Hacl_Hash_SHA2.c │ │ │ │ ├── Hacl_Hash_SHA3.c │ │ │ │ ├── Hacl_Hash_SHA3_Scalar.c │ │ │ │ ├── Hacl_Hash_SHA3_Simd256.c │ │ │ │ ├── Hacl_K256_ECDSA.c │ │ │ │ ├── Hacl_MAC_Poly1305.c │ │ │ │ ├── Hacl_MAC_Poly1305_Simd128.c │ │ │ │ ├── Hacl_MAC_Poly1305_Simd256.c │ │ │ │ ├── Hacl_NaCl.c │ │ │ │ ├── Hacl_P256.c │ │ │ │ ├── Hacl_RSAPSS.c │ │ │ │ ├── Hacl_SHA2_Vec128.c │ │ │ │ ├── Hacl_SHA2_Vec256.c │ │ │ │ ├── Hacl_Salsa20.c │ │ │ │ ├── Lib_Memzero0.c │ │ │ │ ├── Lib_PrintBuffer.c │ │ │ │ ├── Lib_RandomBuffer_System.c │ │ │ │ └── msvc │ │ │ │ │ ├── EverCrypt_AEAD.c │ │ │ │ │ ├── EverCrypt_AutoConfig2.c │ │ │ │ │ ├── EverCrypt_Chacha20Poly1305.c │ │ │ │ │ ├── EverCrypt_Cipher.c │ │ │ │ │ ├── EverCrypt_Curve25519.c │ │ │ │ │ ├── EverCrypt_DRBG.c │ │ │ │ │ ├── EverCrypt_Ed25519.c │ │ │ │ │ ├── EverCrypt_HKDF.c │ │ │ │ │ ├── EverCrypt_HMAC.c │ │ │ │ │ ├── EverCrypt_Hash.c │ │ │ │ │ ├── EverCrypt_Poly1305.c │ │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305.c │ │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305_Simd128.c │ │ │ │ │ ├── Hacl_AEAD_Chacha20Poly1305_Simd256.c │ │ │ │ │ ├── Hacl_Bignum.c │ │ │ │ │ ├── Hacl_Bignum256.c │ │ │ │ │ ├── Hacl_Bignum256_32.c │ │ │ │ │ ├── Hacl_Bignum32.c │ │ │ │ │ ├── Hacl_Bignum4096.c │ │ │ │ │ ├── Hacl_Bignum4096_32.c │ │ │ │ │ ├── Hacl_Bignum64.c │ │ │ │ │ ├── Hacl_Chacha20.c │ │ │ │ │ ├── Hacl_Chacha20_Vec128.c │ │ │ │ │ ├── Hacl_Chacha20_Vec256.c │ │ │ │ │ ├── Hacl_Chacha20_Vec32.c │ │ │ │ │ ├── Hacl_Curve25519_51.c │ │ │ │ │ ├── Hacl_Curve25519_64.c │ │ │ │ │ ├── Hacl_EC_Ed25519.c │ │ │ │ │ ├── Hacl_EC_K256.c │ │ │ │ │ ├── Hacl_Ed25519.c │ │ │ │ │ ├── Hacl_FFDHE.c │ │ │ │ │ ├── Hacl_Frodo1344.c │ │ │ │ │ ├── Hacl_Frodo64.c │ │ │ │ │ ├── Hacl_Frodo640.c │ │ │ │ │ ├── Hacl_Frodo976.c │ │ │ │ │ ├── Hacl_Frodo_KEM.c │ │ │ │ │ ├── Hacl_GenericField32.c │ │ │ │ │ ├── Hacl_GenericField64.c │ │ │ │ │ ├── Hacl_HKDF.c │ │ │ │ │ ├── Hacl_HKDF_Blake2b_256.c │ │ │ │ │ ├── Hacl_HKDF_Blake2s_128.c │ │ │ │ │ ├── Hacl_HMAC.c │ │ │ │ │ ├── Hacl_HMAC_Blake2b_256.c │ │ │ │ │ ├── Hacl_HMAC_Blake2s_128.c │ │ │ │ │ ├── Hacl_HMAC_DRBG.c │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP128_SHA256.c │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP128_SHA512.c │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP256_SHA256.c │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP256_SHA512.c │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP32_SHA256.c │ │ │ │ │ ├── Hacl_HPKE_Curve51_CP32_SHA512.c │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP128_SHA256.c │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP128_SHA512.c │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP256_SHA256.c │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP256_SHA512.c │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP32_SHA256.c │ │ │ │ │ ├── Hacl_HPKE_Curve64_CP32_SHA512.c │ │ │ │ │ ├── Hacl_HPKE_P256_CP128_SHA256.c │ │ │ │ │ ├── Hacl_HPKE_P256_CP256_SHA256.c │ │ │ │ │ ├── Hacl_HPKE_P256_CP32_SHA256.c │ │ │ │ │ ├── Hacl_Hash_Base.c │ │ │ │ │ ├── Hacl_Hash_Blake2b.c │ │ │ │ │ ├── Hacl_Hash_Blake2b_Simd256.c │ │ │ │ │ ├── Hacl_Hash_Blake2s.c │ │ │ │ │ ├── Hacl_Hash_Blake2s_Simd128.c │ │ │ │ │ ├── Hacl_Hash_MD5.c │ │ │ │ │ ├── Hacl_Hash_SHA1.c │ │ │ │ │ ├── Hacl_Hash_SHA2.c │ │ │ │ │ ├── Hacl_Hash_SHA3.c │ │ │ │ │ ├── Hacl_Hash_SHA3_Scalar.c │ │ │ │ │ ├── Hacl_Hash_SHA3_Simd256.c │ │ │ │ │ ├── Hacl_K256_ECDSA.c │ │ │ │ │ ├── Hacl_MAC_Poly1305.c │ │ │ │ │ ├── Hacl_MAC_Poly1305_Simd128.c │ │ │ │ │ ├── Hacl_MAC_Poly1305_Simd256.c │ │ │ │ │ ├── Hacl_NaCl.c │ │ │ │ │ ├── Hacl_P256.c │ │ │ │ │ ├── Hacl_RSAPSS.c │ │ │ │ │ ├── Hacl_SHA2_Vec128.c │ │ │ │ │ ├── Hacl_SHA2_Vec256.c │ │ │ │ │ ├── Hacl_Salsa20.c │ │ │ │ │ ├── Lib_Memzero0.c │ │ │ │ │ ├── Lib_PrintBuffer.c │ │ │ │ │ └── Lib_RandomBuffer_System.c │ │ │ ├── update.sh │ │ │ └── vale │ │ │ │ └── src │ │ │ │ ├── aesgcm-x86_64-darwin.S │ │ │ │ ├── aesgcm-x86_64-linux.S │ │ │ │ ├── aesgcm-x86_64-mingw.S │ │ │ │ ├── aesgcm-x86_64-msvc.asm │ │ │ │ ├── cpuid-x86_64-darwin.S │ │ │ │ ├── cpuid-x86_64-linux.S │ │ │ │ ├── cpuid-x86_64-mingw.S │ │ │ │ ├── cpuid-x86_64-msvc.asm │ │ │ │ ├── curve25519-x86_64-darwin.S │ │ │ │ ├── curve25519-x86_64-linux.S │ │ │ │ ├── curve25519-x86_64-mingw.S │ │ │ │ └── curve25519-x86_64-msvc.asm │ │ ├── src │ │ │ ├── bindings.rs │ │ │ ├── lib.rs │ │ │ └── wasm32_bindings.rs │ │ └── wasm.sh │ ├── lib25519 │ │ ├── Cargo.toml │ │ ├── build-native.sh │ │ ├── build.rs │ │ └── src │ │ │ ├── bindings.rs │ │ │ └── lib.rs │ ├── libjade │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── build.rs │ │ ├── jazz │ │ │ ├── chacha20_avx.s │ │ │ ├── chacha20_avx2.s │ │ │ ├── chacha20_ref.s │ │ │ ├── include │ │ │ │ ├── chacha20_avx.h │ │ │ │ ├── chacha20_avx2.h │ │ │ │ ├── chacha20_ref.h │ │ │ │ ├── kyber_kyber768_avx2.h │ │ │ │ ├── kyber_kyber768_ref.h │ │ │ │ ├── libjade.h │ │ │ │ ├── poly1305_avx.h │ │ │ │ ├── poly1305_avx2.h │ │ │ │ ├── poly1305_ref.h │ │ │ │ ├── randombytes.h │ │ │ │ ├── sha256.h │ │ │ │ ├── sha3_224_avx2.h │ │ │ │ ├── sha3_224_ref.h │ │ │ │ ├── sha3_256_avx2.h │ │ │ │ ├── sha3_256_ref.h │ │ │ │ ├── sha3_384_avx2.h │ │ │ │ ├── sha3_384_ref.h │ │ │ │ ├── sha3_512_avx2.h │ │ │ │ ├── sha3_512_ref.h │ │ │ │ ├── x25519_mulx.h │ │ │ │ └── x25519_ref.h │ │ │ ├── kyber_kyber768_avx2.s │ │ │ ├── kyber_kyber768_ref.s │ │ │ ├── poly1305_avx.s │ │ │ ├── poly1305_avx2.s │ │ │ ├── poly1305_ref.s │ │ │ ├── randombytes.c │ │ │ ├── sha256.s │ │ │ ├── sha3_224_avx2.s │ │ │ ├── sha3_224_ref.s │ │ │ ├── sha3_256_avx2.s │ │ │ ├── sha3_256_ref.s │ │ │ ├── sha3_384_avx2.s │ │ │ ├── sha3_384_ref.s │ │ │ ├── sha3_512_avx2.s │ │ │ ├── sha3_512_ref.s │ │ │ ├── x25519_mulx.s │ │ │ └── x25519_ref.s │ │ └── src │ │ │ ├── bindings.rs │ │ │ └── lib.rs │ ├── platform │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ ├── linux_arm.rs │ │ │ ├── macos_arm.rs │ │ │ ├── test.rs │ │ │ └── x86.rs │ └── pqclean │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── build.rs │ │ ├── c │ │ ├── fips202.c │ │ └── fips202.h │ │ └── src │ │ ├── bindings.rs │ │ └── lib.rs ├── testing │ └── kats │ │ ├── CHANGELOG.md │ │ ├── Cargo.toml │ │ ├── Readme.md │ │ ├── acvp │ │ └── mldsa-1_1_0_40 │ │ │ ├── keygen │ │ │ ├── expectedResults.json │ │ │ └── prompt.json │ │ │ ├── siggen │ │ │ ├── expectedResults.json │ │ │ └── prompt.json │ │ │ └── sigver │ │ │ ├── expectedResults.json │ │ │ └── prompt.json │ │ ├── src │ │ ├── acvp.rs │ │ ├── acvp │ │ │ ├── mldsa.rs │ │ │ └── mldsa │ │ │ │ ├── common.rs │ │ │ │ ├── keygen_schema.rs │ │ │ │ ├── sign_schema.rs │ │ │ │ └── verify_schema.rs │ │ ├── lib.rs │ │ ├── wycheproof.rs │ │ └── wycheproof │ │ │ ├── mldsa.rs │ │ │ ├── mldsa │ │ │ ├── sign_common.rs │ │ │ ├── sign_noseed_schema.rs │ │ │ ├── sign_seed_schema.rs │ │ │ └── verify_schema.rs │ │ │ ├── mlkem.rs │ │ │ ├── mlkem │ │ │ └── schema.rs │ │ │ └── schema_common.rs │ │ └── wycheproof │ │ ├── mldsa_44_sign_noseed_test.json │ │ ├── mldsa_44_sign_seed_test.json │ │ ├── mldsa_44_verify_test.json │ │ ├── mldsa_65_sign_noseed_test.json │ │ ├── mldsa_65_sign_seed_test.json │ │ ├── mldsa_65_verify_test.json │ │ ├── mldsa_87_sign_noseed_test.json │ │ ├── mldsa_87_sign_seed_test.json │ │ ├── mldsa_87_verify_test.json │ │ ├── mlkem_1024_test.json │ │ ├── mlkem_512_test.json │ │ └── mlkem_768_test.json └── utils │ ├── core-models │ ├── .gitignore │ ├── CHANGELOG.md │ ├── Cargo.toml │ ├── proofs │ │ └── fstar │ │ │ └── extraction │ │ │ ├── Makefile │ │ │ └── Tactics.Circuits.fst │ ├── readme.md │ └── src │ │ ├── abstractions │ │ ├── bit.rs │ │ ├── bitvec.rs │ │ ├── funarr.rs │ │ └── mod.rs │ │ ├── core_arch.rs │ │ ├── core_arch │ │ ├── x86.rs │ │ └── x86 │ │ │ └── interpretations.rs │ │ ├── helpers.rs │ │ └── lib.rs │ ├── hacl-rs │ ├── CHANGELOG.md │ ├── Cargo.toml │ └── src │ │ ├── bignum.rs │ │ ├── bignum │ │ ├── base.rs │ │ ├── bignum256.rs │ │ ├── bignum256_32.rs │ │ ├── bignum32.rs │ │ ├── bignum4096.rs │ │ ├── bignum4096_32.rs │ │ ├── bignum64.rs │ │ └── bignum_base.rs │ │ ├── bignum25519_51.rs │ │ ├── curve25519_51.rs │ │ ├── fstar.rs │ │ ├── fstar │ │ ├── uint128.rs │ │ ├── uint16.rs │ │ ├── uint32.rs │ │ ├── uint64.rs │ │ └── uint8.rs │ │ ├── lib.rs │ │ ├── lowstar.rs │ │ ├── lowstar │ │ ├── endianness.rs │ │ └── ignore.rs │ │ ├── streaming_types.rs │ │ ├── util.rs │ │ └── util │ │ ├── inttypes_intrinsics.rs │ │ └── memzero0.rs │ ├── intrinsics │ ├── .gitignore │ ├── CHANGELOG.md │ ├── Cargo.toml │ ├── build.rs │ └── src │ │ ├── arm64.rs │ │ ├── arm64_extract.rs │ │ ├── avx2.rs │ │ ├── avx2_extract.rs │ │ └── lib.rs │ ├── macros │ ├── CHANGELOG.md │ ├── Cargo.toml │ └── src │ │ └── lib.rs │ ├── secrets │ ├── .gitignore │ ├── CHANGELOG.md │ ├── Cargo.toml │ └── src │ │ ├── int.rs │ │ ├── int │ │ ├── classify_public.rs │ │ ├── classify_secret.rs │ │ ├── public_integers.rs │ │ └── secret_integers.rs │ │ ├── lib.rs │ │ └── traits.rs │ └── test-utils │ ├── CHANGELOG.md │ ├── Cargo.toml │ ├── README.md │ ├── src │ ├── lib.rs │ └── tracing.rs │ └── tests │ ├── trace.rs │ └── tracing_macros.rs ├── examples ├── kyber768_encapsulate.rs ├── kyber768_generate_keypair.rs └── mlkem.rs ├── flake.lock ├── flake.nix ├── formal_verification ├── Readme.md ├── aucurves │ └── README.md ├── hacl-star │ ├── README.md │ └── spec-equivalence │ │ ├── Hacspec.Chacha20.Proof.fst │ │ ├── Hacspec.Chacha20.fst │ │ ├── Hacspec.Lib.FoldiLemmas.fst │ │ ├── Hacspec.Lib.fst │ │ ├── Hacspec.Poly1305.Proof.fst │ │ ├── Hacspec.Poly1305.fst │ │ ├── Hacspec_chacha20.fst │ │ ├── Hacspec_poly1305.fst │ │ └── Makefile ├── libjade │ └── README.md └── vale-crypto │ └── README.md ├── fstar-helpers ├── Makefile.base ├── Makefile.generic └── fstar-bitvec │ ├── BitVec.Equality.fst │ ├── BitVec.Equality.fsti │ ├── BitVec.Intrinsics.Constants.fst │ ├── BitVec.Intrinsics.TestShuffle.fst │ ├── BitVec.Intrinsics.fsti │ ├── BitVec.Utils.fst │ ├── BitVecEq.fst │ ├── BitVecEq.fsti │ ├── Makefile │ ├── MkSeq.fst │ ├── Tactics.Folds.fst │ ├── Tactics.GetBit.fst │ ├── Tactics.Pow2.fst │ ├── Tactics.Seq.fst │ ├── Tactics.Utils.fst │ └── dep.graph ├── fuzz ├── Cargo.toml └── fuzz_targets │ ├── fuzz_rng.rs │ ├── hpke.rs │ ├── implicit_rejection_util.rs │ ├── kyber1024_implicit_rejection.rs │ ├── kyber768_implicit_rejection.rs │ └── mlkem_pk_validation.rs ├── git-hooks ├── pre-commit.py ├── requirements.txt └── setup.py ├── libcrux-ecdh ├── CHANGELOG.md ├── Cargo.toml ├── Readme.md ├── src │ ├── ecdh.rs │ ├── hacl.rs │ ├── hacl │ │ ├── curve25519.rs │ │ └── p256.rs │ ├── p256_internal.rs │ └── x25519.rs └── tests │ ├── p256.rs │ ├── test_util.rs │ ├── wycheproof │ └── x25519_test.json │ └── x25519.rs ├── libcrux-kem ├── CHANGELOG.md ├── Cargo.toml ├── README.md ├── src │ └── kem.rs └── tests │ ├── kats │ ├── README.md │ ├── generate_kats.py │ ├── invalid_modulus │ │ ├── ML-KEM-1024.txt │ │ ├── ML-KEM-512.txt │ │ └── ML-KEM-768.txt │ ├── kyber.py │ ├── nistkats_1024.json │ ├── nistkats_512.json │ ├── nistkats_768.json │ └── wycheproof_early │ │ ├── decaps1024draft │ │ ├── decaps512draft │ │ ├── decaps768draft │ │ ├── encaps1024draft │ │ ├── encaps512draft │ │ ├── encaps768draft │ │ ├── keygen1024draft │ │ ├── keygen512draft │ │ └── keygen768draft │ ├── ml_kem_wycheproof_early.rs │ └── xwing.rs ├── libcrux-ml-dsa ├── CHANGELOG.md ├── Cargo.toml ├── README.md ├── benches │ ├── bench_utils.rs │ ├── manual44.rs │ ├── manual65.rs │ ├── manual87.rs │ └── ml-dsa.rs ├── boring.sh ├── build.rs ├── c.sh ├── c.yaml ├── cg.yaml ├── cg │ ├── .gitignore │ ├── CMakeLists.txt │ ├── code_gen.txt │ ├── eurydice_glue.h │ ├── header.txt │ ├── intrinsics │ │ └── libcrux_intrinsics_avx2.h │ ├── karamel │ │ ├── endianness.h │ │ └── target.h │ ├── libcrux_intrinsics_avx2.h │ ├── libcrux_mldsa65_avx2.h │ ├── libcrux_mldsa65_portable.h │ ├── libcrux_mldsa_core.h │ ├── libcrux_sha3_avx2.h │ ├── libcrux_sha3_portable.h │ ├── spdx-header.txt │ └── tests │ │ ├── mldsa65.cc │ │ ├── nistkats-65.json │ │ └── nistkats_pre_hashed-65.json ├── examples │ ├── key_pair_65.rs │ ├── sign_44.rs │ ├── sign_65.rs │ └── verify_65.rs ├── hax.sh ├── proofs │ └── fstar │ │ ├── extraction │ │ ├── .gitignore │ │ └── Makefile │ │ └── spec │ │ ├── Makefile │ │ ├── Spec.Intrinsics.fsti │ │ ├── Spec.MLDSA.Math.fst │ │ └── Spec.MLDSA.Ntt.fst ├── src │ ├── IMPLEMENTATION-NOTES.md │ ├── arithmetic.rs │ ├── constants.rs │ ├── encoding.rs │ ├── encoding │ │ ├── commitment.rs │ │ ├── error.rs │ │ ├── gamma1.rs │ │ ├── signature.rs │ │ ├── signing_key.rs │ │ ├── t0.rs │ │ ├── t1.rs │ │ └── verification_key.rs │ ├── hash_functions.rs │ ├── helper.rs │ ├── lib.rs │ ├── matrix.rs │ ├── ml_dsa_44.rs │ ├── ml_dsa_65.rs │ ├── ml_dsa_87.rs │ ├── ml_dsa_generic.rs │ ├── ml_dsa_generic │ │ ├── instantiations.rs │ │ ├── instantiations │ │ │ └── avx2.rs │ │ └── multiplexing.rs │ ├── ntt.rs │ ├── polynomial.rs │ ├── pre_hash.rs │ ├── sample.rs │ ├── samplex4.rs │ ├── simd.rs │ ├── simd │ │ ├── avx2.rs │ │ ├── avx2 │ │ │ ├── arithmetic.rs │ │ │ ├── encoding.rs │ │ │ ├── encoding │ │ │ │ ├── commitment.rs │ │ │ │ ├── error.rs │ │ │ │ ├── gamma1.rs │ │ │ │ ├── t0.rs │ │ │ │ └── t1.rs │ │ │ ├── invntt.rs │ │ │ ├── ntt.rs │ │ │ ├── rejection_sample.rs │ │ │ ├── rejection_sample │ │ │ │ ├── less_than_eta.rs │ │ │ │ ├── less_than_field_modulus.rs │ │ │ │ └── shuffle_table.rs │ │ │ └── vector_type.rs │ │ ├── portable.rs │ │ ├── portable │ │ │ ├── arithmetic.rs │ │ │ ├── encoding.rs │ │ │ ├── encoding │ │ │ │ ├── commitment.rs │ │ │ │ ├── error.rs │ │ │ │ ├── gamma1.rs │ │ │ │ ├── t0.rs │ │ │ │ └── t1.rs │ │ │ ├── invntt.rs │ │ │ ├── ntt.rs │ │ │ ├── sample.rs │ │ │ └── vector_type.rs │ │ ├── tests.rs │ │ ├── traits.rs │ │ └── traits │ │ │ └── specs.rs │ ├── specs.rs │ ├── types.rs │ └── utils.rs └── tests │ ├── acvp.rs │ ├── kats │ ├── README.md │ ├── aes256_ctr_drbg.py │ ├── dilithium.py │ ├── generate_kats.py │ ├── modules.py │ ├── nistkats-44.json │ ├── nistkats-65.json │ ├── nistkats-87.json │ ├── nistkats_pre_hashed-44.json │ ├── nistkats_pre_hashed-65.json │ ├── nistkats_pre_hashed-87.json │ ├── ntt_helper.py │ ├── polynomials.py │ ├── requirements.txt │ ├── shake_wrapper.py │ └── utils.py │ ├── nistkats.rs │ ├── self.rs │ ├── wycheproof_sign.rs │ └── wycheproof_verify.rs ├── libcrux-ml-kem ├── .gitignore ├── C-CODE.md ├── CHANGELOG.md ├── Cargo.toml ├── Formal Verification of ML-KEM_ Portable and AVX2.pdf ├── README.md ├── TOOLS.md ├── benches │ └── ml-kem.rs ├── build.rs ├── examples │ ├── decapsulate.rs │ ├── encapsulate.rs │ └── keygen.rs ├── extracts │ ├── c │ │ ├── extract.sh │ │ ├── extract.yaml │ │ └── generated │ │ │ ├── .gitignore │ │ │ ├── CMakeLists.txt │ │ │ ├── benches │ │ │ ├── mlkem768.cc │ │ │ ├── mlkem768_encaps.cc │ │ │ ├── mlkem768_keygen.cc │ │ │ └── sha3.cc │ │ │ ├── code_gen.txt │ │ │ ├── eurydice_glue.h │ │ │ ├── fix-symcrypt-includes.patch │ │ │ ├── header.txt │ │ │ ├── internal │ │ │ ├── libcrux_core.h │ │ │ ├── libcrux_mlkem1024_portable.h │ │ │ ├── libcrux_mlkem768_portable.h │ │ │ └── libcrux_mlkem_portable.h │ │ │ ├── intrinsics │ │ │ ├── libcrux_intrinsics_arm64.h │ │ │ └── libcrux_intrinsics_avx2.h │ │ │ ├── karamel │ │ │ ├── include │ │ │ │ ├── krml │ │ │ │ │ ├── c_endianness.h │ │ │ │ │ ├── fstar_int.h │ │ │ │ │ ├── internal │ │ │ │ │ │ ├── builtin.h │ │ │ │ │ │ ├── callconv.h │ │ │ │ │ │ ├── compat.h │ │ │ │ │ │ ├── debug.h │ │ │ │ │ │ ├── target.h │ │ │ │ │ │ ├── types.h │ │ │ │ │ │ └── wasmsupport.h │ │ │ │ │ └── lowstar_endianness.h │ │ │ │ └── krmllib.h │ │ │ └── krmllib │ │ │ │ └── dist │ │ │ │ └── minimal │ │ │ │ ├── FStar_UInt128.h │ │ │ │ ├── FStar_UInt128_Verified.h │ │ │ │ ├── FStar_UInt_8_16_32_64.h │ │ │ │ ├── LowStar_Endianness.h │ │ │ │ ├── Makefile.basic │ │ │ │ ├── Makefile.include │ │ │ │ ├── fstar_uint128_gcc64.h │ │ │ │ ├── fstar_uint128_msvc.h │ │ │ │ ├── fstar_uint128_struct_endianness.h │ │ │ │ └── libkrmllib.def │ │ │ ├── libcrux_core.c │ │ │ ├── libcrux_core.h │ │ │ ├── libcrux_mlkem1024.h │ │ │ ├── libcrux_mlkem1024_portable.c │ │ │ ├── libcrux_mlkem1024_portable.h │ │ │ ├── libcrux_mlkem768.h │ │ │ ├── libcrux_mlkem768_portable.c │ │ │ ├── libcrux_mlkem768_portable.h │ │ │ ├── libcrux_mlkem_portable.c │ │ │ ├── libcrux_mlkem_portable.h │ │ │ ├── libcrux_sha3_internal.h │ │ │ ├── libcrux_sha3_portable.c │ │ │ ├── libcrux_sha3_portable.h │ │ │ ├── mach │ │ │ ├── profile-macos.sh │ │ │ ├── spdx-header.txt │ │ │ └── tests │ │ │ ├── mlkem1024.cc │ │ │ ├── mlkem1024_nistkats.json │ │ │ ├── mlkem768.cc │ │ │ ├── mlkem768_nistkats.json │ │ │ ├── sha3.cc │ │ │ └── util.h │ ├── c_header_only │ │ ├── c.sh │ │ ├── extract.sh │ │ ├── extract.yaml │ │ └── generated │ │ │ ├── .gitignore │ │ │ ├── CMakeLists.txt │ │ │ ├── README.md │ │ │ ├── benches │ │ │ ├── code_gen.txt │ │ │ ├── eurydice_glue.h │ │ │ ├── header.txt │ │ │ ├── intrinsics │ │ │ ├── karamel │ │ │ ├── include │ │ │ │ ├── krml │ │ │ │ │ ├── c_endianness.h │ │ │ │ │ ├── fstar_int.h │ │ │ │ │ ├── internal │ │ │ │ │ │ ├── builtin.h │ │ │ │ │ │ ├── callconv.h │ │ │ │ │ │ ├── compat.h │ │ │ │ │ │ ├── debug.h │ │ │ │ │ │ ├── target.h │ │ │ │ │ │ ├── types.h │ │ │ │ │ │ └── wasmsupport.h │ │ │ │ │ └── lowstar_endianness.h │ │ │ │ └── krmllib.h │ │ │ └── krmllib │ │ │ │ └── dist │ │ │ │ └── minimal │ │ │ │ ├── FStar_UInt128.h │ │ │ │ ├── FStar_UInt128_Verified.h │ │ │ │ ├── FStar_UInt_8_16_32_64.h │ │ │ │ ├── LowStar_Endianness.h │ │ │ │ ├── Makefile.basic │ │ │ │ ├── Makefile.include │ │ │ │ ├── fstar_uint128_gcc64.h │ │ │ │ ├── fstar_uint128_msvc.h │ │ │ │ ├── fstar_uint128_struct_endianness.h │ │ │ │ └── libkrmllib.def │ │ │ ├── libcrux_ct_ops.h │ │ │ ├── libcrux_mlkem768_avx2.h │ │ │ ├── libcrux_mlkem768_portable.h │ │ │ ├── libcrux_mlkem_core.h │ │ │ ├── libcrux_sha3_avx2.h │ │ │ ├── libcrux_sha3_portable.h │ │ │ ├── mlkem.cmake │ │ │ ├── spdx-header.txt │ │ │ └── tests │ ├── common │ │ ├── c.sh │ │ ├── header_kill_revs.sed │ │ └── headers_kill_revs.sh │ ├── cpp_header_only │ │ ├── c.sh │ │ ├── extract.sh │ │ ├── extract.yaml │ │ └── generated │ │ │ ├── .gitignore │ │ │ ├── CMakeLists.txt │ │ │ ├── README.md │ │ │ ├── benches │ │ │ ├── mlkem768.cc │ │ │ ├── mlkem768_encaps.cc │ │ │ ├── mlkem768_keygen.cc │ │ │ └── sha3.cc │ │ │ ├── boring │ │ │ ├── eurydice_glue.h │ │ │ └── karamel │ │ │ │ └── target.h │ │ │ ├── code_gen.txt │ │ │ ├── delete.py │ │ │ ├── eurydice_glue.h │ │ │ ├── fuzz │ │ │ ├── .gitignore │ │ │ ├── Makefile │ │ │ ├── dec_fuzz.cc │ │ │ ├── enc_fuzz.cc │ │ │ ├── mkcorpus.c │ │ │ └── valid_fuzz.cc │ │ │ ├── header.txt │ │ │ ├── intrinsics │ │ │ └── libcrux_intrinsics_avx2.h │ │ │ ├── karamel │ │ │ ├── endianness.h │ │ │ └── target.h │ │ │ ├── libcrux_ct_ops.h │ │ │ ├── libcrux_mlkem768_avx2.h │ │ │ ├── libcrux_mlkem768_portable.h │ │ │ ├── libcrux_mlkem_core.h │ │ │ ├── libcrux_sha3_avx2.h │ │ │ ├── libcrux_sha3_portable.h │ │ │ ├── log.txt │ │ │ ├── mach │ │ │ ├── mlkem.cmake │ │ │ ├── spdx-header.txt │ │ │ └── tests │ │ │ ├── kyber768.cc │ │ │ ├── mlkem1024.cc │ │ │ ├── mlkem1024_nistkats.json │ │ │ ├── mlkem768.cc │ │ │ ├── mlkem768_nistkats.json │ │ │ ├── nistkats_kyber_768.json │ │ │ ├── sha3.cc │ │ │ └── util.h │ └── extract-all.sh ├── fuzz │ ├── .gitignore │ ├── Cargo.toml │ └── fuzz_targets │ │ ├── decaps.rs │ │ ├── encaps.rs │ │ └── keygen.rs ├── hax.py ├── implementation_notes.pdf ├── proofs │ ├── fstar │ │ ├── extraction │ │ │ ├── ML.KEM.fst.config.json │ │ │ └── Makefile │ │ └── spec │ │ │ ├── Makefile │ │ │ ├── Spec.MLKEM.Instances.fst │ │ │ ├── Spec.MLKEM.Math.fst │ │ │ ├── Spec.MLKEM.fst │ │ │ ├── Spec.Utils.fst │ │ │ └── Spec.Utils.fsti │ └── verification_status.md ├── src │ ├── PERFORMANCE.md │ ├── cfg.rs │ ├── constant_time_ops.rs │ ├── constants.rs │ ├── hash_functions.rs │ ├── hax_utils.rs │ ├── helper.rs │ ├── implementation_notes.pdf │ ├── ind_cca.rs │ ├── ind_cca │ │ ├── incremental.rs │ │ ├── incremental │ │ │ ├── README.md │ │ │ ├── multiplexing.rs │ │ │ └── types.rs │ │ ├── instantiations.rs │ │ ├── instantiations │ │ │ └── avx2.rs │ │ └── multiplexing.rs │ ├── ind_cpa.rs │ ├── invert_ntt.rs │ ├── lib.rs │ ├── matrix.rs │ ├── mlkem.rs │ ├── mlkem1024.rs │ ├── mlkem512.rs │ ├── mlkem768.rs │ ├── ntt.rs │ ├── polynomial.rs │ ├── pqcp.rs │ ├── sampling.rs │ ├── serialize.rs │ ├── types.rs │ ├── utils.rs │ ├── variant.rs │ ├── vector.rs │ └── vector │ │ ├── avx2.rs │ │ ├── avx2 │ │ ├── arithmetic.rs │ │ ├── compress.rs │ │ ├── ntt.rs │ │ ├── sampling.rs │ │ └── serialize.rs │ │ ├── neon.rs │ │ ├── neon │ │ ├── arithmetic.rs │ │ ├── compress.rs │ │ ├── ntt.rs │ │ ├── sampling.rs │ │ ├── serialize.rs │ │ └── vector_type.rs │ │ ├── portable.rs │ │ ├── portable │ │ ├── arithmetic.rs │ │ ├── compress.rs │ │ ├── ntt.rs │ │ ├── sampling.rs │ │ ├── serialize.rs │ │ └── vector_type.rs │ │ ├── rej_sample_table.rs │ │ └── traits.rs └── tests │ ├── acvp.rs │ ├── kats │ ├── README.md │ ├── acvp-1_1_0_35 │ │ ├── encap-decap │ │ │ ├── expectedResults.json │ │ │ └── prompt.json │ │ └── keygen │ │ │ ├── expectedResults.json │ │ │ └── prompt.json │ ├── generate_kyber_kats.py │ ├── generate_mlkem_kats.py │ ├── invalid_dk │ │ ├── ML-KEM-1024.txt │ │ ├── ML-KEM-512.txt │ │ └── ML-KEM-768.txt │ ├── invalid_modulus │ │ ├── ML-KEM-1024.txt │ │ ├── ML-KEM-512.txt │ │ └── ML-KEM-768.txt │ ├── kyber.py │ ├── mlkem.py │ ├── nistkats_kyber_1024.json │ ├── nistkats_kyber_512.json │ ├── nistkats_kyber_768.json │ ├── nistkats_mlkem_1024.json │ ├── nistkats_mlkem_512.json │ ├── nistkats_mlkem_768.json │ ├── nistkats_mlkem_ipd_1024.json │ ├── nistkats_mlkem_ipd_512.json │ ├── nistkats_mlkem_ipd_768.json │ └── wycheproof_early │ │ ├── decaps1024draft │ │ ├── decaps512draft │ │ ├── decaps768draft │ │ ├── encaps1024draft │ │ ├── encaps512draft │ │ ├── encaps768draft │ │ ├── keygen1024draft │ │ ├── keygen512draft │ │ └── keygen768draft │ ├── kyber.rs │ ├── ml-kem.rs │ ├── nistkats.rs │ ├── self.rs │ └── wycheproof.rs ├── libcrux-psq ├── CHANGELOG.md ├── Cargo.toml ├── README.md ├── benches │ ├── psq.rs │ └── psq_v2.rs ├── examples │ ├── Readme.md │ └── psq.rs ├── src │ ├── aead.rs │ ├── classic_mceliece.rs │ ├── handshake.rs │ ├── handshake │ │ ├── builder.rs │ │ ├── ciphersuite.rs │ │ ├── ciphersuite │ │ │ ├── builder.rs │ │ │ ├── initiator.rs │ │ │ ├── responder.rs │ │ │ ├── traits.rs │ │ │ └── types.rs │ │ ├── dhkem.rs │ │ ├── initiator.rs │ │ ├── initiator │ │ │ ├── query.rs │ │ │ └── registration.rs │ │ ├── keys.rs │ │ ├── pqkem.rs │ │ ├── responder.rs │ │ ├── session.rs │ │ ├── signature.rs │ │ └── transcript.rs │ ├── lib.rs │ ├── protocol │ │ └── api.rs │ ├── session.rs │ ├── session │ │ ├── session_key.rs │ │ └── transport.rs │ ├── traits.rs │ ├── v1.rs │ └── v1 │ │ ├── cred.rs │ │ ├── impls.rs │ │ ├── psk_registration.rs │ │ └── traits.rs └── tests │ └── registration.rs ├── libcrux.fst.config.json ├── no-std-build.sh ├── proofs └── fstar │ ├── README.md │ ├── extraction-edited.patch │ ├── extraction-edited │ ├── .gitignore │ ├── .hints │ │ ├── BitVecEq.fsti.hints │ │ ├── Core.Array.fst.hints │ │ ├── Core.Clone.fst.hints │ │ ├── Core.Convert.fst.hints │ │ ├── Core.Iter.Adapters.Enumerate.fst.hints │ │ ├── Core.Iter.Adapters.Step_by.fst.hints │ │ ├── Core.Iter.Traits.Collect.fst.hints │ │ ├── Core.Iter.Traits.Iterator.fst.hints │ │ ├── Core.Iter.fsti.hints │ │ ├── Core.Num.Error.fsti.hints │ │ ├── Core.Num.fsti.hints │ │ ├── Core.Ops.Arith.Neg.fsti.hints │ │ ├── Core.Ops.Index.fst.hints │ │ ├── Core.Ops.Range.fsti.hints │ │ ├── Core.Ops.fst.hints │ │ ├── Core.Option.fst.hints │ │ ├── Core.Panicking.fst.hints │ │ ├── Core.Result.fst.hints │ │ ├── Core.Slice.Iter.fst.hints │ │ ├── Core.Slice.fsti.hints │ │ ├── Core.fst.hints │ │ ├── Hax_lib.fst.hints │ │ ├── Lib.IntTypes.fsti.hints │ │ ├── Libcrux.Digest.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Arithmetic.fst.hints │ │ ├── Libcrux.Kem.Kyber.Arithmetic.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Compress.fst.hints │ │ ├── Libcrux.Kem.Kyber.Compress.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Constant_time_ops.fst.hints │ │ ├── Libcrux.Kem.Kyber.Constant_time_ops.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Constants.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Hash_functions.fst.hints │ │ ├── Libcrux.Kem.Kyber.Hash_functions.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Ind_cpa.fst.hints │ │ ├── Libcrux.Kem.Kyber.Ind_cpa.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Kyber1024.fst.hints │ │ ├── Libcrux.Kem.Kyber.Kyber1024.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Kyber512.fst.hints │ │ ├── Libcrux.Kem.Kyber.Kyber512.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Kyber768.fst.hints │ │ ├── Libcrux.Kem.Kyber.Kyber768.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Matrix.fst.hints │ │ ├── Libcrux.Kem.Kyber.Matrix.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Ntt.fst.hints │ │ ├── Libcrux.Kem.Kyber.Ntt.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Sampling.fst.hints │ │ ├── Libcrux.Kem.Kyber.Sampling.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Serialize.fst.hints │ │ ├── Libcrux.Kem.Kyber.Serialize.fsti.hints │ │ ├── Libcrux.Kem.Kyber.Types.fst.hints │ │ ├── Libcrux.Kem.Kyber.fst.hints │ │ ├── Libcrux.Kem.Kyber.fsti.hints │ │ ├── Libcrux_platform.Platform.fsti.hints │ │ ├── MkSeq.fst.hints │ │ ├── Rust_primitives.Arrays.fsti.hints │ │ ├── Rust_primitives.BitVectors.fsti.hints │ │ ├── Rust_primitives.Hax.Monomorphized_update_at.fsti.hints │ │ ├── Rust_primitives.Hax.fst.hints │ │ ├── Rust_primitives.Integers.fsti.hints │ │ ├── Rust_primitives.Iterators.fsti.hints │ │ ├── Rust_primitives.fst.hints │ │ └── Spec.Kyber.fst.hints │ ├── BitVecEq.fst │ ├── BitVecEq.fsti │ ├── Kyber.fst.config.json │ ├── Libcrux.Digest.fsti │ ├── Libcrux.Kem.Kyber.Arithmetic.fst │ ├── Libcrux.Kem.Kyber.Arithmetic.fsti │ ├── Libcrux.Kem.Kyber.Compress.fst │ ├── Libcrux.Kem.Kyber.Compress.fsti │ ├── Libcrux.Kem.Kyber.Constant_time_ops.fst │ ├── Libcrux.Kem.Kyber.Constant_time_ops.fsti │ ├── Libcrux.Kem.Kyber.Constants.fsti │ ├── Libcrux.Kem.Kyber.Hash_functions.fst │ ├── Libcrux.Kem.Kyber.Hash_functions.fsti │ ├── Libcrux.Kem.Kyber.Ind_cpa.fst │ ├── Libcrux.Kem.Kyber.Ind_cpa.fsti │ ├── Libcrux.Kem.Kyber.Kyber1024.fst │ ├── Libcrux.Kem.Kyber.Kyber1024.fsti │ ├── Libcrux.Kem.Kyber.Kyber512.fst │ ├── Libcrux.Kem.Kyber.Kyber512.fsti │ ├── Libcrux.Kem.Kyber.Kyber768.fst │ ├── Libcrux.Kem.Kyber.Kyber768.fsti │ ├── Libcrux.Kem.Kyber.Matrix.fst │ ├── Libcrux.Kem.Kyber.Matrix.fsti │ ├── Libcrux.Kem.Kyber.Ntt.fst │ ├── Libcrux.Kem.Kyber.Ntt.fsti │ ├── Libcrux.Kem.Kyber.Sampling.fst │ ├── Libcrux.Kem.Kyber.Sampling.fsti │ ├── Libcrux.Kem.Kyber.Serialize.fst │ ├── Libcrux.Kem.Kyber.Serialize.fsti │ ├── Libcrux.Kem.Kyber.Types.fst │ ├── Libcrux.Kem.Kyber.fst │ ├── Libcrux.Kem.Kyber.fsti │ ├── Libcrux.Kem.fst │ ├── Libcrux_platform.Platform.fsti │ ├── Makefile │ ├── MkSeq.fst │ ├── PROOFS.md │ └── Spec.Kyber.fst │ ├── extraction-secret-independent.patch │ ├── extraction-secret-independent │ ├── .gitignore │ ├── Libcrux.Digest.fsti │ ├── Libcrux.Kem.Kyber.Arithmetic.fst │ ├── Libcrux.Kem.Kyber.Arithmetic.fsti │ ├── Libcrux.Kem.Kyber.Compress.fst │ ├── Libcrux.Kem.Kyber.Compress.fsti │ ├── Libcrux.Kem.Kyber.Constant_time_ops.fst │ ├── Libcrux.Kem.Kyber.Constant_time_ops.fsti │ ├── Libcrux.Kem.Kyber.Constants.fsti │ ├── Libcrux.Kem.Kyber.Conversions.fst │ ├── Libcrux.Kem.Kyber.Hash_functions.fst │ ├── Libcrux.Kem.Kyber.Hash_functions.fsti │ ├── Libcrux.Kem.Kyber.Helper.fst │ ├── Libcrux.Kem.Kyber.Ind_cpa.fst │ ├── Libcrux.Kem.Kyber.Ind_cpa.fsti │ ├── Libcrux.Kem.Kyber.Kyber1024.fst │ ├── Libcrux.Kem.Kyber.Kyber1024.fsti │ ├── Libcrux.Kem.Kyber.Kyber512.fst │ ├── Libcrux.Kem.Kyber.Kyber512.fsti │ ├── Libcrux.Kem.Kyber.Kyber768.fst │ ├── Libcrux.Kem.Kyber.Kyber768.fsti │ ├── Libcrux.Kem.Kyber.Matrix.fst │ ├── Libcrux.Kem.Kyber.Matrix.fsti │ ├── Libcrux.Kem.Kyber.Ntt.fst │ ├── Libcrux.Kem.Kyber.Ntt.fsti │ ├── Libcrux.Kem.Kyber.Sampling.fst │ ├── Libcrux.Kem.Kyber.Sampling.fsti │ ├── Libcrux.Kem.Kyber.Serialize.fst │ ├── Libcrux.Kem.Kyber.Serialize.fsti │ ├── Libcrux.Kem.Kyber.Types.fst │ ├── Libcrux.Kem.Kyber.fst │ ├── Libcrux.Kem.Kyber.fsti │ ├── Libcrux.Kem.fst │ ├── Libcrux_platform.fsti │ └── Makefile │ ├── extraction │ ├── .gitignore │ ├── Libcrux.Digest.Incremental_x4.fsti │ ├── Libcrux.Digest.fsti │ ├── Libcrux.Kem.Kyber.Arithmetic.fst │ ├── Libcrux.Kem.Kyber.Arithmetic.fsti │ ├── Libcrux.Kem.Kyber.Compress.fst │ ├── Libcrux.Kem.Kyber.Compress.fsti │ ├── Libcrux.Kem.Kyber.Constant_time_ops.fst │ ├── Libcrux.Kem.Kyber.Constant_time_ops.fsti │ ├── Libcrux.Kem.Kyber.Constants.fsti │ ├── Libcrux.Kem.Kyber.Hash_functions.fst │ ├── Libcrux.Kem.Kyber.Hash_functions.fsti │ ├── Libcrux.Kem.Kyber.Ind_cpa.fst │ ├── Libcrux.Kem.Kyber.Ind_cpa.fsti │ ├── Libcrux.Kem.Kyber.Kyber1024.fst │ ├── Libcrux.Kem.Kyber.Kyber1024.fsti │ ├── Libcrux.Kem.Kyber.Kyber512.fst │ ├── Libcrux.Kem.Kyber.Kyber512.fsti │ ├── Libcrux.Kem.Kyber.Kyber768.fst │ ├── Libcrux.Kem.Kyber.Kyber768.fsti │ ├── Libcrux.Kem.Kyber.Matrix.fst │ ├── Libcrux.Kem.Kyber.Matrix.fsti │ ├── Libcrux.Kem.Kyber.Ntt.fst │ ├── Libcrux.Kem.Kyber.Ntt.fsti │ ├── Libcrux.Kem.Kyber.Sampling.fst │ ├── Libcrux.Kem.Kyber.Sampling.fsti │ ├── Libcrux.Kem.Kyber.Serialize.fst │ ├── Libcrux.Kem.Kyber.Serialize.fsti │ ├── Libcrux.Kem.Kyber.Types.fst │ ├── Libcrux.Kem.Kyber.fst │ ├── Libcrux.Kem.Kyber.fsti │ ├── Makefile │ └── clean.sh │ └── patches.sh ├── specs ├── .gitignore ├── Cargo.toml ├── bls12-381.rs ├── chacha20.rs ├── chacha20poly1305.rs ├── hacspec-lib │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── bit_vector.rs │ │ ├── field.rs │ │ ├── lib.rs │ │ ├── ring.rs │ │ └── vector.rs ├── kyber │ ├── .gitignore │ ├── Cargo.toml │ ├── proofs │ │ └── fstar │ │ │ └── extraction │ │ │ ├── Hacspec_kyber.Compress.fst │ │ │ ├── Hacspec_kyber.Ind_cpa.fst │ │ │ ├── Hacspec_kyber.Matrix.fst │ │ │ ├── Hacspec_kyber.Ntt.fst │ │ │ ├── Hacspec_kyber.Parameters.Hash_functions.fst │ │ │ ├── Hacspec_kyber.Parameters.fst │ │ │ ├── Hacspec_kyber.Sampling.fst │ │ │ ├── Hacspec_kyber.Serialize.fst │ │ │ └── Hacspec_kyber.fst │ ├── src │ │ ├── compress.rs │ │ ├── ind_cpa.rs │ │ ├── lib.rs │ │ ├── matrix.rs │ │ ├── ntt.rs │ │ ├── parameters.rs │ │ ├── sampling.rs │ │ └── serialize.rs │ └── tests │ │ ├── kyber768_nist_kats.json │ │ └── kyber768_nist_kats.rs └── poly1305.rs ├── src ├── aead.rs ├── au_curves.rs ├── bls12.rs ├── cobra.rs ├── digest.rs ├── drbg.rs ├── ecdh.rs ├── hacl.rs ├── hacl │ ├── aesgcm.rs │ ├── blake2.rs │ ├── chacha20_poly1305.rs │ ├── drbg.rs │ ├── hash.rs │ ├── p256.rs │ └── sha3.rs ├── hkdf.rs ├── hmac.rs ├── hpke.rs ├── hpke │ ├── Implementation.md │ ├── KDF_Readme.md │ ├── KEM_Readme.md │ ├── KEM_Security.md │ ├── Readme.md │ ├── Security.md │ ├── aead.rs │ ├── errors.rs │ ├── hpke.rs │ ├── kdf.rs │ └── kem.rs ├── jasmin.rs ├── jasmin │ ├── chacha20.rs │ ├── kyber_derand.rs │ ├── poly1305.rs │ ├── sha.rs │ ├── sha2.rs │ ├── sha3.rs │ └── x25519.rs ├── kem.rs ├── lib.rs ├── signature.rs ├── specs │ ├── Readme.md │ ├── bls12_381.rs │ ├── chacha20.rs │ ├── chacha20poly1305.rs │ ├── curve25519.rs │ ├── lib.rs │ ├── lib │ │ ├── array.rs │ │ ├── secret_integers.rs │ │ └── seq.rs │ ├── poly1305.rs │ ├── sha256.rs │ └── utils.rs └── wasm.rs ├── tests ├── aesgcm.rs ├── bls12.rs ├── chachapoly.rs ├── ed25519.rs ├── hkdf.rs ├── hmac.rs ├── hpke_kat.rs ├── hpke_single_kat.rs ├── hpke_test_vectors.json ├── kyber_kats │ ├── README.md │ ├── generate_kats.py │ ├── invalid_modulus │ │ ├── ML-KEM-1024.txt │ │ ├── ML-KEM-512.txt │ │ └── ML-KEM-768.txt │ ├── kyber.py │ ├── nistkats_1024.json │ ├── nistkats_512.json │ ├── nistkats_768.json │ └── wycheproof_early │ │ ├── decaps1024draft │ │ ├── decaps512draft │ │ ├── decaps768draft │ │ ├── encaps1024draft │ │ ├── encaps512draft │ │ ├── encaps768draft │ │ ├── keygen1024draft │ │ ├── keygen512draft │ │ └── keygen768draft ├── ml-kem.rs ├── rsa_pss.rs ├── sha2.rs ├── test_util.rs ├── wycheproof │ ├── aes_gcm_test.json │ ├── chacha20_poly1305_test.json │ ├── ecdh_secp256r1_ecpoint_test.json │ ├── ecdsa_secp256r1_sha256_test.json │ ├── eddsa_test.json │ ├── hkdf_sha1_test.json │ ├── hkdf_sha256_test.json │ ├── hkdf_sha384_test.json │ ├── hkdf_sha512_test.json │ ├── hmac_sha1_test.json │ ├── hmac_sha224_test.json │ ├── hmac_sha256_test.json │ ├── hmac_sha384_test.json │ ├── hmac_sha3_224_test.json │ ├── hmac_sha3_256_test.json │ ├── hmac_sha3_384_test.json │ ├── hmac_sha3_512_test.json │ ├── hmac_sha512_test.json │ ├── rsa_pss_2048_sha256_mgf1_0_test.json │ ├── rsa_pss_2048_sha256_mgf1_32_test.json │ ├── rsa_pss_3072_sha256_mgf1_32_test.json │ ├── rsa_pss_4096_sha256_mgf1_32_test.json │ ├── rsa_pss_4096_sha512_mgf1_32_test.json │ ├── x25519_test.json │ └── xchacha20_poly1305_test.json ├── xkyber_kem.rs ├── xwing_kem.rs └── xwing_test_vectors.json ├── traits ├── CHANGELOG.md ├── Cargo.toml └── src │ ├── aead.rs │ ├── aead │ ├── arrayref.rs │ ├── consts.rs │ ├── owned.rs │ ├── slice.rs │ ├── tests.rs │ ├── typed_owned.rs │ └── typed_refs.rs │ ├── digest.rs │ ├── digest │ ├── arrayref.rs │ ├── owned.rs │ ├── slice.rs │ └── tests.rs │ ├── ecdh.rs │ ├── ecdh │ ├── arrayref.rs │ ├── owned.rs │ └── slice.rs │ ├── kem.rs │ ├── kem │ ├── arrayref.rs │ ├── owned.rs │ ├── slice.rs │ └── tests.rs │ └── lib.rs └── wasm-demo ├── hpke.html ├── index.html └── sha256.html /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.docker/c/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.docker/c/Dockerfile -------------------------------------------------------------------------------- /.docker/c/ext-tools.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.docker/c/ext-tools.sh -------------------------------------------------------------------------------- /.docker/c/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.docker/c/install.sh -------------------------------------------------------------------------------- /.docker/c/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.docker/c/setup.sh -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/aead-build_test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/aead-build_test.yml -------------------------------------------------------------------------------- /.github/workflows/aes.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/aes.yml -------------------------------------------------------------------------------- /.github/workflows/docker-c-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/docker-c-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/docker-c-push-latest.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/docker-c-push-latest.yml -------------------------------------------------------------------------------- /.github/workflows/ecdh-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/ecdh-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/get-hax-ref.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/get-hax-ref.yml -------------------------------------------------------------------------------- /.github/workflows/github-reviews.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/github-reviews.yml -------------------------------------------------------------------------------- /.github/workflows/github-stale.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/github-stale.yml -------------------------------------------------------------------------------- /.github/workflows/kem-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/kem-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/libcrux-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/libcrux-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/libcrux-flake-update.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/libcrux-flake-update.yml -------------------------------------------------------------------------------- /.github/workflows/mldsa-bench.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mldsa-bench.yml -------------------------------------------------------------------------------- /.github/workflows/mldsa-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mldsa-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/mldsa-c.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mldsa-c.yml -------------------------------------------------------------------------------- /.github/workflows/mldsa-hax.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mldsa-hax.yml -------------------------------------------------------------------------------- /.github/workflows/mlkem-bench.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mlkem-bench.yml -------------------------------------------------------------------------------- /.github/workflows/mlkem-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mlkem-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/mlkem-c.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mlkem-c.yml -------------------------------------------------------------------------------- /.github/workflows/mlkem-hax.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mlkem-hax.yml -------------------------------------------------------------------------------- /.github/workflows/mlkem-nix.yml.disabled: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mlkem-nix.yml.disabled -------------------------------------------------------------------------------- /.github/workflows/mlkem-s390x.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/mlkem-s390x.yml -------------------------------------------------------------------------------- /.github/workflows/platform-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/platform-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/psq-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/psq-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/secrets-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/secrets-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/sha3-hax.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/sha3-hax.yml -------------------------------------------------------------------------------- /.github/workflows/specs-build-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/specs-build-test.yml -------------------------------------------------------------------------------- /.github/workflows/traits-build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/traits-build.yml -------------------------------------------------------------------------------- /.github/workflows/workspace-changelog.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/workspace-changelog.yml -------------------------------------------------------------------------------- /.github/workflows/workspace-checks.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.github/workflows/workspace-checks.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/.gitignore -------------------------------------------------------------------------------- /Architecture.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/Architecture.md -------------------------------------------------------------------------------- /CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/CODEOWNERS -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /RELEASE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/RELEASE.md -------------------------------------------------------------------------------- /Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/Readme.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/SECURITY.md -------------------------------------------------------------------------------- /architecture/hacl.excalidraw.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/architecture/hacl.excalidraw.svg -------------------------------------------------------------------------------- /au_curves/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/au_curves/Cargo.toml -------------------------------------------------------------------------------- /au_curves/src/bls12.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/au_curves/src/bls12.rs -------------------------------------------------------------------------------- /au_curves/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/au_curves/src/lib.rs -------------------------------------------------------------------------------- /benchmarks/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/Cargo.toml -------------------------------------------------------------------------------- /benchmarks/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/README.md -------------------------------------------------------------------------------- /benchmarks/benches/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/Readme.md -------------------------------------------------------------------------------- /benchmarks/benches/boringssl/.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/boringssl/.clang-format -------------------------------------------------------------------------------- /benchmarks/benches/boringssl/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | -------------------------------------------------------------------------------- /benchmarks/benches/boringssl/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/boringssl/CMakeLists.txt -------------------------------------------------------------------------------- /benchmarks/benches/boringssl/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/boringssl/README.md -------------------------------------------------------------------------------- /benchmarks/benches/boringssl/kyber768.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/boringssl/kyber768.cxx -------------------------------------------------------------------------------- /benchmarks/benches/boringssl/shake.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/boringssl/shake.cxx -------------------------------------------------------------------------------- /benchmarks/benches/chacha20poly1305.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/chacha20poly1305.rs -------------------------------------------------------------------------------- /benchmarks/benches/circl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/circl/Makefile -------------------------------------------------------------------------------- /benchmarks/benches/circl/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/circl/README.md -------------------------------------------------------------------------------- /benchmarks/benches/circl/go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/circl/go.mod -------------------------------------------------------------------------------- /benchmarks/benches/circl/go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/circl/go.sum -------------------------------------------------------------------------------- /benchmarks/benches/circl/kyber768_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/circl/kyber768_test.go -------------------------------------------------------------------------------- /benchmarks/benches/circl/shake_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/circl/shake_test.go -------------------------------------------------------------------------------- /benchmarks/benches/drbg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/drbg.rs -------------------------------------------------------------------------------- /benchmarks/benches/ecdsa_p256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/ecdsa_p256.rs -------------------------------------------------------------------------------- /benchmarks/benches/ed25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/ed25519.rs -------------------------------------------------------------------------------- /benchmarks/benches/hpke.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/hpke.rs -------------------------------------------------------------------------------- /benchmarks/benches/kyber768.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/kyber768.rs -------------------------------------------------------------------------------- /benchmarks/benches/p256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/p256.rs -------------------------------------------------------------------------------- /benchmarks/benches/rsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/rsa.rs -------------------------------------------------------------------------------- /benchmarks/benches/sha2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/sha2.rs -------------------------------------------------------------------------------- /benchmarks/benches/sha3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/sha3.rs -------------------------------------------------------------------------------- /benchmarks/benches/x25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/benches/x25519.rs -------------------------------------------------------------------------------- /benchmarks/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/build.rs -------------------------------------------------------------------------------- /benchmarks/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/benchmarks/src/lib.rs -------------------------------------------------------------------------------- /c.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/c.sh -------------------------------------------------------------------------------- /cavp/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/cavp/Cargo.toml -------------------------------------------------------------------------------- /cavp/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/cavp/Readme.md -------------------------------------------------------------------------------- /cavp/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/cavp/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/.gitignore: -------------------------------------------------------------------------------- 1 | profile.json.gz 2 | -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/README.md -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/benches/aesgcm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/benches/aesgcm.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/build.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/fuzz/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | corpus 3 | artifacts 4 | coverage 5 | -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/fuzz/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/aes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/aes.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/aes_gcm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/aes_gcm.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/aes_gcm_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/aes_gcm_128.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/aes_gcm_256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/aes_gcm_256.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/ctr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/ctr.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/ctr/test128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/ctr/test128.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/gf128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/gf128.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/gf128/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/gf128/test.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/platform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/platform.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/src/traits_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/src/traits_api.rs -------------------------------------------------------------------------------- /crates/algorithms/aesgcm/tests/self.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/aesgcm/tests/self.rs -------------------------------------------------------------------------------- /crates/algorithms/blake2/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/blake2/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/blake2/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/blake2/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/blake2/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/blake2/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/blake2/benches/blake2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/blake2/benches/blake2.rs -------------------------------------------------------------------------------- /crates/algorithms/blake2/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/blake2/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/blake2/tests/blake2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/blake2/tests/blake2.rs -------------------------------------------------------------------------------- /crates/algorithms/curve25519/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/curve25519/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/curve25519/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/curve25519/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/curve25519/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/curve25519/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/curve25519/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/curve25519/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/ecdsa/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ecdsa/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/ecdsa/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ecdsa/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/ecdsa/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ecdsa/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/ecdsa/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ecdsa/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/ecdsa/src/p256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ecdsa/src/p256.rs -------------------------------------------------------------------------------- /crates/algorithms/ecdsa/tests/self.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ecdsa/tests/self.rs -------------------------------------------------------------------------------- /crates/algorithms/ecdsa/tests/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ecdsa/tests/util.rs -------------------------------------------------------------------------------- /crates/algorithms/ecdsa/tests/wycheproof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ecdsa/tests/wycheproof.rs -------------------------------------------------------------------------------- /crates/algorithms/ed25519/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ed25519/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/ed25519/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ed25519/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/ed25519/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ed25519/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/ed25519/src/impl_hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ed25519/src/impl_hacl.rs -------------------------------------------------------------------------------- /crates/algorithms/ed25519/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ed25519/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/ed25519/tests/ed25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ed25519/tests/ed25519.rs -------------------------------------------------------------------------------- /crates/algorithms/ed25519/tests/self.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/ed25519/tests/self.rs -------------------------------------------------------------------------------- /crates/algorithms/hkdf/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hkdf/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/hkdf/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hkdf/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/hkdf/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hkdf/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/hkdf/src/hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hkdf/src/hacl.rs -------------------------------------------------------------------------------- /crates/algorithms/hkdf/src/hkdf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hkdf/src/hkdf.rs -------------------------------------------------------------------------------- /crates/algorithms/hmac/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hmac/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/hmac/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hmac/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/hmac/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hmac/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/hmac/src/hacl/hmac.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hmac/src/hacl/hmac.rs -------------------------------------------------------------------------------- /crates/algorithms/hmac/src/hmac.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hmac/src/hmac.rs -------------------------------------------------------------------------------- /crates/algorithms/hmac/src/impl_hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/hmac/src/impl_hacl.rs -------------------------------------------------------------------------------- /crates/algorithms/p256/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/p256/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/p256/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/p256/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/p256/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/p256/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/p256/src/ecdh_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/p256/src/ecdh_api.rs -------------------------------------------------------------------------------- /crates/algorithms/p256/src/impl_kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/p256/src/impl_kem.rs -------------------------------------------------------------------------------- /crates/algorithms/p256/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/p256/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/p256/src/p256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/p256/src/p256.rs -------------------------------------------------------------------------------- /crates/algorithms/poly1305/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/poly1305/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/poly1305/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/poly1305/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/poly1305/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/poly1305/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/poly1305/src/impl_hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/poly1305/src/impl_hacl.rs -------------------------------------------------------------------------------- /crates/algorithms/poly1305/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/poly1305/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/rsa/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/rsa/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/rsa/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/rsa/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/rsa/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/rsa/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/rsa/src/hacl/rsapss.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/rsa/src/hacl/rsapss.rs -------------------------------------------------------------------------------- /crates/algorithms/rsa/src/impl_hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/rsa/src/impl_hacl.rs -------------------------------------------------------------------------------- /crates/algorithms/rsa/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/rsa/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/rsa/tests/rsa_pss.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/rsa/tests/rsa_pss.rs -------------------------------------------------------------------------------- /crates/algorithms/sha2/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha2/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/sha2/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha2/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/sha2/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha2/Readme.md -------------------------------------------------------------------------------- /crates/algorithms/sha2/src/hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha2/src/hacl.rs -------------------------------------------------------------------------------- /crates/algorithms/sha2/src/impl_hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha2/src/impl_hacl.rs -------------------------------------------------------------------------------- /crates/algorithms/sha2/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha2/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/sha2/tests/sha2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha2/tests/sha2.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/.gitignore -------------------------------------------------------------------------------- /crates/algorithms/sha3/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/CHANGELOG.md -------------------------------------------------------------------------------- /crates/algorithms/sha3/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/Cargo.toml -------------------------------------------------------------------------------- /crates/algorithms/sha3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/README.md -------------------------------------------------------------------------------- /crates/algorithms/sha3/benches/sha3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/benches/sha3.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/build.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/c.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/c.sh -------------------------------------------------------------------------------- /crates/algorithms/sha3/c.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/c.yaml -------------------------------------------------------------------------------- /crates/algorithms/sha3/examples/sha3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/examples/sha3.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/hax.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/hax.py -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/avx2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/avx2.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/lib.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/neon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/neon.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/portable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/portable.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/simd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/simd.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/simd/arm64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/simd/arm64.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/simd/avx2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/simd/avx2.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/simd/portable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/simd/portable.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/src/traits.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/tests/avx2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/tests/avx2.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/tests/cavp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/tests/cavp.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/tests/neon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/tests/neon.rs -------------------------------------------------------------------------------- /crates/algorithms/sha3/tests/portable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/algorithms/sha3/tests/portable.rs -------------------------------------------------------------------------------- /crates/primitives/aead/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/aead/CHANGELOG.md -------------------------------------------------------------------------------- /crates/primitives/aead/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/aead/Cargo.toml -------------------------------------------------------------------------------- /crates/primitives/aead/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/aead/Readme.md -------------------------------------------------------------------------------- /crates/primitives/aead/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/aead/src/lib.rs -------------------------------------------------------------------------------- /crates/primitives/aead/src/multiplexed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/aead/src/multiplexed.rs -------------------------------------------------------------------------------- /crates/primitives/digest/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/digest/CHANGELOG.md -------------------------------------------------------------------------------- /crates/primitives/digest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/digest/Cargo.toml -------------------------------------------------------------------------------- /crates/primitives/digest/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/digest/Readme.md -------------------------------------------------------------------------------- /crates/primitives/digest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/primitives/digest/src/lib.rs -------------------------------------------------------------------------------- /crates/sys/hacl/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /Cargo.lock 3 | -------------------------------------------------------------------------------- /crates/sys/hacl/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/Cargo.toml -------------------------------------------------------------------------------- /crates/sys/hacl/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/Readme.md -------------------------------------------------------------------------------- /crates/sys/hacl/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/build.rs -------------------------------------------------------------------------------- /crates/sys/hacl/c/config/config.h: -------------------------------------------------------------------------------- 1 | #pragma once 2 | -------------------------------------------------------------------------------- /crates/sys/hacl/c/config/hacl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/config/hacl.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/config/hacl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/config/hacl.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/config/hacl128.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/config/hacl128.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/config/hacl256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/config/hacl256.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/config/vale-aes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/config/vale-aes.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/EverCrypt_AEAD.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/EverCrypt_AEAD.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/EverCrypt_DRBG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/EverCrypt_DRBG.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/EverCrypt_Error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/EverCrypt_Error.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/EverCrypt_HKDF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/EverCrypt_HKDF.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/EverCrypt_HMAC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/EverCrypt_HMAC.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/EverCrypt_Hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/EverCrypt_Hash.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_AES128.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_AES128.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Bignum.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Bignum.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Bignum256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Bignum256.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Bignum32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Bignum32.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Bignum4096.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Bignum4096.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Bignum64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Bignum64.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Chacha20.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Chacha20.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_EC_Ed25519.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_EC_Ed25519.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_EC_K256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_EC_K256.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Ed25519.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Ed25519.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_FFDHE.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_FFDHE.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Frodo1344.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Frodo1344.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Frodo64.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Frodo64.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Frodo640.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Frodo640.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Frodo976.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Frodo976.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_HKDF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_HKDF.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_HMAC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_HMAC.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_HMAC_DRBG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_HMAC_DRBG.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Hash_Base.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Hash_Base.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Hash_MD5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Hash_MD5.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Hash_SHA1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Hash_SHA1.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Hash_SHA2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Hash_SHA2.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Hash_SHA3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Hash_SHA3.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_K256_ECDSA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_K256_ECDSA.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Krmllib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Krmllib.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_NaCl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_NaCl.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_P256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_P256.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_RSAPSS.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_RSAPSS.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Salsa20.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Salsa20.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Hacl_Spec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Hacl_Spec.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/Lib_PrintBuffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/Lib_PrintBuffer.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/TestLib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/TestLib.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/config.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/internal/Vale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/internal/Vale.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/lib_intrinsics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/lib_intrinsics.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/lib_memzero0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/lib_memzero0.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/libintvector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/libintvector.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/msvc/Hacl_FFDHE.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/msvc/Hacl_FFDHE.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/msvc/Hacl_HKDF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/msvc/Hacl_HKDF.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/msvc/Hacl_HMAC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/msvc/Hacl_HMAC.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/msvc/Hacl_NaCl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/msvc/Hacl_NaCl.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/msvc/Hacl_P256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/msvc/Hacl_P256.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/msvc/Hacl_Spec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/msvc/Hacl_Spec.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/msvc/TestLib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/msvc/TestLib.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/include/msvc/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/include/msvc/config.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/karamel/include/krmllib.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/karamel/include/krmllib.h -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/EverCrypt_AEAD.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/EverCrypt_AEAD.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/EverCrypt_Cipher.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/EverCrypt_Cipher.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/EverCrypt_DRBG.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/EverCrypt_DRBG.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/EverCrypt_Ed25519.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/EverCrypt_Ed25519.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/EverCrypt_HKDF.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/EverCrypt_HKDF.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/EverCrypt_HMAC.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/EverCrypt_HMAC.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/EverCrypt_Hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/EverCrypt_Hash.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/EverCrypt_Poly1305.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/EverCrypt_Poly1305.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Bignum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Bignum.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Bignum256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Bignum256.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Bignum256_32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Bignum256_32.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Bignum32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Bignum32.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Bignum4096.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Bignum4096.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Bignum4096_32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Bignum4096_32.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Bignum64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Bignum64.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Chacha20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Chacha20.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Chacha20_Vec32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Chacha20_Vec32.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Curve25519_51.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Curve25519_51.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Curve25519_64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Curve25519_64.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_EC_Ed25519.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_EC_Ed25519.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_EC_K256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_EC_K256.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Ed25519.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Ed25519.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_FFDHE.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_FFDHE.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Frodo1344.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Frodo1344.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Frodo64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Frodo64.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Frodo640.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Frodo640.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Frodo976.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Frodo976.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Frodo_KEM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Frodo_KEM.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_GenericField32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_GenericField32.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_GenericField64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_GenericField64.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_HKDF.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_HKDF.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_HMAC.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_HMAC.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_HMAC_DRBG.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_HMAC_DRBG.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Hash_Base.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Hash_Base.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Hash_Blake2b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Hash_Blake2b.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Hash_Blake2s.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Hash_Blake2s.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Hash_MD5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Hash_MD5.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Hash_SHA1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Hash_SHA1.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Hash_SHA2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Hash_SHA2.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Hash_SHA3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Hash_SHA3.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_K256_ECDSA.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_K256_ECDSA.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_MAC_Poly1305.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_MAC_Poly1305.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_NaCl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_NaCl.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_P256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_P256.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_RSAPSS.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_RSAPSS.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_SHA2_Vec128.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_SHA2_Vec128.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_SHA2_Vec256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_SHA2_Vec256.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Hacl_Salsa20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Hacl_Salsa20.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Lib_Memzero0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Lib_Memzero0.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/Lib_PrintBuffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/Lib_PrintBuffer.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/EverCrypt_AEAD.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/EverCrypt_AEAD.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/EverCrypt_DRBG.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/EverCrypt_DRBG.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/EverCrypt_HKDF.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/EverCrypt_HKDF.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/EverCrypt_HMAC.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/EverCrypt_HMAC.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/EverCrypt_Hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/EverCrypt_Hash.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Bignum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Bignum.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Bignum256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Bignum256.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Bignum32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Bignum32.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Bignum64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Bignum64.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Chacha20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Chacha20.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_EC_K256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_EC_K256.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Ed25519.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Ed25519.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_FFDHE.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_FFDHE.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Frodo1344.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Frodo1344.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Frodo64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Frodo64.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Frodo640.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Frodo640.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Frodo976.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Frodo976.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Frodo_KEM.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Frodo_KEM.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_HKDF.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_HKDF.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_HMAC.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_HMAC.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_HMAC_DRBG.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_HMAC_DRBG.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Hash_Base.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Hash_Base.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Hash_MD5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Hash_MD5.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Hash_SHA1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Hash_SHA1.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Hash_SHA2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Hash_SHA2.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Hash_SHA3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Hash_SHA3.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_NaCl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_NaCl.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_P256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_P256.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_RSAPSS.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_RSAPSS.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Hacl_Salsa20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Hacl_Salsa20.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/src/msvc/Lib_Memzero0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/src/msvc/Lib_Memzero0.c -------------------------------------------------------------------------------- /crates/sys/hacl/c/update.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/c/update.sh -------------------------------------------------------------------------------- /crates/sys/hacl/src/bindings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/src/bindings.rs -------------------------------------------------------------------------------- /crates/sys/hacl/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/src/lib.rs -------------------------------------------------------------------------------- /crates/sys/hacl/src/wasm32_bindings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/src/wasm32_bindings.rs -------------------------------------------------------------------------------- /crates/sys/hacl/wasm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/hacl/wasm.sh -------------------------------------------------------------------------------- /crates/sys/lib25519/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/lib25519/Cargo.toml -------------------------------------------------------------------------------- /crates/sys/lib25519/build-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/lib25519/build-native.sh -------------------------------------------------------------------------------- /crates/sys/lib25519/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/lib25519/build.rs -------------------------------------------------------------------------------- /crates/sys/lib25519/src/bindings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/lib25519/src/bindings.rs -------------------------------------------------------------------------------- /crates/sys/lib25519/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/lib25519/src/lib.rs -------------------------------------------------------------------------------- /crates/sys/libjade/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /crates/sys/libjade/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/Cargo.toml -------------------------------------------------------------------------------- /crates/sys/libjade/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/Readme.md -------------------------------------------------------------------------------- /crates/sys/libjade/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/build.rs -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/chacha20_avx.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/chacha20_avx.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/chacha20_avx2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/chacha20_avx2.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/chacha20_ref.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/chacha20_ref.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/include/libjade.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/include/libjade.h -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/include/sha256.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/include/sha256.h -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/poly1305_avx.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/poly1305_avx.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/poly1305_avx2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/poly1305_avx2.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/poly1305_ref.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/poly1305_ref.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/randombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/randombytes.c -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha256.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha256.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha3_224_avx2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha3_224_avx2.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha3_224_ref.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha3_224_ref.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha3_256_avx2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha3_256_avx2.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha3_256_ref.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha3_256_ref.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha3_384_avx2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha3_384_avx2.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha3_384_ref.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha3_384_ref.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha3_512_avx2.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha3_512_avx2.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/sha3_512_ref.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/sha3_512_ref.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/x25519_mulx.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/x25519_mulx.s -------------------------------------------------------------------------------- /crates/sys/libjade/jazz/x25519_ref.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/jazz/x25519_ref.s -------------------------------------------------------------------------------- /crates/sys/libjade/src/bindings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/src/bindings.rs -------------------------------------------------------------------------------- /crates/sys/libjade/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/libjade/src/lib.rs -------------------------------------------------------------------------------- /crates/sys/platform/.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | Cargo.lock 3 | proofs/ 4 | -------------------------------------------------------------------------------- /crates/sys/platform/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/platform/Cargo.toml -------------------------------------------------------------------------------- /crates/sys/platform/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/platform/src/lib.rs -------------------------------------------------------------------------------- /crates/sys/platform/src/linux_arm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/platform/src/linux_arm.rs -------------------------------------------------------------------------------- /crates/sys/platform/src/macos_arm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/platform/src/macos_arm.rs -------------------------------------------------------------------------------- /crates/sys/platform/src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/platform/src/test.rs -------------------------------------------------------------------------------- /crates/sys/platform/src/x86.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/platform/src/x86.rs -------------------------------------------------------------------------------- /crates/sys/pqclean/.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /crates/sys/pqclean/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/pqclean/Cargo.toml -------------------------------------------------------------------------------- /crates/sys/pqclean/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/pqclean/Readme.md -------------------------------------------------------------------------------- /crates/sys/pqclean/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/pqclean/build.rs -------------------------------------------------------------------------------- /crates/sys/pqclean/c/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/pqclean/c/fips202.c -------------------------------------------------------------------------------- /crates/sys/pqclean/c/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/pqclean/c/fips202.h -------------------------------------------------------------------------------- /crates/sys/pqclean/src/bindings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/pqclean/src/bindings.rs -------------------------------------------------------------------------------- /crates/sys/pqclean/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/sys/pqclean/src/lib.rs -------------------------------------------------------------------------------- /crates/testing/kats/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/CHANGELOG.md -------------------------------------------------------------------------------- /crates/testing/kats/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/Cargo.toml -------------------------------------------------------------------------------- /crates/testing/kats/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/Readme.md -------------------------------------------------------------------------------- /crates/testing/kats/src/acvp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/src/acvp.rs -------------------------------------------------------------------------------- /crates/testing/kats/src/acvp/mldsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/src/acvp/mldsa.rs -------------------------------------------------------------------------------- /crates/testing/kats/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/src/lib.rs -------------------------------------------------------------------------------- /crates/testing/kats/src/wycheproof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/src/wycheproof.rs -------------------------------------------------------------------------------- /crates/testing/kats/src/wycheproof/mldsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/src/wycheproof/mldsa.rs -------------------------------------------------------------------------------- /crates/testing/kats/src/wycheproof/mlkem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/testing/kats/src/wycheproof/mlkem.rs -------------------------------------------------------------------------------- /crates/utils/core-models/.gitignore: -------------------------------------------------------------------------------- 1 | proofs/ 2 | -------------------------------------------------------------------------------- /crates/utils/core-models/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/core-models/CHANGELOG.md -------------------------------------------------------------------------------- /crates/utils/core-models/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/core-models/Cargo.toml -------------------------------------------------------------------------------- /crates/utils/core-models/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/core-models/readme.md -------------------------------------------------------------------------------- /crates/utils/core-models/src/core_arch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/core-models/src/core_arch.rs -------------------------------------------------------------------------------- /crates/utils/core-models/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/core-models/src/helpers.rs -------------------------------------------------------------------------------- /crates/utils/core-models/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/core-models/src/lib.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/CHANGELOG.md -------------------------------------------------------------------------------- /crates/utils/hacl-rs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/Cargo.toml -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/bignum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/bignum.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/bignum/base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/bignum/base.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/bignum/bignum32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/bignum/bignum32.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/bignum/bignum64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/bignum/bignum64.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/bignum25519_51.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/bignum25519_51.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/curve25519_51.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/curve25519_51.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/fstar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/fstar.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/fstar/uint128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/fstar/uint128.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/fstar/uint16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/fstar/uint16.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/fstar/uint32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/fstar/uint32.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/fstar/uint64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/fstar/uint64.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/fstar/uint8.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/fstar/uint8.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/lib.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/lowstar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/lowstar.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/lowstar/ignore.rs: -------------------------------------------------------------------------------- 1 | pub fn ignore(_: T) {} 2 | -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/streaming_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/streaming_types.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/util.rs -------------------------------------------------------------------------------- /crates/utils/hacl-rs/src/util/memzero0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/hacl-rs/src/util/memzero0.rs -------------------------------------------------------------------------------- /crates/utils/intrinsics/.gitignore: -------------------------------------------------------------------------------- 1 | proofs 2 | -------------------------------------------------------------------------------- /crates/utils/intrinsics/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/intrinsics/CHANGELOG.md -------------------------------------------------------------------------------- /crates/utils/intrinsics/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/intrinsics/Cargo.toml -------------------------------------------------------------------------------- /crates/utils/intrinsics/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/intrinsics/build.rs -------------------------------------------------------------------------------- /crates/utils/intrinsics/src/arm64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/intrinsics/src/arm64.rs -------------------------------------------------------------------------------- /crates/utils/intrinsics/src/avx2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/intrinsics/src/avx2.rs -------------------------------------------------------------------------------- /crates/utils/intrinsics/src/avx2_extract.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/intrinsics/src/avx2_extract.rs -------------------------------------------------------------------------------- /crates/utils/intrinsics/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/intrinsics/src/lib.rs -------------------------------------------------------------------------------- /crates/utils/macros/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/macros/CHANGELOG.md -------------------------------------------------------------------------------- /crates/utils/macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/macros/Cargo.toml -------------------------------------------------------------------------------- /crates/utils/macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/macros/src/lib.rs -------------------------------------------------------------------------------- /crates/utils/secrets/.gitignore: -------------------------------------------------------------------------------- 1 | proofs/ 2 | -------------------------------------------------------------------------------- /crates/utils/secrets/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/secrets/CHANGELOG.md -------------------------------------------------------------------------------- /crates/utils/secrets/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/secrets/Cargo.toml -------------------------------------------------------------------------------- /crates/utils/secrets/src/int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/secrets/src/int.rs -------------------------------------------------------------------------------- /crates/utils/secrets/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/secrets/src/lib.rs -------------------------------------------------------------------------------- /crates/utils/secrets/src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/secrets/src/traits.rs -------------------------------------------------------------------------------- /crates/utils/test-utils/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/test-utils/CHANGELOG.md -------------------------------------------------------------------------------- /crates/utils/test-utils/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/test-utils/Cargo.toml -------------------------------------------------------------------------------- /crates/utils/test-utils/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/test-utils/README.md -------------------------------------------------------------------------------- /crates/utils/test-utils/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/test-utils/src/lib.rs -------------------------------------------------------------------------------- /crates/utils/test-utils/src/tracing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/test-utils/src/tracing.rs -------------------------------------------------------------------------------- /crates/utils/test-utils/tests/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/crates/utils/test-utils/tests/trace.rs -------------------------------------------------------------------------------- /examples/kyber768_encapsulate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/examples/kyber768_encapsulate.rs -------------------------------------------------------------------------------- /examples/kyber768_generate_keypair.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/examples/kyber768_generate_keypair.rs -------------------------------------------------------------------------------- /examples/mlkem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/examples/mlkem.rs -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/flake.nix -------------------------------------------------------------------------------- /formal_verification/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/formal_verification/Readme.md -------------------------------------------------------------------------------- /formal_verification/aucurves/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/formal_verification/aucurves/README.md -------------------------------------------------------------------------------- /formal_verification/hacl-star/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/formal_verification/hacl-star/README.md -------------------------------------------------------------------------------- /formal_verification/libjade/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/formal_verification/libjade/README.md -------------------------------------------------------------------------------- /formal_verification/vale-crypto/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/formal_verification/vale-crypto/README.md -------------------------------------------------------------------------------- /fstar-helpers/Makefile.base: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/Makefile.base -------------------------------------------------------------------------------- /fstar-helpers/Makefile.generic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/Makefile.generic -------------------------------------------------------------------------------- /fstar-helpers/fstar-bitvec/BitVec.Utils.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/fstar-bitvec/BitVec.Utils.fst -------------------------------------------------------------------------------- /fstar-helpers/fstar-bitvec/BitVecEq.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/fstar-bitvec/BitVecEq.fst -------------------------------------------------------------------------------- /fstar-helpers/fstar-bitvec/BitVecEq.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/fstar-bitvec/BitVecEq.fsti -------------------------------------------------------------------------------- /fstar-helpers/fstar-bitvec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/fstar-bitvec/Makefile -------------------------------------------------------------------------------- /fstar-helpers/fstar-bitvec/MkSeq.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/fstar-bitvec/MkSeq.fst -------------------------------------------------------------------------------- /fstar-helpers/fstar-bitvec/Tactics.Pow2.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/fstar-bitvec/Tactics.Pow2.fst -------------------------------------------------------------------------------- /fstar-helpers/fstar-bitvec/Tactics.Seq.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/fstar-bitvec/Tactics.Seq.fst -------------------------------------------------------------------------------- /fstar-helpers/fstar-bitvec/dep.graph: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fstar-helpers/fstar-bitvec/dep.graph -------------------------------------------------------------------------------- /fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fuzz/Cargo.toml -------------------------------------------------------------------------------- /fuzz/fuzz_targets/fuzz_rng.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fuzz/fuzz_targets/fuzz_rng.rs -------------------------------------------------------------------------------- /fuzz/fuzz_targets/hpke.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fuzz/fuzz_targets/hpke.rs -------------------------------------------------------------------------------- /fuzz/fuzz_targets/mlkem_pk_validation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/fuzz/fuzz_targets/mlkem_pk_validation.rs -------------------------------------------------------------------------------- /git-hooks/pre-commit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/git-hooks/pre-commit.py -------------------------------------------------------------------------------- /git-hooks/requirements.txt: -------------------------------------------------------------------------------- 1 | GitPython==3.1.41 2 | -------------------------------------------------------------------------------- /git-hooks/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/git-hooks/setup.py -------------------------------------------------------------------------------- /libcrux-ecdh/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/CHANGELOG.md -------------------------------------------------------------------------------- /libcrux-ecdh/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/Cargo.toml -------------------------------------------------------------------------------- /libcrux-ecdh/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/Readme.md -------------------------------------------------------------------------------- /libcrux-ecdh/src/ecdh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/src/ecdh.rs -------------------------------------------------------------------------------- /libcrux-ecdh/src/hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/src/hacl.rs -------------------------------------------------------------------------------- /libcrux-ecdh/src/hacl/curve25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/src/hacl/curve25519.rs -------------------------------------------------------------------------------- /libcrux-ecdh/src/hacl/p256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/src/hacl/p256.rs -------------------------------------------------------------------------------- /libcrux-ecdh/src/p256_internal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/src/p256_internal.rs -------------------------------------------------------------------------------- /libcrux-ecdh/src/x25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/src/x25519.rs -------------------------------------------------------------------------------- /libcrux-ecdh/tests/p256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/tests/p256.rs -------------------------------------------------------------------------------- /libcrux-ecdh/tests/test_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/tests/test_util.rs -------------------------------------------------------------------------------- /libcrux-ecdh/tests/x25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ecdh/tests/x25519.rs -------------------------------------------------------------------------------- /libcrux-kem/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/CHANGELOG.md -------------------------------------------------------------------------------- /libcrux-kem/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/Cargo.toml -------------------------------------------------------------------------------- /libcrux-kem/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/README.md -------------------------------------------------------------------------------- /libcrux-kem/src/kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/src/kem.rs -------------------------------------------------------------------------------- /libcrux-kem/tests/kats/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/tests/kats/README.md -------------------------------------------------------------------------------- /libcrux-kem/tests/kats/generate_kats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/tests/kats/generate_kats.py -------------------------------------------------------------------------------- /libcrux-kem/tests/kats/kyber.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/tests/kats/kyber.py -------------------------------------------------------------------------------- /libcrux-kem/tests/kats/nistkats_1024.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/tests/kats/nistkats_1024.json -------------------------------------------------------------------------------- /libcrux-kem/tests/kats/nistkats_512.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/tests/kats/nistkats_512.json -------------------------------------------------------------------------------- /libcrux-kem/tests/kats/nistkats_768.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/tests/kats/nistkats_768.json -------------------------------------------------------------------------------- /libcrux-kem/tests/xwing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-kem/tests/xwing.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/CHANGELOG.md -------------------------------------------------------------------------------- /libcrux-ml-dsa/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/Cargo.toml -------------------------------------------------------------------------------- /libcrux-ml-dsa/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/README.md -------------------------------------------------------------------------------- /libcrux-ml-dsa/benches/bench_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/benches/bench_utils.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/benches/manual44.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/benches/manual44.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/benches/manual65.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/benches/manual65.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/benches/manual87.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/benches/manual87.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/benches/ml-dsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/benches/ml-dsa.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/boring.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/boring.sh -------------------------------------------------------------------------------- /libcrux-ml-dsa/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/build.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/c.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/c.sh -------------------------------------------------------------------------------- /libcrux-ml-dsa/c.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/c.yaml -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg.yaml -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/CMakeLists.txt -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/code_gen.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/code_gen.txt -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/eurydice_glue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/eurydice_glue.h -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/header.txt -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/karamel/endianness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/karamel/endianness.h -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/karamel/target.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/karamel/target.h -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/libcrux_intrinsics_avx2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/libcrux_intrinsics_avx2.h -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/libcrux_mldsa65_avx2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/libcrux_mldsa65_avx2.h -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/libcrux_mldsa_core.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/libcrux_mldsa_core.h -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/libcrux_sha3_avx2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/libcrux_sha3_avx2.h -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/libcrux_sha3_portable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/libcrux_sha3_portable.h -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/spdx-header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/spdx-header.txt -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/tests/mldsa65.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/tests/mldsa65.cc -------------------------------------------------------------------------------- /libcrux-ml-dsa/cg/tests/nistkats-65.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/cg/tests/nistkats-65.json -------------------------------------------------------------------------------- /libcrux-ml-dsa/examples/key_pair_65.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/examples/key_pair_65.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/examples/sign_44.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/examples/sign_44.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/examples/sign_65.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/examples/sign_65.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/examples/verify_65.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/examples/verify_65.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/hax.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/hax.sh -------------------------------------------------------------------------------- /libcrux-ml-dsa/proofs/fstar/extraction/.gitignore: -------------------------------------------------------------------------------- 1 | *fst 2 | *fsti 3 | -------------------------------------------------------------------------------- /libcrux-ml-dsa/proofs/fstar/spec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/proofs/fstar/spec/Makefile -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/IMPLEMENTATION-NOTES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/IMPLEMENTATION-NOTES.md -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/arithmetic.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/constants.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/encoding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/encoding.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/encoding/commitment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/encoding/commitment.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/encoding/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/encoding/error.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/encoding/gamma1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/encoding/gamma1.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/encoding/signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/encoding/signature.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/encoding/signing_key.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/encoding/signing_key.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/encoding/t0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/encoding/t0.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/encoding/t1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/encoding/t1.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/hash_functions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/hash_functions.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/helper.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/lib.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/matrix.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/matrix.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/ml_dsa_44.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/ml_dsa_44.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/ml_dsa_65.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/ml_dsa_65.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/ml_dsa_87.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/ml_dsa_87.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/ml_dsa_generic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/ml_dsa_generic.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/ntt.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/polynomial.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/pre_hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/pre_hash.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/sample.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/sample.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/samplex4.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/samplex4.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/avx2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/avx2.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/avx2/arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/avx2/arithmetic.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/avx2/encoding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/avx2/encoding.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/avx2/encoding/t0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/avx2/encoding/t0.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/avx2/encoding/t1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/avx2/encoding/t1.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/avx2/invntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/avx2/invntt.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/avx2/ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/avx2/ntt.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/avx2/vector_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/avx2/vector_type.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/portable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/portable.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/portable/invntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/portable/invntt.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/portable/ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/portable/ntt.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/portable/sample.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/portable/sample.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/tests.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/traits.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/simd/traits/specs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/simd/traits/specs.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/specs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/specs.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/src/types.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/src/utils.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/acvp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/acvp.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/README.md -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/dilithium.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/dilithium.py -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/generate_kats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/generate_kats.py -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/modules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/modules.py -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/nistkats-44.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/nistkats-44.json -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/nistkats-65.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/nistkats-65.json -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/nistkats-87.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/nistkats-87.json -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/ntt_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/ntt_helper.py -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/polynomials.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/polynomials.py -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/requirements.txt: -------------------------------------------------------------------------------- 1 | pycryptodome==3.19.1 2 | -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/shake_wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/shake_wrapper.py -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/kats/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/kats/utils.py -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/nistkats.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/nistkats.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/self.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/self.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/wycheproof_sign.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/wycheproof_sign.rs -------------------------------------------------------------------------------- /libcrux-ml-dsa/tests/wycheproof_verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-dsa/tests/wycheproof_verify.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/.gitignore -------------------------------------------------------------------------------- /libcrux-ml-kem/C-CODE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/C-CODE.md -------------------------------------------------------------------------------- /libcrux-ml-kem/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/CHANGELOG.md -------------------------------------------------------------------------------- /libcrux-ml-kem/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/Cargo.toml -------------------------------------------------------------------------------- /libcrux-ml-kem/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/README.md -------------------------------------------------------------------------------- /libcrux-ml-kem/TOOLS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/TOOLS.md -------------------------------------------------------------------------------- /libcrux-ml-kem/benches/ml-kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/benches/ml-kem.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/build.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/examples/decapsulate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/examples/decapsulate.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/examples/encapsulate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/examples/encapsulate.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/examples/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/examples/keygen.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c/extract.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/extracts/c/extract.sh -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c/extract.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/extracts/c/extract.yaml -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c/generated/.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c/generated/mach: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/extracts/c/generated/mach -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c_header_only/c.sh: -------------------------------------------------------------------------------- 1 | ../common/c.sh -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c_header_only/generated/.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c_header_only/generated/benches: -------------------------------------------------------------------------------- 1 | ../../cpp_header_only/generated/benches -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c_header_only/generated/intrinsics: -------------------------------------------------------------------------------- 1 | ../../cpp_header_only/generated/intrinsics -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c_header_only/generated/mlkem.cmake: -------------------------------------------------------------------------------- 1 | ../../cpp_header_only/generated/mlkem.cmake -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c_header_only/generated/spdx-header.txt: -------------------------------------------------------------------------------- 1 | ../../cpp_header_only/generated/spdx-header.txt -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/c_header_only/generated/tests: -------------------------------------------------------------------------------- 1 | ../../cpp_header_only/generated/tests -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/common/c.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/extracts/common/c.sh -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/cpp_header_only/c.sh: -------------------------------------------------------------------------------- 1 | ../common/c.sh -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/cpp_header_only/generated/.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | -------------------------------------------------------------------------------- /libcrux-ml-kem/extracts/extract-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/extracts/extract-all.sh -------------------------------------------------------------------------------- /libcrux-ml-kem/fuzz/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | corpus 3 | artifacts 4 | coverage 5 | -------------------------------------------------------------------------------- /libcrux-ml-kem/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/fuzz/Cargo.toml -------------------------------------------------------------------------------- /libcrux-ml-kem/fuzz/fuzz_targets/decaps.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/fuzz/fuzz_targets/decaps.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/fuzz/fuzz_targets/encaps.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/fuzz/fuzz_targets/encaps.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/fuzz/fuzz_targets/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/fuzz/fuzz_targets/keygen.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/hax.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/hax.py -------------------------------------------------------------------------------- /libcrux-ml-kem/implementation_notes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/implementation_notes.pdf -------------------------------------------------------------------------------- /libcrux-ml-kem/proofs/fstar/spec/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/proofs/fstar/spec/Makefile -------------------------------------------------------------------------------- /libcrux-ml-kem/src/PERFORMANCE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/PERFORMANCE.md -------------------------------------------------------------------------------- /libcrux-ml-kem/src/cfg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/cfg.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/constant_time_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/constant_time_ops.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/constants.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/hash_functions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/hash_functions.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/hax_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/hax_utils.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/helper.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/implementation_notes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/implementation_notes.pdf -------------------------------------------------------------------------------- /libcrux-ml-kem/src/ind_cca.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/ind_cca.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/ind_cca/incremental.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/ind_cca/incremental.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/ind_cca/multiplexing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/ind_cca/multiplexing.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/ind_cpa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/ind_cpa.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/invert_ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/invert_ntt.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/lib.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/matrix.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/matrix.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/mlkem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/mlkem.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/mlkem1024.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/mlkem1024.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/mlkem512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/mlkem512.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/mlkem768.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/mlkem768.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/ntt.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/polynomial.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/pqcp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/pqcp.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/sampling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/sampling.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/serialize.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/types.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/utils.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/variant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/variant.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/avx2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/avx2.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/avx2/compress.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/avx2/compress.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/avx2/ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/avx2/ntt.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/avx2/sampling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/avx2/sampling.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/avx2/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/avx2/serialize.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/neon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/neon.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/neon/compress.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/neon/compress.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/neon/ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/neon/ntt.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/neon/sampling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/neon/sampling.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/neon/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/neon/serialize.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/portable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/portable.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/portable/ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/portable/ntt.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/src/vector/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/src/vector/traits.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/acvp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/acvp.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/kats/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/kats/README.md -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/kats/kyber.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/kats/kyber.py -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/kats/mlkem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/kats/mlkem.py -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/kyber.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/kyber.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/ml-kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/ml-kem.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/nistkats.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/nistkats.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/self.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/self.rs -------------------------------------------------------------------------------- /libcrux-ml-kem/tests/wycheproof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-ml-kem/tests/wycheproof.rs -------------------------------------------------------------------------------- /libcrux-psq/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/CHANGELOG.md -------------------------------------------------------------------------------- /libcrux-psq/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/Cargo.toml -------------------------------------------------------------------------------- /libcrux-psq/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/README.md -------------------------------------------------------------------------------- /libcrux-psq/benches/psq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/benches/psq.rs -------------------------------------------------------------------------------- /libcrux-psq/benches/psq_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/benches/psq_v2.rs -------------------------------------------------------------------------------- /libcrux-psq/examples/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/examples/Readme.md -------------------------------------------------------------------------------- /libcrux-psq/examples/psq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/examples/psq.rs -------------------------------------------------------------------------------- /libcrux-psq/src/aead.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/aead.rs -------------------------------------------------------------------------------- /libcrux-psq/src/classic_mceliece.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/classic_mceliece.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/builder.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/ciphersuite.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/ciphersuite.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/dhkem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/dhkem.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/initiator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/initiator.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/keys.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/keys.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/pqkem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/pqkem.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/responder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/responder.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/session.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/session.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/signature.rs -------------------------------------------------------------------------------- /libcrux-psq/src/handshake/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/handshake/transcript.rs -------------------------------------------------------------------------------- /libcrux-psq/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/lib.rs -------------------------------------------------------------------------------- /libcrux-psq/src/protocol/api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/protocol/api.rs -------------------------------------------------------------------------------- /libcrux-psq/src/session.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/session.rs -------------------------------------------------------------------------------- /libcrux-psq/src/session/session_key.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/session/session_key.rs -------------------------------------------------------------------------------- /libcrux-psq/src/session/transport.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/session/transport.rs -------------------------------------------------------------------------------- /libcrux-psq/src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/traits.rs -------------------------------------------------------------------------------- /libcrux-psq/src/v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/v1.rs -------------------------------------------------------------------------------- /libcrux-psq/src/v1/cred.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/v1/cred.rs -------------------------------------------------------------------------------- /libcrux-psq/src/v1/impls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/v1/impls.rs -------------------------------------------------------------------------------- /libcrux-psq/src/v1/psk_registration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/v1/psk_registration.rs -------------------------------------------------------------------------------- /libcrux-psq/src/v1/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/src/v1/traits.rs -------------------------------------------------------------------------------- /libcrux-psq/tests/registration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux-psq/tests/registration.rs -------------------------------------------------------------------------------- /libcrux.fst.config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/libcrux.fst.config.json -------------------------------------------------------------------------------- /no-std-build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/no-std-build.sh -------------------------------------------------------------------------------- /proofs/fstar/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/README.md -------------------------------------------------------------------------------- /proofs/fstar/extraction-edited.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/extraction-edited.patch -------------------------------------------------------------------------------- /proofs/fstar/extraction-edited/.gitignore: -------------------------------------------------------------------------------- 1 | .depend 2 | -------------------------------------------------------------------------------- /proofs/fstar/extraction-edited/BitVecEq.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/extraction-edited/BitVecEq.fst -------------------------------------------------------------------------------- /proofs/fstar/extraction-edited/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/extraction-edited/Makefile -------------------------------------------------------------------------------- /proofs/fstar/extraction-edited/MkSeq.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/extraction-edited/MkSeq.fst -------------------------------------------------------------------------------- /proofs/fstar/extraction-edited/PROOFS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/extraction-edited/PROOFS.md -------------------------------------------------------------------------------- /proofs/fstar/extraction-secret-independent/.gitignore: -------------------------------------------------------------------------------- 1 | .depend 2 | -------------------------------------------------------------------------------- /proofs/fstar/extraction/.gitignore: -------------------------------------------------------------------------------- 1 | .depend 2 | -------------------------------------------------------------------------------- /proofs/fstar/extraction/Libcrux.Digest.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/extraction/Libcrux.Digest.fsti -------------------------------------------------------------------------------- /proofs/fstar/extraction/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/extraction/Makefile -------------------------------------------------------------------------------- /proofs/fstar/extraction/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/extraction/clean.sh -------------------------------------------------------------------------------- /proofs/fstar/patches.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/proofs/fstar/patches.sh -------------------------------------------------------------------------------- /specs/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock 2 | target/ 3 | -------------------------------------------------------------------------------- /specs/Cargo.toml: -------------------------------------------------------------------------------- 1 | [workspace] 2 | members = ["hacspec-lib", "kyber"] 3 | resolver = "2" 4 | -------------------------------------------------------------------------------- /specs/bls12-381.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/bls12-381.rs -------------------------------------------------------------------------------- /specs/chacha20.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/chacha20.rs -------------------------------------------------------------------------------- /specs/chacha20poly1305.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/chacha20poly1305.rs -------------------------------------------------------------------------------- /specs/hacspec-lib/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock 2 | /target 3 | -------------------------------------------------------------------------------- /specs/hacspec-lib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/hacspec-lib/Cargo.toml -------------------------------------------------------------------------------- /specs/hacspec-lib/src/bit_vector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/hacspec-lib/src/bit_vector.rs -------------------------------------------------------------------------------- /specs/hacspec-lib/src/field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/hacspec-lib/src/field.rs -------------------------------------------------------------------------------- /specs/hacspec-lib/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/hacspec-lib/src/lib.rs -------------------------------------------------------------------------------- /specs/hacspec-lib/src/ring.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/hacspec-lib/src/ring.rs -------------------------------------------------------------------------------- /specs/hacspec-lib/src/vector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/hacspec-lib/src/vector.rs -------------------------------------------------------------------------------- /specs/kyber/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock 2 | target/ 3 | proptest-regressions 4 | -------------------------------------------------------------------------------- /specs/kyber/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/Cargo.toml -------------------------------------------------------------------------------- /specs/kyber/src/compress.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/src/compress.rs -------------------------------------------------------------------------------- /specs/kyber/src/ind_cpa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/src/ind_cpa.rs -------------------------------------------------------------------------------- /specs/kyber/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/src/lib.rs -------------------------------------------------------------------------------- /specs/kyber/src/matrix.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/src/matrix.rs -------------------------------------------------------------------------------- /specs/kyber/src/ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/src/ntt.rs -------------------------------------------------------------------------------- /specs/kyber/src/parameters.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/src/parameters.rs -------------------------------------------------------------------------------- /specs/kyber/src/sampling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/src/sampling.rs -------------------------------------------------------------------------------- /specs/kyber/src/serialize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/src/serialize.rs -------------------------------------------------------------------------------- /specs/kyber/tests/kyber768_nist_kats.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/tests/kyber768_nist_kats.json -------------------------------------------------------------------------------- /specs/kyber/tests/kyber768_nist_kats.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/kyber/tests/kyber768_nist_kats.rs -------------------------------------------------------------------------------- /specs/poly1305.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/specs/poly1305.rs -------------------------------------------------------------------------------- /src/aead.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/aead.rs -------------------------------------------------------------------------------- /src/au_curves.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/au_curves.rs -------------------------------------------------------------------------------- /src/bls12.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/bls12.rs -------------------------------------------------------------------------------- /src/cobra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/cobra.rs -------------------------------------------------------------------------------- /src/digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/digest.rs -------------------------------------------------------------------------------- /src/drbg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/drbg.rs -------------------------------------------------------------------------------- /src/ecdh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/ecdh.rs -------------------------------------------------------------------------------- /src/hacl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hacl.rs -------------------------------------------------------------------------------- /src/hacl/aesgcm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hacl/aesgcm.rs -------------------------------------------------------------------------------- /src/hacl/blake2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hacl/blake2.rs -------------------------------------------------------------------------------- /src/hacl/chacha20_poly1305.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hacl/chacha20_poly1305.rs -------------------------------------------------------------------------------- /src/hacl/drbg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hacl/drbg.rs -------------------------------------------------------------------------------- /src/hacl/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hacl/hash.rs -------------------------------------------------------------------------------- /src/hacl/p256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hacl/p256.rs -------------------------------------------------------------------------------- /src/hacl/sha3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hacl/sha3.rs -------------------------------------------------------------------------------- /src/hkdf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hkdf.rs -------------------------------------------------------------------------------- /src/hmac.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hmac.rs -------------------------------------------------------------------------------- /src/hpke.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke.rs -------------------------------------------------------------------------------- /src/hpke/Implementation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/Implementation.md -------------------------------------------------------------------------------- /src/hpke/KDF_Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/KDF_Readme.md -------------------------------------------------------------------------------- /src/hpke/KEM_Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/KEM_Readme.md -------------------------------------------------------------------------------- /src/hpke/KEM_Security.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/KEM_Security.md -------------------------------------------------------------------------------- /src/hpke/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/Readme.md -------------------------------------------------------------------------------- /src/hpke/Security.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/Security.md -------------------------------------------------------------------------------- /src/hpke/aead.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/aead.rs -------------------------------------------------------------------------------- /src/hpke/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/errors.rs -------------------------------------------------------------------------------- /src/hpke/hpke.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/hpke.rs -------------------------------------------------------------------------------- /src/hpke/kdf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/kdf.rs -------------------------------------------------------------------------------- /src/hpke/kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/hpke/kem.rs -------------------------------------------------------------------------------- /src/jasmin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/jasmin.rs -------------------------------------------------------------------------------- /src/jasmin/chacha20.rs: -------------------------------------------------------------------------------- 1 | // TODO 2 | -------------------------------------------------------------------------------- /src/jasmin/kyber_derand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/jasmin/kyber_derand.rs -------------------------------------------------------------------------------- /src/jasmin/poly1305.rs: -------------------------------------------------------------------------------- 1 | // TODO 2 | -------------------------------------------------------------------------------- /src/jasmin/sha.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/jasmin/sha.rs -------------------------------------------------------------------------------- /src/jasmin/sha2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/jasmin/sha2.rs -------------------------------------------------------------------------------- /src/jasmin/sha3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/jasmin/sha3.rs -------------------------------------------------------------------------------- /src/jasmin/x25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/jasmin/x25519.rs -------------------------------------------------------------------------------- /src/kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/kem.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/signature.rs -------------------------------------------------------------------------------- /src/specs/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/Readme.md -------------------------------------------------------------------------------- /src/specs/bls12_381.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/bls12_381.rs -------------------------------------------------------------------------------- /src/specs/chacha20.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/chacha20.rs -------------------------------------------------------------------------------- /src/specs/chacha20poly1305.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/chacha20poly1305.rs -------------------------------------------------------------------------------- /src/specs/curve25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/curve25519.rs -------------------------------------------------------------------------------- /src/specs/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/lib.rs -------------------------------------------------------------------------------- /src/specs/lib/array.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/specs/lib/secret_integers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/lib/secret_integers.rs -------------------------------------------------------------------------------- /src/specs/lib/seq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/lib/seq.rs -------------------------------------------------------------------------------- /src/specs/poly1305.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/poly1305.rs -------------------------------------------------------------------------------- /src/specs/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/sha256.rs -------------------------------------------------------------------------------- /src/specs/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/specs/utils.rs -------------------------------------------------------------------------------- /src/wasm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/src/wasm.rs -------------------------------------------------------------------------------- /tests/aesgcm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/aesgcm.rs -------------------------------------------------------------------------------- /tests/bls12.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/bls12.rs -------------------------------------------------------------------------------- /tests/chachapoly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/chachapoly.rs -------------------------------------------------------------------------------- /tests/ed25519.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/ed25519.rs -------------------------------------------------------------------------------- /tests/hkdf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/hkdf.rs -------------------------------------------------------------------------------- /tests/hmac.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/hmac.rs -------------------------------------------------------------------------------- /tests/hpke_kat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/hpke_kat.rs -------------------------------------------------------------------------------- /tests/hpke_single_kat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/hpke_single_kat.rs -------------------------------------------------------------------------------- /tests/hpke_test_vectors.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/hpke_test_vectors.json -------------------------------------------------------------------------------- /tests/kyber_kats/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/kyber_kats/README.md -------------------------------------------------------------------------------- /tests/kyber_kats/generate_kats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/kyber_kats/generate_kats.py -------------------------------------------------------------------------------- /tests/kyber_kats/kyber.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/kyber_kats/kyber.py -------------------------------------------------------------------------------- /tests/kyber_kats/nistkats_1024.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/kyber_kats/nistkats_1024.json -------------------------------------------------------------------------------- /tests/kyber_kats/nistkats_512.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/kyber_kats/nistkats_512.json -------------------------------------------------------------------------------- /tests/kyber_kats/nistkats_768.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/kyber_kats/nistkats_768.json -------------------------------------------------------------------------------- /tests/ml-kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/ml-kem.rs -------------------------------------------------------------------------------- /tests/rsa_pss.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/rsa_pss.rs -------------------------------------------------------------------------------- /tests/sha2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/sha2.rs -------------------------------------------------------------------------------- /tests/test_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/test_util.rs -------------------------------------------------------------------------------- /tests/wycheproof/aes_gcm_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/aes_gcm_test.json -------------------------------------------------------------------------------- /tests/wycheproof/eddsa_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/eddsa_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hkdf_sha1_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hkdf_sha1_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hkdf_sha256_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hkdf_sha256_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hkdf_sha384_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hkdf_sha384_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hkdf_sha512_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hkdf_sha512_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha1_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha1_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha224_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha224_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha256_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha256_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha384_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha384_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha3_224_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha3_224_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha3_256_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha3_256_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha3_384_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha3_384_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha3_512_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha3_512_test.json -------------------------------------------------------------------------------- /tests/wycheproof/hmac_sha512_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/hmac_sha512_test.json -------------------------------------------------------------------------------- /tests/wycheproof/x25519_test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/wycheproof/x25519_test.json -------------------------------------------------------------------------------- /tests/xkyber_kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/xkyber_kem.rs -------------------------------------------------------------------------------- /tests/xwing_kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/xwing_kem.rs -------------------------------------------------------------------------------- /tests/xwing_test_vectors.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/tests/xwing_test_vectors.json -------------------------------------------------------------------------------- /traits/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/CHANGELOG.md -------------------------------------------------------------------------------- /traits/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/Cargo.toml -------------------------------------------------------------------------------- /traits/src/aead.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/aead.rs -------------------------------------------------------------------------------- /traits/src/aead/arrayref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/aead/arrayref.rs -------------------------------------------------------------------------------- /traits/src/aead/consts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/aead/consts.rs -------------------------------------------------------------------------------- /traits/src/aead/owned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/aead/owned.rs -------------------------------------------------------------------------------- /traits/src/aead/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/aead/slice.rs -------------------------------------------------------------------------------- /traits/src/aead/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/aead/tests.rs -------------------------------------------------------------------------------- /traits/src/aead/typed_owned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/aead/typed_owned.rs -------------------------------------------------------------------------------- /traits/src/aead/typed_refs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/aead/typed_refs.rs -------------------------------------------------------------------------------- /traits/src/digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/digest.rs -------------------------------------------------------------------------------- /traits/src/digest/arrayref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/digest/arrayref.rs -------------------------------------------------------------------------------- /traits/src/digest/owned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/digest/owned.rs -------------------------------------------------------------------------------- /traits/src/digest/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/digest/slice.rs -------------------------------------------------------------------------------- /traits/src/digest/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/digest/tests.rs -------------------------------------------------------------------------------- /traits/src/ecdh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/ecdh.rs -------------------------------------------------------------------------------- /traits/src/ecdh/arrayref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/ecdh/arrayref.rs -------------------------------------------------------------------------------- /traits/src/ecdh/owned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/ecdh/owned.rs -------------------------------------------------------------------------------- /traits/src/ecdh/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/ecdh/slice.rs -------------------------------------------------------------------------------- /traits/src/kem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/kem.rs -------------------------------------------------------------------------------- /traits/src/kem/arrayref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/kem/arrayref.rs -------------------------------------------------------------------------------- /traits/src/kem/owned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/kem/owned.rs -------------------------------------------------------------------------------- /traits/src/kem/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/kem/slice.rs -------------------------------------------------------------------------------- /traits/src/kem/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/kem/tests.rs -------------------------------------------------------------------------------- /traits/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/traits/src/lib.rs -------------------------------------------------------------------------------- /wasm-demo/hpke.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/wasm-demo/hpke.html -------------------------------------------------------------------------------- /wasm-demo/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/wasm-demo/index.html -------------------------------------------------------------------------------- /wasm-demo/sha256.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cryspen/libcrux/HEAD/wasm-demo/sha256.html --------------------------------------------------------------------------------