以太坊基金会上线zkAPI：用零知识证明给AI付钱，身份藏住了，提示词还在裸奔——信不信、用不用、等不等，看这三组数字

10月4日，吴说区块链的周度项目动态列了十条，圈内人忙着转发 Balancer 关停、Blast 退场；但其中两条小字，值得单独记进密码学的时间线：以太坊基金会与 Open Anonymity Project 上线 zkAPI，用零知识证明把"API 使用"和"付款身份"拆开，已经部署在以太坊主网。 第二天，Vitalik 在上海的演讲里把话说得更满：可编程密码学正在让系统从决定"谁可以发送什么"，走到决定"谁可以看到什么"。 一个是产品，一个是叙事，前后脚落地。对中度往上的密码学爱好者来说，真正的问题已经不是"零知识证明是什么"——科普供给严重过剩：Purple 那条《你怎么证明一台电脑没在撒谎》中配版，7.2万播放、4400多人收藏，讲的就是"证明者只需发送少量哈希值，就能让验证者相信自己没撒谎"这套简洁证明逻辑。 问题是：当你在科普里见过的东西突然变成能用、能付钱的产品，你分得清哪句是真的、哪句是话术吗？ 这篇不复述原理，只把这一轮事件的事实、数字和边界摆平。吴说区块链吴说区块链哔哩哔哩

一、zkAPI 干的是一件什么事

按吴说上线快讯的信息，机制可以拆成四步：

• 往链上 Vault 存入 ETH、USDC 等额度；

• 用零知识证明授权"单次或一段会话"的 API 用量：服务商能验证这笔付款真实有效，但不知道它来自哪笔存款、不知道是谁付的。深潮TechFlow

• 支付层看不到请求内容，最终生成兼容 OpenAI、Ollama 接口的短期、限额 API Key，按实际用量结算；

• 资金由智能合约托管，你随时可以退出、链上提取。吴说区块链

目前主要覆盖 AI 推理，官方口径可扩展到 RPC、图像生成、VPN 和机器间服务。

翻译成人话：以前用第三方接口调 AI，是"钱包+账单+请求"三连裸奔；现在至少"钱从哪来、我是谁"这两件事藏进了证明里。

二、它明说藏不住的三件事

上线快讯自己写了限制，一条没藏：不隐藏 IP，不隐藏请求时间，更不隐藏提示词内容本身带来的身份关联。 最后一条才是重点：支付层看不见你问了什么，但拿到请求的推理服务商看到的仍然是明文。FHE 实测那篇文章开头那个例子——“我这份体检报告有问题吗”——这句话会原文明文发到服务器，服务器原文明文算完再返回答案，钱包藏得再好也是裸的。 所以这一轮密码学工具得先分三层，很多人（包括不少推文）把这三层搅在一起：吴说区块链知乎

一句话版本：零知识证明主要藏"你是谁"，同态加密藏"你说了什么"，这是两把不同的锁——别买了一把，以为整个门都锁上了。 同态加密的经典比方是密封信封：信封全程不拆开、看不到内部金额，却可以在外部完成金额求和、对比等指定运算，结果依旧准确。知乎

三、三组数字、三种立场：密文计算的真实成本

判断"这波离普通人多远"，单个数字不可信。我们把今年三个来源的数字放到一张桌上：

1. 叙事口径——Vitalik 上海演讲（吴说10月5日刊发全文）：ZK-SNARK 做 AI 推理的额外开销已经低于 10 倍，FHE 目前约 250 倍，“这个数字正在快速下降”。身份：基金会灵魂人物，讲的是趋势。吴说区块链

2. 实测口径——知乎用户"做自己"9月16日发布 RNS-CKKS 全流程拆解，附源码与日志：一台 9800X3D 的 CPU 单机，把 2B 小模型的 28 层 Transformer 全搬进密文，一层"前向+自举"约 1.8 小时，一次自举就要 74 分钟，全链约 50 小时才能算完一次推理。身份：个人工程师自测，数据最不好看。知乎

3. 硬件口径——蚂蚁密算4月底在福州发布 MPU H1 全同态密算芯片：NTT、同态乘法、KeySwitch 等核心操作宣称较通用 CPU 加速超 1 万倍，XGBoost 场景 300 小时缩到 97 秒，宣称 Llama3-8B 可全同态实时推理、跨境药企密态推理精度损失小于 1%。身份：厂商发布会，数据最好看，尚未见第三方复测。知乎

三组数字并排放，结论不是"谁在撒谎"，而是一个分布：250 倍是平均叙事，50 小时是 CPU 现实，万倍是芯片上限。 密文计算目前处在"论文成立、账单很贵"的阶段——连芯片厂商自己的发布稿也承认，FHE 计算开销比明文高出 4 至 6 个数量级；从演示到日常，要靠硬件铺量和软件摊薄，成本曲线降得比预期曲线快不快，才是真正要盯的信号。知乎

顺带一提，Vitalik 一年前专门发过话：做 ZK 和 FHE 的开发者应该用比率表达性能，别只报每秒运算量。 今年这三个数字，刚好是最好的练习材料。微博

四、反信号：被打破的一直是实现，不是数学

判断型内容不能只顺着利好走，这一波至少有四个反信号，前两个关于"证明本身会不会翻车"：

• ZK 系统的代码翻过车。 6月，Zcash 的 Orchard 隐私池被曝可无限伪造代币，团队紧急升级修复。零知识证明守的是数学定理，但定理是用代码实现的，代码有 bug。知乎

• "全程密文"是宣传语。 实测文章里最值得记住的一句话：argmax 必须解密——FHE 推理是"密文推理+末端解密"，不是全流程黑箱。知乎

后两个关于"误会是怎么产生的"：

• 爆款科普也在制造误会。 PurpleMind 视频评论区有人把可验证计算问成零知识证明，底下长回复直接指出：那个三色例子没实现零知识，验证者查边就知道染色对应关系。 4400 收藏的热视频尚且如此——看到产品名带 ZK，多问一句：藏的是我，还是对面？哔哩哔哩

• 证明可以被"合理地骗"。 小红书 AI Safety Daily 拆过一个反面场景：证明验证的是方程对不对，而"方程正确，不等于服务商真的完成了与宣称模型规模相匹配的计算工作"。 证明能验"计算对不对"，不自动验"这答案值不值这个价"。小红书

所以方向是真的，但"ZK/加密计算=绝对隐私"这个等式，现在是错的。

五、现在怎么办：按人群给动作

• 只是在意 AI 看到什么的普通用户：zkAPI 暂时不是给你的——它要求你会用钱包、上主网、存 ETH/USDC。今天现实的隐私动作还是提示词卫生加本地模型：能脱敏的脱敏，能用 Ollama 本地跑的敏感问题本地跑。

• 爱折腾的技术党：zkAPI 已上主网、走 OpenAI 兼容接口、智能合约托管、随时可提现，小额尝鲜成本可控。但要记住它只藏"付款身份"这一层，提示词仍然裸奔。

• 跟踪赛道走向的人：钉三个信号——EIP-8288 进 H-Star 的进度、FHE 开销这个 250 倍多久变成 100 倍、蚂蚁式密算芯片的商业化案例（首个标的是跨境药企数据协作）。吴说区块链

• 想系统学的人：社区已经验证过一条路径——MIT 6.5620《密码学基础》，从完美安全讲到零知识、全同态、多方计算；再用 PurpleMind 补简洁证明的直觉，回头读那篇 FHE 实测的源码和六个坑。哔哩哔哩

结语

10月的密码学新闻，像极了吴说简报里前后挨着的两行字：叙事（可编程密码学）和产品（zkAPI）第一次正面相遇。相遇之后，真正被分清的是三件事——哪些是已落地的事实，哪些是带边界的工具，哪些还只是等降价的预期。 把这三件事分清楚，就是此刻最实用的密码学素养，比再背一遍洞穴寓言有用得多。