Starknet 称 Anthropic 新研究用 STARK 验证 AI 推理，但关键数字都还没出来
作者：陈一帆
11 月 4 日，Starknet 官方账号称其 STARK 证明技术被 Anthropic 新研究用于验证 AI 推理；同日另一用户补充该研究名为 FlashProve，思路是先用密码学指纹锁定模型权重，再为输出生成可核验的证明。两条说法都来自社交帖，论文原文未读，验证范围、开销倍数、Starknet 的参与程度均待核实。
11 月 4 日，Starknet 官方账号发帖称，自家的 STARK 证明技术「在 Starknet 上久经考验，如今正帮助验证 Anthropic 新研究里的 AI 推理」，并把它称作抗量子的 。同日晚些时候，用户 @Lakshy_x 发帖补充：这项研究叫 FlashProve，做法是让 AI 服务商先公开一组模型权重的密码学指纹，推理时再生成一段数学证明，把输出「连回」这组权重，审计者不接触私有权重也能核验 。两条都是社交帖，论文原文本轮没能读到，以下只按帖文转述。
这件事的真实痛点
一个很具体的场景：你花高价订了某个旗舰模型，回答却平平无奇，你没法排除「其实是便宜模型代答」的可能。现在大多数用户只能选择相信服务商在跑它宣称的那个模型——回答再有说服力，也证明不了它出自哪组权重 。
FlashProve 的思路接近商品防伪贴：不需要参观工厂、重跑整条生产线，只要核对一张别人伪造不出的凭证。服务商先对特定权重做出承诺，之后每次回答附一段短证明，第三方凭证明就能确认「这个输出确实来自承诺过的那组权重」。
为什么是 STARK
这类简洁证明原本为区块链扩容而生：一条链不必自己重算，只要验证一小段凭证，就能接受另一台机器完成的大规模计算。STARK 的构造主要依赖哈希函数，不依赖椭圆曲线签名，因此获得了「抗量子」的叙事 。这里要分清：它相对 RSA、椭圆曲线是更稳的一档，但哈希假设并非绝对免疫，「quantum-durable」是厂商口径，不是定论 。
S2 还提到，StarkWare 联合创始人 Alessandro Chiesa 参与了该研究，FlashProve 使用的哈希类证明技术与 STARK 同源 。这条目前只有这一个来源。
还没回答的问题
这仍是研究，不是今天就能开通的功能，S2 的用词是「explores proofs」。几个关键数字都缺：证明覆盖全量推理还是抽样、生成证明比正常推理慢多少倍、验证一次要多久，两条帖都没给 。S1 全文没有出现 FlashProve 这个名字，研究名称只见于 S2；S2 正文写到「有两个细节值得注意」就截断了，后面的短链没能展开 。至于 Starknet 是研究参与方还是仅仅转发宣传、Anthropic 是否官方发布、作者名单如何，目前都未证实 。
我的看法
AI 输出长期停在「可信但不可证」的状态：你只能凭手感判断。如果这篇论文站得住，等于给每次回答配了一张可抽查的小票，方向值得跟。但在读到原文、开销数据和独立复现之前，把它当成一条值得收藏的线索就好，别急着当成已落地的能力。
转载说明
本文根据以下公开资料整理，原文及配图出处见下方。
评论 0
还没有评论，来抢沙发。