同时关联该项目与事件的快讯
Injective 发布新版白皮书，这是自 2018 年 12 月首版以来的首次全面重写。新版将 Injective 定位为面向机构级金融与资产代币化的 Layer 1，覆盖代币化资产从发行、交易到结算的完整生命周期，并介绍原生 RWA 代币化机制及 iAssets 衍生品。代币化资产可在全链上中央限价订单簿交易，通过密封式高频批量拍卖统一价格清算；BFT 共识提供确定性最终确认，出块时间约 600 毫秒。新版还涵盖原生 EVM 与 WASM、永续合约风险管理及 AI 智能体金融，链上协议收入将流向定期开展的 INJ 社区回购。
Vitalik 发布文章《 A shallow dive into formal verification 》，介绍形式化验证在以太坊前沿研发中的应用进展。文章指出，开发者可使用 Lean、EVM 字节码或汇编语言编写代码，并通过可自动检查的数学证明验证其正确性，以同时提升代码效率与安全性。他表示，形式化验证特别适用于 STARK、拜占庭容错共识、ZK-EVM、抗量子签名等复杂但安全目标相对清晰的系统，并提及 Arklib、VCV-io、evm-asm 等相关项目。文章同时强调，形式化验证并非万能，仍可能受限于规格定义错误、未覆盖代码、硬件边界与侧信道攻击等问题。