Triton VM

Triton VM's repositories

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:RustApache-2.0243 11 157

tasm-lang

Writing tasm with Rust syntax

Language:Rust16 3 57

tasm-lib

A collection of functions written in Triton VM assembly (tasm)

Language:RustApache-2.011 4 87

triton-tui

Terminal User Interface to help debugging programs written for Triton VM.

Language:RustApache-2.06 3 3

triton-vm.org

The website for Triton VM.

Language:HTMLApache-2.0030

zkp-compiler-shootout

Evaluating & benchmarking ZKP compilation strategies.

Language:RustGPL-3.0000