SnarkVM

TODO: - Add overview of snarkvm, why it was made? what is it and can it be used for ? - What is a zkSnark? - What is a proving system? - Based on Varuna proving system (extension of marlin) links to advanced docs.