受Vitalik启发的AI支付系统可将过期存款转入其金库

以太坊基金会10月1日宣布zkAPI已在主网上运行，这为Davide Crapis和Vitalik Buterin共同设计的私密AI支付方案提供了一个具体的财务控制测试：当计费服务器停止配合时，用户如何取回未花费的资金？

zkAPI是一个面向按量计费API的计费系统，它记录了一条无需服务器批准即可进行的链上提款路径。但用户能否取回余额，取决于其持有的是哪种消费状态，以及能否及时启动退出。该实现中的暂停权限和到期票据为这种控制设定了边界。

Open Anonymity与以太坊基金会共同构建了该实现。Crapis和Buterin于2月11日发布了底层设计；基金会在10月的公告中感谢了将该设计转化为软件和合约的团队。Etherscan记录显示，公告所关联的金库创建于9月30日，即公告发布前一天。

公告称其关联金库持有USDC信用额度。当前主网清单则将同一金库标识为原生ETH，余额以整数gwei记账。其区块浏览器活动也显示以ETH计价的存款和近似赔付。

CryptoSlate在2月的报道中审视了该提案。如今主网实现赋予了提款权、截止日期和结算依赖关系以实际意义。

相关阅读

以太坊联合创始人Vitalik Buterin认为，本地AI可以在不损失速度的情况下保护你的隐私

从预付费余额中取回资金的两种途径

在当前协议下，一笔存款为一笔 note 提供资金。钱包在本地保存私有花费状态，并使用证明来授权计量服务。单个 API 请求并不会各自在链上转移资金。随着使用量被结算，服务器会签署一个代表剩余余额的后续状态。实际的分界线在于未使用的花费状态与已经授权过请求的前驱状态之间：后者若被用于寻求逃生赔付，则可能被挑战。

这种安排使花费状态成为恢复的核心。vault 可以依据其规则检查提款证明，而钱包仍必须持有证明其想要提取的余额所需的信息。保留 note 及其恢复记录，对于在中断后证明提款余额至关重要。

合作路径称为 mutual close，从服务器清算开始。一个单独的服务器签名密钥授权提款，钱包将该签名包含在其证明中。vault 检查该证明，并将剩余余额支付到绑定其中的目标地址。该目标地址可以与最初为该 note 提供资金的地址不同。

第二条路径是逃生提款。钱包可以在没有清算签名的情况下发起它。vault 将该 note 从活跃集合中移除，并记录一笔待处理赔付，而不是立即交出资金。

公开主网配置规定挑战期为 86,400 秒，即 24 小时。如果在截止时间前没有任何有效挑战成功，最终化会将记录的余额支付到用户的目标地址，并将存款减去余额的部分支付给 treasury，前提是转账成功。

因此，服务器宕机并不会自动消除已记录的提款路径。拥有可用消费状态的用户可以在无需获得新的许可的情况下寻求退出。等待期为系统提供了时间来检测从已授权服务的状态中提款的企图。

每个消费状态都有一个 nullifier，一种用于防止重复使用的密码学标识符。要对逃生进行质疑，质疑者需提供一份原始请求证明，其 nullifier 与试图提款的 nullifier 相同。该证明确立了该状态已授权使用。

主网配置所标识的 vault 代码保留了该请求的历史活跃根（active root）以供该检查使用。在截止日期前提交的有效质疑将取消待处理的支付并将该 note 恢复到活跃集合中。它不会施加单独的金钱处罚。

该质疑保护结算免受从已使用状态提款的影响。它确立了先前的授权，而提供方所计量账单的准确性仍是一个独立的问题。恢复 note 也使得任何缺失的后续签名悬而未决。

这一区别在争议中至关重要。逃生路径消除了对服务器提款许可的需求，但它不允许用户任意选择一个余额并让合约接受它。如果用于退出的状态已经授权了一项请求，有效的质疑可以将该 note 送回恢复流程。

当使用已被授权时，提供方记账和服务器签名的下一状态仍是恢复剩余余额的一部分。成功的质疑会重新激活该 note，但不会解决有争议的账单或保证退款。

相关内容

Solana“每秒百万笔支付”AI系统即便卖家完成交付，也可能拿不到钱

暂停权限、到期与余额价值

该金库代码赋予所有者一个暂停开关。存款、双方共同关闭以及发起新的逃生提款都会检查该开关。即使某笔退出无需服务器批准即可执行，只要金库处于暂停状态，它仍可能无法启动。

已经处于待处理状态的逃生最终确认不受该暂停闸门约束。挑战和到期索赔同样不受约束。因此，已成功发起逃生流程的用户，与仍需发起该流程的用户，处境并不相同。

代码提供了这些权限；此处并未确认暂停开关曾被实际使用。对于在中断期间寻求退款的用户而言，所有者的暂停控制仍然是一项可用性依赖。

到期制造了另一个截止期限。主网清单规定票据生命周期为30天，但金库代码会将存款时间加上该生命周期向上取整到以一天为单位的边界。因此，一张票据的实际到期时间可能晚于正好30个已过天数。

一旦活跃票据到期，代码允许通过到期索赔将其关闭，并把其记录的全部存款发送至金库。该规则不同于正常提款——正常提款中，经证明的剩余余额会发送给用户。已处于待提款状态的票据不符合活跃票据到期索赔的条件。

对于仍在活跃票据中的资金，预付费云端AI制造了一种有时间限制的索赔权。状态恢复和及时关闭会影响用户能否在票据变得符合金库索赔条件之前进入提款路径。

ETH 计价还影响用户在会话之间实际持有的资产。根据原生计费文档，这笔存款既不是稳定美元余额，也不是兑换成 USDC。其美元参考价值会随 ETH 价格变动。

以美元计价的推理费用通过价格报价收取。浏览器和服务器在最终确定的链上状态中验证一个固定的 Chainlink ETH/USD 轮次，将该报价绑定到授权中，并在结算和恢复过程中保持所接受的汇率固定不变。所计量的美元用量会转换为以整数 gwei 计的上限费用，并向上取整。

冻结已接受的报价可防止重启或恢复尝试对现有授权重新定价。但它并不能稳定用户剩余 ETH 的美元价值。对于预付云推理费用的人来说，服务账单和底层余额采用的是不同的计价单位。

相关阅读

Tether CEO 希望 AI 代理持有 USDT，但开发者仍需为超支承担责任

仍然存在的信任

主网清单选择通过 OA-org 密钥签发并配合 OpenRouter 推理。提供商用量收据和计费服务器签署的后续状态仍是结算的运营组成部分。Ethereum 提供退出机制，而可信的链上视图、兼容的证明软件、保留的钱包数据以及及时的挑战者操作仍是必要的依赖条件。

密码学设置还带有另一项独立假设。该清单指向仓库中描述的绑定 note 的 Groth16 电路和设置产物。设置文档称，这些密钥由一方生成，未进行多方仪式。匹配产物哈希可以确定正在使用的是哪些文件，而设置秘密的销毁仍是一项独立的信任假设。

该清单将此次整合描述为实验性，且未经生产环境审计。这些披露限制了该实现所附带的保证。仅凭主网上线并不能证明每一个实际恢复场景都能正常工作。

推理服务提供商仍然可以看到提示内容，而网络元数据可能允许关联。账单隐私使这些内容和网络问题与提款权保持分离。

对于预付AI资金，控制权最终取决于在活跃票据到期前从可用余额中完成退出。这条逃生通道为用户提供了除服务器清算之外的另一种选择；其实际价值取决于状态恢复以及他们在需要时金库的可用性。

这篇题为《受Vitalik启发的AI支付系统可将过期存款发送至其金库》的文章最初发布于CryptoSlate。