Implement Spartan proof system

[nemothenoone]

Paper: https://eprint.iacr.org/2018/907.pdf Reference implementation: https://github.com/microsoft/Spartan

Depends on #13 with https://github.com/microsoft/Spartan/blob/master/src/nizk/bullet.rs Depends on #14

┆Issue is synchronized with this Wrike task by Unito