forked from 0xPolygonMiden/miden-vm
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCargo.toml
72 lines (64 loc) · 2.59 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
[package]
name = "miden-vm"
version = "0.9.1"
description="Miden virtual machine"
authors = ["miden contributors"]
readme="README.md"
license = "MIT"
repository = "https://github.com/0xPolygonMiden/miden-vm"
documentation = "https://docs.rs/miden-vm/0.9.1"
categories = ["cryptography", "emulators", "no-std"]
keywords = ["miden", "stark", "virtual-machine", "zkp"]
edition = "2021"
rust-version = "1.75"
[[bin]]
name = "miden"
path = "src/main.rs"
bench = false
doctest = false
required-features = ["executable"]
[lib]
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 = ["dep:hex", "hex?/std", "std", "dep:serde", "serde?/std", "dep:serde_derive", "dep:serde_json", "serde_json?/std", "dep:clap", "dep:rustyline", "dep:tracing-subscriber"]
metal = ["prover/metal", "std"]
std = ["assembly/std", "processor/std", "prover/std", "verifier/std"]
[dependencies]
assembly = { package = "miden-assembly", path = "../assembly", version = "0.9", default-features = false }
blake3 = "1.5"
clap = { version = "4.4", features = ["derive"], optional = true }
hex = { version = "0.4", optional = true }
processor = { package = "miden-processor", path = "../processor", version = "0.9", default-features = false }
prover = { package = "miden-prover", path = "../prover", version = "0.9", default-features = false }
rustyline = { version = "13.0", default-features = false, optional = true }
serde = {version = "1.0", optional = true }
serde_derive = {version = "1.0", optional = true }
serde_json = {version = "1.0", optional = true }
stdlib = { package = "miden-stdlib", path = "../stdlib", version = "0.9", default-features = false }
tracing = { version = "0.1", default-features = false, features = ["attributes"] }
tracing-subscriber = { version = "0.3", features = ["std", "env-filter"], optional = true }
tracing-forest = { version = "0.1", features = ["ansi", "smallvec"], optional = true }
verifier = { package = "miden-verifier", path = "../verifier", version = "0.9", default-features = false }
vm-core = { package = "miden-core", path = "../core", version = "0.9", default-features = false }
[dev-dependencies]
assert_cmd = "2.0"
criterion = "0.5"
escargot = "0.5"
num-bigint = "0.4"
predicates = "3.0"
test-utils = { package = "miden-test-utils", path = "../test-utils" }
vm-core = { package = "miden-core", path = "../core", version = "0.9" }
winter-fri = { package = "winter-fri", version = "0.8" }