Keaira Proofs