Jada Proofs