Decision Workspace
tasm-lib vs triton-vm vs miden-vm
Side-by-side comparison of Rust crates
54
tasm-lib
growingv2.0.0
Code snippets for Triton VM assembly with tests and statistics.
58
triton-vm
growingv2.0.0
A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system to allow proving correct execution of arbitrary programs in zero-knowledge.
64
miden-vm
growingv0.22.0
Miden virtual machine
Core Metrics
| tasm-lib | triton-vm | miden-vm | |
|---|---|---|---|
| Health Score | 54 | 58 | 64 |
| Total Downloads | 27.9K | 98.0K | 28.3K |
| 30d Downloads | 1.1K | 1.4K | 1.0K |
| Dependents | 24 | 31 | 1 |
| Releases | 10 | 63 | 43 |
| Last Updated | 64d ago | 65d ago | 8d ago |
| Age | 2y 8m | 3y 8m | 3y |
Health Breakdown
tasm-lib
Maintenance
14
Quality
7
Community
13
Popularity
5
Documentation
15
triton-vm
Maintenance
15
Quality
8
Community
14
Popularity
6
Documentation
15
miden-vm
Maintenance
18
Quality
14
Community
12
Popularity
5
Documentation
15
Technical Details
| tasm-lib | triton-vm | miden-vm | |
|---|---|---|---|
| Version | 2.0.0 | 2.0.0 | 0.22.0 |
| Stable (≥1.0) | ✓ Yes | ✓ Yes | ✗ No |
| License | Apache-2.0 | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 19 | 35 | 27 |
| Crate Size | 306KB | 192KB | 88KB |
| Features | 0 | 2 | 6 |
| Yanked % | 80.0% | 34.9% | 0.0% |
| Edition | 2024 | 2024 | 2024 |
| MSRV | 1.89 | 1.89 | 1.90 |
| Owners | 3 | 3 | 2 (team) |
Links
Quick Verdict
- •miden-vm leads with a health score of 64/100, but none of the options score above 80.
- •triton-vm has the most downloads (98.0K), suggesting wider adoption.
- •miden-vm is pre-1.0 — API may change.