Syrai Proofs