Roy Rinberg

大语言模型可证明推理的进展

Anthropic 的 FlashProve 为每个响应附加一个 zkSNARK，使从未见过权重的用户也能验证是哪个模型生成了这些 token，在单块 H100 上，一个 400B 模型的速度约为每秒 110 个 token。