Starting the prover

The zero-knowledge prover loads once per visit, about 16 MB. Nothing is sent anywhere.