The following paper, which appeared at CRYPTO 2020, provides details of the Spartan proof system:
NeutronNova: Folding everything that reduces to zero-check
Abhiram Kothapalli
Srinath Setty
Run cargo run --example EXAMPLE_NAME to run the corresponding example. Leave EXAMPLE_NAME empty for a list of available examples.
Run cargo bench to run all benchmarks. Run cargo bench --benches BENCH_NAME to run a specific benchmark.