Add support for triton-vm STARK proofs

[chancehudson]

Problem

We should add support for generating STARK proofs in the triton-vm using their assembly language.

Details

The triton vm parses some assembly, executes it in a VM, and generates a proof of execution showing

• program digest - what program was executed
• program output - values returned by the program

Each program can accept public inputs and secret inputs. Proofs are generally < 1 MB, growing logarithmically with program length.

Proofs require no pre-shared constants. e.g. no zkey, srs, vkey, pkey, etc.

Acceptance criteria

Add a test generating a proof from an assembly program. The test should accept some public and private inputs and generate some outputs.