zkSNARK 证明 400B 模型输出未泄权重：可验证 AI 逼近落地
rickasaurus · x · 2026-11-04
转发链讨论「AI 模型的 https 时刻」：Anthropic 相关的 FlashProofs 项目用 zkSNARK（Starknet 所用的证明技术）在不泄露权重的前提下，证明某条回复确实出自一个 400B 参数模型的精确副本，杜绝冒充。
性能数据：单张 H100 上约 110 tokens/秒生成，19 MB 的证明可在普通 CPU 上数秒内完成验证。代价是约 70-95 倍的额外计算开销。作者感叹：可验证 AI 比想象中更近。
所属事件:Anthropic 开源 FlashProve：zkSNARK 可验证 AI 推理(24 条相关)→
「研究」频道最新
- 科学家首次实时成像量子纠缠光子，图像酷似太极图 — CurieuxExplorer · 2026-11-04
- kalomaze：扩散模型自编码器太粗糙，低频信息或训练时就已丢失 — kalomaze · 2026-11-04
- 结构化 caption 训练音乐生成模型，文本对齐与质量双提升 — affige_yang · 2026-11-04
- 果蝇 16.6 万神经元回路图谱被用作机器人控制器 — CurieuxExplorer · 2026-11-04
- Orbital 用自研 CurieOS 起草两相冷板设计方案再人工挑毛病 — TimothyDuignan · 2026-11-04
- 谷歌 Willow 量子芯片 5 分钟完成超算需 10^25 年的计算 — ChuckDBrooks · 2026-11-04