sp1-prover 6.3.1

The SP1 prover implementation
Documentation