Decision Workspace
winter-prover vs winterfell vs miden-prover
Side-by-side comparison of Rust crates
64
winter-prover
growingv0.13.1
Winterfell STARK prover
64
winterfell
growingv0.13.1
Winterfell STARK prover and verifier
70
miden-prover
growingv0.22.0
Miden VM prover
Core Metrics
| winter-prover | winterfell | miden-prover | |
|---|---|---|---|
| Health Score | 64 | 64 | 70 |
| Total Downloads | 449.2K | 151.2K | 252.0K |
| 30d Downloads | 43.4K | 21.6K | 30.2K |
| Dependents | 162 | 85 | 94 |
| Releases | 29 | 28 | 45 |
| Last Updated | 251d ago | 251d ago | 8d ago |
| Age | 4y 7m | 4y 7m | 3y 7m |
Health Breakdown
winter-prover
Maintenance
11
Quality
15
Community
16
Popularity
7
Documentation
15
winterfell
Maintenance
11
Quality
17
Community
15
Popularity
6
Documentation
15
miden-prover
Maintenance
18
Quality
15
Community
16
Popularity
6
Documentation
15
Technical Details
| winter-prover | winterfell | miden-prover | |
|---|---|---|---|
| Version | 0.13.1 | 0.13.1 | 0.22.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT | MIT | MIT OR Apache-2.0 |
| Dependencies | 9 | 3 | 11 |
| Crate Size | 59KB | 12KB | 21KB |
| Features | 4 | 4 | 3 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2024 |
| MSRV | 1.87 | 1.87 | 1.90 |
| Owners | 3 | 3 | 2 (team) |
Links
Quick Verdict
- •miden-prover leads with a health score of 70/100, but none of the options score above 80.
- •winter-prover has the most downloads (449.2K), suggesting wider adoption.
- •winter-prover is depended on by 162 crates — strongest ecosystem trust.