Anthropic 开源了 FlashProve：用零知识证明验证一段回答是否由指定模型权重生成。验证端不用拿到权重，也不必重跑 400B 模型。 官方用 … · @Aetherius521 · TwKit

@Aetherius521

Anthropic 开源了 FlashProve：用零知识证明验证一段回答是否由指定模型权重生成。验证端不用拿到权重，也不必重跑 400B 模型。 官方用 Llama 4 Maverick（400B MoE、4-bit）实测：单张 H100 约 110 tokens/s 出证明，1024-token 上下文的证据约 19MB，CPU 十几秒可验；相较 vLLM 仍慢 70–95 倍。 它是研究原型，GitHub 注明不维护，目前覆盖整数模型的贪心解码和 1024 token 上下文。我会先把它当审计、第三方路由取证的样板，离日常聊天直接启用还有距离。

曝光 41 · 评论 1 · 点赞 0 · 书签 0