[package]
name = "miden-prover"
version = "0.11.0"
description = "Miden VM prover"
documentation = "https://docs.rs/miden-prover/0.11.0"
readme = "README.md"
categories = ["cryptography", "emulators", "no-std"]
keywords = ["miden", "prover", "stark", "zkp"]
license.workspace = true
authors.workspace = true
homepage.workspace = true
repository.workspace = true
rust-version.workspace = true
edition.workspace = true

[features]
async = ["winter-maybe-async/async"]
concurrent = ["processor/concurrent", "std", "winter-prover/concurrent"]
default = ["std"]
metal = ["dep:miden-gpu", "dep:elsa", "dep:pollster", "concurrent", "std"]
std = ["air/std", "processor/std", "winter-prover/std"]

[dependencies]
air = { package = "miden-air", path = "../air", version = "0.11", default-features = false }
processor = { package = "miden-processor", path = "../processor", version = "0.11", default-features = false }
tracing = { version = "0.1", default-features = false, features = ["attributes"] }
winter-maybe-async = { package = "winter-maybe-async", version = "0.10", default-features = false }
winter-prover = { package = "winter-prover", version = "0.10", default-features = false }

[target.'cfg(all(target_arch = "aarch64", target_os = "macos"))'.dependencies]
elsa = { version = "1.9", optional = true }
miden-gpu = { version = "0.3", optional = true }
pollster = { version = "0.4", optional = true }