Porn: public prover