Hallmark 用 Circle STARK 证明 TinyLlama 推理与分类器判定
热点事件持续更新
Hallmark 用 Circle STARK 证明 TinyLlama 推理与分类器判定
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
开发者 AbdelStark 发布 Hallmark 仓库，用 Circle STARK（STWO 电路）对量化 TinyLlama-1.1B 生成"The capital of France is Paris"的 8 个 token 推理过程生成 23 段关联证明，并证明规则、MLP、CNN 三种分类器对同一提示的精确判定。LLM 证明在 H200 上耗时 53.94 秒（CPU 547.75 秒），分类器证明 24.06 秒，单次验证约 3.4–3.53 秒，证明文件分别为 737.86 MB 与 18.06 MB JSON，证明文件与日志已公开可下载验证。 该项目定位为固定案例的研究完整性 MVP：仅覆盖单一提示与单一模型，见证数据公开，不涉及零知识或硬件来源证明，输入上限 96 个 UTF-8 字节，超长输入会被拒绝。
AI 根据报道生成 · 1 小时前更新
最新进展10月30日 01:48
Hallmark：用 Circle STARK 证明 TinyLlama-1.1B 推理与分类器判定报道时间线
沿着报道，了解事件的不同侧面。
10月30日
- GitHub · 去对齐工具与仓库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，证明文件与日志已公开可下载验证。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。