forked from 0xPolygonMiden/miden-vm
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
76 lines (68 loc) · 2.66 KB
/
Cargo.toml
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
[package]
name = "miden-vm"
version = "0.5.0"
description="Miden virtual machine"
authors = ["miden contributors"]
readme="README.md"
license = "MIT"
repository = "https://github.com/0xPolygonMiden/miden-vm"
categories = ["cryptography", "emulators", "no-std"]
keywords = ["miden", "stark", "virtual-machine", "zkp"]
edition = "2021"
rust-version = "1.67"
[[bin]]
name = "miden"
path = "src/main.rs"
bench = false
doctest = false
required-features = ["executable"]
[lib]
name = "miden"
path = "src/lib.rs"
bench = false
doctest = false
[[bench]]
name = "program_compilation"
harness = false
[[bench]]
name = "program_execution"
harness = false
[[test]]
name = "miden"
path = "tests/integration/main.rs"
[features]
concurrent = ["prover/concurrent", "std"]
default = ["std"]
executable = ["env_logger", "hex/std", "processor/internals", "std", "serde/std", "serde_derive", "serde_json/std", "structopt", "rustyline"]
std = ["assembly/std", "log/std", "processor/std", "prover/std", "verifier/std"]
[dependencies]
assembly = { package = "miden-assembly", path = "../assembly", version = "0.5", default-features = false }
env_logger = { version = "0.10", default-features = false, optional = true }
hex = { version = "0.4", optional = true }
log = { version = "0.4", default-features = false }
processor = { package = "miden-processor", path = "../processor", version = "0.5", default-features = false }
prover = { package = "miden-prover", path = "../prover", version = "0.5", default-features = false }
rustyline = { version = "10.0.0", default-features = false, optional = true}
serde = {version = "1.0.117", optional = true }
serde_derive = {version = "1.0.117", optional = true }
serde_json = {version = "1.0.59", optional = true }
stdlib = { package = "miden-stdlib", path = "../stdlib", version = "0.4", default-features = false }
structopt = { version = "0.3", default-features = false, optional = true }
verifier = { package = "miden-verifier", path = "../verifier", version = "0.5", default-features = false }
[dev-dependencies]
assert_cmd = "2.0"
blake3 = "1.3"
criterion = "0.4"
escargot = "0.5.7"
num-bigint = "0.4"
predicates = "2.1.5"
processor = { package = "miden-processor", path = "../processor", version = "0.5", features = ["internals"], default-features = false }
proptest = "1.1"
rand-utils = { package = "winter-rand-utils", version = "0.6" }
sha2 = "0.10"
sha3 = "0.10"
test-case = "3.0.0"
vm-core = { package = "miden-core", path = "../core", version = "0.5", default-features = false }
winterfell = { package = "winter-prover", version = "0.6", default-features = false }
winter-fri = { package = "winter-fri", version = "0.6" }
winter-utils = { package = "winter-utils", version = "0.6" }