Krysty proofs