TritonVM/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
GitHub repository with 275 stars and 58 forks.
Language: Rust
Topics: rust, cryptography, stark, zero-knowledge, zk-starks