Crysten Proofs