Mirrakle Proofs