Triton VM

Recursively verifiable STARKs for Triton VM.

Pinned Repositories

tasm-lang
Writing tasm with Rust syntax
Language:Rust14 3 572
tasm-lib
A collection of functions written in Triton VM assembly (tasm)
Language:Rust11 4 912
triton-tui
Terminal User Interface to help debugging programs written for Triton VM.
Language:Rust6 2 40
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.
Language:Rust249 11 16140
triton-vm.org
The website for Triton VM.
Language:HTML0 3 01
zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
Language:Rust0 0 01

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.
Language:Rust249 11 16140
TritonVM/tasm-lang
Writing tasm with Rust syntax
Language:Rust14 3 572
TritonVM/tasm-lib
A collection of functions written in Triton VM assembly (tasm)
Language:Rust11 4 912
TritonVM/triton-tui
Terminal User Interface to help debugging programs written for Triton VM.
Language:Rust6 2 40
TritonVM/triton-vm.org
The website for Triton VM.
Language:HTML0 3 01
TritonVM/zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
Language:Rust0 0 01