Hallmark：用 Circle STARK 证明 TinyLlama-1.1B 推理与分类器判定

Hallmark 用 Circle STARK 对量化 TinyLlama-1.1B 生成"The capital of France is Paris"的 8 个 token 推理过程生成 23 段关联证明，并用 STWO 电路证明规则、MLP、CNN 三种分类器对同一提示的精确判定。LLM 证明在 H200 上耗时 53.94 s（CPU 547.75 s），分类器证明 24.06 s，单次验证 3.40–3.53 s，证明文件分别为 737.86 MB 与 18.06 MB JSON。这是单提示、单模型的固定案例研究完整性 MVP，证明文件与日志已公开可下载验证。