rustio rustio.net
70

miden-prover

v0.25.3 Growing

Miden VM prover

MIT OR Apache-2.0 Edition 2024 MSRV 1.96.1

Quick Verdict

  • โœ“Actively maintained (updated 1d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Trusted by 142 crates
  • โœ“Team maintained (2 owners)
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
353.3K
Dependents
142
Releases
62
Size
23KB

Deep Insights

๐Ÿ“‰
Download decline

26.9K downloads in the last 30 days, down 22% from the previous period. May indicate migration to alternatives.

๐Ÿ”—
Moderate adoption

142 crates depend on miden-prover. Reasonable ecosystem adoption, though not yet a core dependency.

๐Ÿ‘ค
Prolific maintainer

The primary maintainer publishes 141 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 3+ years old, miden-prover hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿ“
Compact crate

At 22KB, miden-prover is lightweight. Small crate size correlates with focused, well-scoped functionality.

๐ŸŒŸ
Used by top crates

Notable dependents include miden-tx, miden-core-lib, miden-vm, miden-test-utils, miden-tx-batch. When high-quality crates choose miden-prover, it's a strong quality signal.

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 12/25

Yanked ratio, deps, size, maturity, features

Community 17/20

Reverse deps, ownership, ecosystem

Popularity 7/15

Downloads, momentum, growth trend

Documentation 15/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
839/day avg-25%
02K4K6K4/265/146/16/197/77/24

Top Dependents

Version Adoption

v0.23.3
60%
v0.23.4
15%
v0.24.1
10%
v0.23.5
9%
v0.25.3
6%

Release Timeline

10 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
10
Less
More

Feature Flags

default =["std"]

std*concurrent

README

Loading README...

Maintainers

Dependencies
11
direct dependencies
Dependents
142
crates depend on miden-prover

Similar Crates