BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us
modules.com
⌘K

triton-vm

v3.0.0crates.io· Rust

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.

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
300 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0 OR MIT
Dependencies
No runtime dependencies
Recent releases
  • 3.0.0this month
  • 2.0.04 months ago
  • 1.0.07 months ago
  • 0.50.011 months ago
  • 0.49.012 months ago
  • 0.48.0over a year ago
  • 0.45.0over a year ago
  • 0.44.1over a year ago
triton-vm — 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. (Rust / crates.io) — verdict, alternatives & security · Modules