add command line tool for proof generation & verification

[jan-ferdinand]

It would be nice to run Triton VM as a command-line tool; Andrew Milson's demo of ministark is a good example; basically one sub-command for proving and dumping something into a file (or stdout), and another sub-command for verifying by reading that file (or stdin).

(extracted from #164)

[cyberbono3]

may I start working on it?

[jan-ferdinand]

Sure thing! :slightly_smiling_face:

[chancehudson]

gentle bump, could use #305 next week

[erikerlandson]

Also would love a command-line interface for running programs and generating proofs. Basically, a CLI that supports the operations implied by this diagram:

[jan-ferdinand]

I made a stand-alone CLI for running and proving Triton programs and verifying those proofs. You can install it directly through cargo install triton-cli.

[jan-ferdinand]

Basically, a CLI that supports the operations implied by this diagram […]

In order to use the new CLI to complete cycles in this diagram, you need a verifier for Triton VM written in Triton assembly. Lucky for you, you can find one in tasm-lib. :blush: Unfortunately, for now, you need to set things up yourself in order to use it. One project that uses the recursive verifier is Neptune Cash, for example here.