Decision Workspace
triton-vm vs tasm-lib vs miden-vm
Side-by-side comparison of Rust crates
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.
54
tasm-lib
growingv2.0.0
Code snippets for Triton VM assembly with tests and statistics.
64
miden-vm
growingv0.22.0
Miden virtual machine
Core Metrics
| triton-vm | tasm-lib | miden-vm | |
|---|---|---|---|
| Health Score | 58 | 54 | 64 |
| Total Downloads | 98.0K | 27.9K | 28.3K |
| 30d Downloads | 1.4K | 1.2K | 1.0K |
| Dependents | 31 | 24 | 1 |
| Releases | 63 | 10 | 43 |
| Last Updated | 65d ago | 64d ago | 8d ago |
| Age | 3y 8m | 2y 8m | 3y |
Health Breakdown
triton-vm
Maintenance
15
Quality
8
Community
14
Popularity
6
Documentation
15
tasm-lib
Maintenance
14
Quality
7
Community
13
Popularity
5
Documentation
15
miden-vm
Maintenance
18
Quality
14
Community
12
Popularity
5
Documentation
15
Technical Details
| triton-vm | tasm-lib | miden-vm | |
|---|---|---|---|
| Version | 2.0.0 | 2.0.0 | 0.22.0 |
| Stable (≥1.0) | ✓ Yes | ✓ Yes | ✗ No |
| License | MIT OR Apache-2.0 | Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 35 | 19 | 27 |
| Crate Size | 192KB | 306KB | 88KB |
| Features | 2 | 0 | 6 |
| Yanked % | 34.9% | 80.0% | 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.