Anthropic 正在使用 StarkWare 创始人共同发明的密码学技术来证明是哪个 AI 模型回答了您的问题。 借助 FlashProve，您可以在保持模型权重私密的情况下，验证特定模型是否产生了输出结果。 该报告引用了 STARK 的原始论文，重点介绍了 @Starknet 上 STARK 的应用，并参考了 Cairo 和 S-two AIR 的形式化验证工作。StarkWare 联合创始人 Alessandro Chiesa 是该报告的合著者之一。 这再次有力地验证了我们的证明系统。 如今，助力区块链扩展的密码学理念也正在帮助实现 AI 推理的可验证性。