Cardano Blog

IO's core teams released Cardano Node v11.0.1 to support the upcoming protocol version 11 intra-era hard fork, while the ledger team advanced preparations for the Dijkstra era. The Plutus team enhanced the UPLC command-line tool, introducing script optimizations that yield over 10% in execution cost savings. In scaling, Hydra v2.1.0 was launched with 7% lower snapshot latency...

IOG has introduced Blaster, an automated formal verification engine for Lean 4 designed to provide mathematical security guarantees for Cardano smart contracts. Tested on complex protocols like Djed and USDCx, Blaster automatically checks for common vulnerabilities (such as double satisfaction) using a Common Vulnerability Library. Developed alongside six ecosystem partners, ...

The CCI V1 closure report accounts for the ₳70M treasury budget managed by Intersect to onboard tier-one Cardano infrastructure. It successfully deployed native Circle USDC, LayerZero, Pyth Network, and Dune Analytics. Institutional custody via Fireblocks missed the V1 window due to unmet commercial terms and will instead be requested alongside Year 2 maintenance in the upcom...

IOG has submitted a treasury proposal for ₳27.7M to mature Ouroboros Leios from a testnet prototype into a mainnet-ready release candidate by late 2026. By introducing endorser blocks and committee-based validation, Leios will safely scale Cardano’s throughput capacity by 10x to 65x through a phased rollout. This development directly supports the ecosystem's Vision 2030 goals...

Pyth Pro is live on Cardano, delivering low-latency institutional price feeds to DeFi via Indigo Protocol. Separately, EMURGO announced Yoroi Wallet's rebrand to SecondFi, evolving it into a broader neofinance platform. Intersect confirmed its committee election results and verified Node v11.0.1 is mainnet-ready for the Van Rossem hard fork. Additionally, the Cardano Foundati...