大模型输出是概率性的、逐 token 生成的，如何在不泄露模型权重和用户隐私的前提下生成可验证凭证，是这类系统必须解决的核心工程问题。