Options for Proof Generation

info

The stark2snark prover currently only works on x86 architecture, and so Apple Silicon is currently unsupported (even via Docker).

You can find out more info on the relevant issues here and here.

---

To support a variety of use cases, RISC Zero allows users a variety of options for proof generation.

Users can choose between:

1. dev-mode: No proofs are generated, enabling rapid prototyping.
2. Local Proving: Proofs are generated on the user's own CPU/GPU.
3. Remote Proving: Proofs are generated by Bonsai, a highly parallelized, highly performant proving service.

We recommend option 1 during development, option 2 for applications involving private inputs, and option 3 for all other applications.

tip

prove_with_opts allows users to choose between composite, succinct or groth16 receipts.