Input | Output (IO) introduced a novel toolset for bringing expressive smart contracts to Bitcoin. This is achieved through a new compilation pipeline that allows contracts written in modern languages like Python or TypeScript to run on Bitcoin without modifying the core protocol. The approach combines Untyped Plutus Core (UPLC), a CEK machine interpreter, and the RISC-V architecture.

The development report highlights the ledger team's focus on preparing for the Dijkstra era, including integrating it into consensus and reducing technical debt. Scaling work saw the Mithril team complete certificate chain synchronization and the Leios team achieve milestones in protocol analysis, including successful high-throughput experiments. Ecosystem news includes Emurgo launching the Cardano Card, Intersect forming an oversight committee for treasury management, and Blockchain.com's DeFi wallet adding support for ada.

A new tool has been introduced for the automated formal verification of smart contracts. By leveraging the Lean4 proof system and SMT solvers, the tool automatically checks that contracts behave as intended, eliminating the need for developers to write manual proofs. This innovation aims to make high-assurance development faster and more accessible by allowing for continuous verification within CI/CD pipelines.

The Cardano Foundation's partnership with Antithesis to improve network testing. This collaboration uses a deterministic testing platform to find bugs in the cardano-node. The goal is to build a community-governed testing infrastructure. Early experiments have successfully identified bugs, and future plans include expanding testing to other projects and inviting community contributions.

The development report highlights continued ecosystem growth, with 2,005 projects now building on Cardano. The consensus team introduced mempool optimizations and added node-to-node CDDL specifications. The Plutus Core team merged support for case analysis on booleans and integers, while the Plinth team introduced a new compiler optimization. Other notable updates include the Cardano Foundation launching Reeve, Intersect partnering with SundaeSwap, and Vespr Wallet open-sourcing its SDKs.

The Cardano Foundation launched Reeve, an enterprise reporting solution built on Cardano. It aims to boost financial transparency and corporate accountability by creating verifiable, tamper-resistant records. Reeve integrates with existing ERP systems to provide a secure and auditable ledger. The Foundation is now seeking partners to implement this solution and build a new layer of trust in financial operations.

The development report highlights continued ecosystem growth, with 2,005 active projects now building on Cardano. The ledger team defined PlutusV4 for the Dijkstra era, fixed a serialization bug, and implemented hard fork triggers. Scaling work saw the Mithril team complete the implementation of the publisher and consumer for the DMQ network, while the Hydra team worked on their 2025-2026 roadmap and Glacier-drop support. Ecosystem news includes MuesliSwap’s launch of MidStarterApp and Flow DeFi confirming USDA stablecoin support.

Project Acropolis is an initiative to make the network more developer-friendly. It aims to transform the Cardano node into a modular framework, allowing developers to build directly on the node using familiar tools. This approach seeks to lower the entry barrier, fostering innovation and ecosystem growth while preserving high-security standards.

Project Acropolis is an initiative to enhance developer accessibility. While the robust security of Cardano is acknowledged, the steep learning curve has hindered ecosystem growth. Acropolis aims to transition the Cardano node from a monolithic to a modular architecture, enabling developers to build applications using familiar tools directly within the node. This evolution is intended to lower entry barriers and foster innovation without compromising high-security standards.

The quarterly development report from the Cardano Foundation highlights significant progress across its tooling ecosystem. Key achievements include numerous improvements to the Cardano Rosetta Java implementation for enhanced performance and security. The report also details the release of Yaci Store v2.0.0, which introduces full ledger-state calculation independent of DB Sync, along with a powerful new plugin framework for greater extensibility.