miden-prover
v0.23.1 GrowingMiden VM prover
Quick Verdict
- โActively maintained (updated 5d ago)
- !Pre-1.0: API may have breaking changes
- โTrusted by 113 crates
- โTeam maintained (2 owners)
- โPermissive license (MIT OR Apache-2.0)
Security
Deep Insights
22.8K downloads in the last 30 days (761/day). Volume is roughly flat compared to the previous period.
113 crates depend on miden-prover. Reasonable ecosystem adoption, though not yet a core dependency.
The primary maintainer publishes 132 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Despite being 3+ years old, miden-prover hasn't reached 1.0 yet. Expect potential API changes between versions.
At 23KB, miden-prover is lightweight. Small crate size correlates with focused, well-scoped functionality.
Notable dependents include miden-tx, miden-core-lib, miden-vm, miden-test-utils. When high-quality crates choose miden-prover, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on miden-prover
Version Adoption
Release Timeline
Feature Flags
default =["std"]