News linked to both this project and an event.
Injective has released a new whitepaper, marking the first comprehensive rewrite since the initial version in December 2018. The new version positions Injective as a Layer 1 for institutional-grade finance and asset tokenization, covering the full lifecycle of tokenized assets from issuance and trading to settlement, and introduces native RWA tokenization mechanisms as well as iAssets derivatives. Tokenized assets can be traded on a fully on-chain central limit order book, with uniform price clearing through sealed-bid high-frequency batch auctions; BFT consensus provides deterministic finality, with block times of approximately 600 milliseconds. The new version also covers native EVM and WASM, perpetual contract risk management, and AI agent finance, with on-chain protocol revenue flowing toward regular INJ community buybacks.
Vitalik published an article titled “A Shallow Dive into Formal Verification,” introducing recent progress in applying formal verification to Ethereum’s cutting-edge research and development. The article states that developers can write code in Lean, EVM bytecode, or assembly language and verify its correctness via mathematically rigorous proofs that can be automatically checked—thereby improving both code efficiency and security. He notes that formal verification is especially suitable for complex yet well-defined-security systems such as STARKs, Byzantine Fault Tolerant (BFT) consensus, ZK-EVMs, and post-quantum signatures, and mentions related projects including Arklib, VCV-io, and evm-asm. The article also emphasizes that formal verification is not a panacea: it remains subject to limitations such as incorrect specification definitions, unverified code paths, hardware-level constraints, and side-channel attacks.