SVIP: Towards Verifiable Inference of Open-source Large Language Models