免 Gas 上手，以及可证明审计的基础

本周三大支柱同步推进，方向一致：安全是可以验证的，而不是靠信任。

不持有代币也能完成第一笔交易

原生账户抽象现在覆盖了全新钱包的第一项操作。余额为零的地址也可以发起交易；手续费来自赞助池，而不是由用户支付。

已在节点上验证：一笔零余额交易成功通过，手续费从赞助池中扣除。常见的「先去别处弄点代币」这一步不复存在。

为什么小模型是优势

合约审计器 VMGuardian 只有 897 个参数。这听起来像是一种局限，直到你尝试证明它的工作。

如此小的前向传播完全可以在 zkVM 内部执行，从而使密码学证明成为可能：这个评分正是经批准的模型在这段字节码上运行的结果。无需信任执行审计的是哪个节点。设计和基础框架已经就位。

互操作基础

我们内部的跨分片中继——锁定、提交、退款，配合 Merkle 证明和超时机制——已被泛化为一个可复用的数据包与通道引擎。现有跨分片转账的行为保持不变；改变的是，同一套机制现在可以把数据包发往外部。