Jayda Proofs