kaikai proofs