同時關聯該項目與事件的快訊
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 等相關項目。文章同時強調，形式化驗證並非萬能，仍可能受限於規格定義錯誤、未覆蓋代碼、硬件邊界與側信道攻擊等問題。