Triton VM

Recursively verifiable
STARKs for Triton VM.

GitHub Spec TUI