This repo has been integrated into chancehudson/ashlang.
Implements microsoft/spartan proofs using R1CS compiled using chancehudson/ashlang.
Clone and run cargo run to build a spartan proof. Customize the program in main.rs to change what is being proven.