Jaydin Proofs