Github's Octocat Mark

Triton VM

Recursively verifiable
STARKs for Triton VM

mdBook Logo Spec mdBook Logo Tutorial shell prompt TUI shell prompt CLI
+++ public_input = [10] +++ // _ push 0 // _ 0 push 1 // _ 0 1 read_io 1 // _ 0 1 n dup 0 // _ 0 1 n n skiz // _ 0 1 n call fibonacci pop 1 // _ a b write_io 1 // _ a halt fibonacci: addi -1 // _ a b (i-1) swap 2 // _ (i-1) b a dup 1 // _ (i-1) b a b add // _ (i-1) b (a+b) pick 2 // _ b (a+b) (i-1) dup 0 // _ b (a+b) (i-1) (i-1) skiz // _ b (a+b) (i-1) recurse return