libcrux 0.0.1

Formally Verified Cryptography
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

[[bench]]
harness = false
name = "sha2"

[[bench]]
harness = false
name = "sha3"

[[bench]]
harness = false
name = "x25519"

[[bench]]
harness = false
name = "aead"

[[bench]]
harness = false
name = "hpke"

[[bench]]
harness = false
name = "drbg"
[dependencies.hacl]
features = ["hazmat"]
version = "=0.0.2"

[dependencies.hacspec-lib]
features = ["release"]
optional = true
version = "=0.1.0-beta.1"

[dependencies.log]
version = "0.4"

[dependencies.rand]
version = "0.8"
[dev-dependencies.chacha20poly1305]
version = "0.10"

[dev-dependencies.criterion]
version = "0.4"

[dev-dependencies.hex]
version = "0.4"

[dev-dependencies.pretty_env_logger]
version = "0.4"

[dev-dependencies.quickcheck]
version = "1"

[dev-dependencies.quickcheck_macros]
version = "1"

[dev-dependencies.rand]
version = "0.8"

[dev-dependencies.rand_core]
version = "0.6"

[dev-dependencies.ring]
version = "0.16"

[dev-dependencies.serde]
features = ["derive"]
version = "1.0"

[dev-dependencies.serde_json]
version = "1.0"

[dev-dependencies.sha2]
version = "0.10"

[dev-dependencies.sha3]
version = "0.10"

[dev-dependencies.x25519-dalek-ng]
version = "1.1"

[features]
hacspec = ["hacspec-lib"]
rand = []

[lib]
crate-type = ["staticlib", "cdylib", "lib"]

[package]
authors = ["Franziskus Kiefer <franziskuskiefer@gmail.com>"]
description = "Formally Verified Cryptography"
documentation = "https://docs.rs/libcrux/"
edition = "2021"
exclude = ["/tests"]
license = "Apache-2.0"
name = "libcrux"
readme = "Readme.md"
repository = "https://github.com/cryspen/libcrux"
version = "0.0.1"
[target."cfg(any(target_arch = \"x86_64\", target_arch = \"x86\"))".dependencies.libjade-sys]
version = "0.0.1"
[target."cfg(not(windows))".dev-dependencies.openssl]
version = "0.10"