Triton VM

Recursively verifiable
STARKs for Triton VM