Verifying OTP On-Chain with Phala Phat Functions