[package]
edition = "2024"
rust-version = "1.90"
name = "miden-verifier"
version = "0.22.2"
authors = ["Miden contributors"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Miden VM execution verifier"
homepage = "https://miden.xyz"
documentation = "https://docs.rs/miden-verifier"
readme = "README.md"
keywords = [
"miden",
"stark",
"verifier",
"zkp",
]
categories = [
"cryptography",
"no-std",
]
license = "MIT OR Apache-2.0"
repository = "https://github.com/0xMiden/miden-vm"
[features]
default = ["std"]
std = [
"miden-air/std",
"miden-core/std",
"thiserror/std",
]
[lib]
name = "miden_verifier"
path = "src/lib.rs"
doctest = false
bench = false
[dependencies.bincode]
version = "1.3"
[dependencies.miden-air]
version = "0.22.0"
default-features = false
[dependencies.miden-core]
version = "0.22.0"
default-features = false
[dependencies.miden-crypto]
version = "0.23"
default-features = false
[dependencies.serde]
version = "1.0"
features = [
"alloc",
"derive",
"rc",
]
default-features = false
[dependencies.thiserror]
version = "2.0"
default-features = false
[dependencies.tracing]
version = "0.1"
features = ["attributes"]
default-features = false