Triton VM Scaffold
If you want to try out and tinker with Triton VM, this repository is a great place to start. The
- defines a program in Triton assembly,
- generates the claim that is to be proven as well as the corresponding proof, and
- verifies the proof.
Additionally, this repository helps answer the question: How easy is it to use Triton VM as a dependency? It helps identifying unintuitive code flow, overly complex structures, unnecessarily exposed internals, et cetera.