标签

零知识证明

帖子 1阅读 25

帖子数

1

阅读量

25

昨天发布25次阅读

Anthropic 开源 FlashProve：用零知识证明给大模型回答“验明正身”，单张 H100 跑通 400B 模型

AI快讯 Anthropic 在 11 月 2 日的官方博客上发布了一个研究原型 FlashProve：用零知识证明（zkSNARK）让用户在不看到模型权重的前提下，验证一次回答确实出自所声称的模型。代码、Lean 形式化证明与文档均按 Apache 2.0 协议开源，任何人都可以拿去用、拿去改进。关...