Opening the prover

Every rip, verifiable in your browser.