Private prover runtime: loading