Verify a ZK Proof