Verifier's Twilight Proof