# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO # # When uploading crates to the registry Cargo will automatically # "normalize" Cargo.toml files for maximal compatibility # with all versions of Cargo and also rewrite `path` dependencies # to registry (e.g., crates.io) dependencies. # # If you are reading this file be aware that the original Cargo.toml # will likely look very different (and much more reasonable). # See Cargo.toml.orig for the original contents. [package] edition = "2021" name = "libcrux-ml-kem" version = "0.0.2-alpha.3" authors = ["Cryspen"] exclude = [ "/tests", "/implementation_notes.pdf", "/c", "/proofs", "/c.sh", "/c.yaml", "/hax.py", ] description = "Libcrux ML-KEM & Kyber implementations" homepage = "https://github.com/cryspen/libcrux" readme = "README.md" license = "Apache-2.0" repository = "https://github.com/cryspen/libcrux" [package.metadata."docs.rs"] features = [ "pre-verification", "kyber", ] rustdoc-args = [ "--cfg", "doc_cfg", ] [[example]] name = "encapsulate" required-features = ["mlkem768"] [[example]] name = "decapsulate" required-features = ["mlkem768"] [[example]] name = "keygen" required-features = ["mlkem768"] [[bench]] name = "ml-kem" harness = false [dependencies.libcrux-intrinsics] version = "0.0.2-alpha.3" [dependencies.libcrux-platform] version = "0.0.2-alpha.3" [dependencies.libcrux-sha3] version = "0.0.2-alpha.3" [dependencies.rand_core] version = "0.6" [dev-dependencies.criterion] version = "0.5" [dev-dependencies.hex] version = "0.4.3" features = ["serde"] [dev-dependencies.rand] version = "0.8" [dev-dependencies.serde] version = "1.0" features = ["derive"] [dev-dependencies.serde_json] version = "1.0" [features] default = [ "std", "mlkem512", "mlkem768", "mlkem1024", ] kyber = [] mlkem1024 = [] mlkem512 = [] mlkem768 = [] pre-verification = [] simd128 = [ "libcrux-sha3/simd128", "libcrux-intrinsics/simd128", ] simd256 = [ "libcrux-sha3/simd256", "libcrux-intrinsics/simd256", ] std = [] [target."cfg(hax)".dependencies.hax-lib] version = "0.1.0-alpha.1" [lints.rust.unexpected_cfgs] level = "warn" priority = 0