Extend Documentation

[aszepieniec]

Currently, the specification specifies the instruction set architecture and how to arithmetize it. However, it assumes the reader is familiar with BrainSTARK and that this architecture fits into a more or less standard STARK engine (whatever that means). In my opinion, what's missing is documentation for the other components of Triton VM. In no particular order or hierarchy:

• The mechanics of the STARK prover and verifier.
• Tweakable and non-tweakable parameters, such as FRI expansion factor.
• The hash function (soon to be Tip5).
• Where zero-knowledge comes from.
• Where soundness comes from.
• How to use Triton VM in other, non-Neptune, contexts.

Feel free to add to this list.

[jan-ferdinand]

I'm marking this as a good first issue: explaining something is an excellent way of learning the thing. Contributions, even partial ones, to any of the above items are welcome.