Ry Proofs