Explore the stories below for curated news, stories, and inspiration from within the Cardano ecosystem.
The July 25, 2025, development report highlights the release of node v.10.5.1, featuring networking enhancements and tracing metric fixes. The consensus team is integrating the Dijkstra era and advancing the Haskell Leios simulator. Lace wallet v.1.25 introduced a partnership with NFTPrintLab and support for Bitcoin transaction metadata. The Plutus Core team expanded functionality by introducing case analysis on lists and refined the Plutus Core specification.
The July 22, 2025, Cardano Community Digest highlights new learning resources from Linda at Discover Cardano and Cardano Academy. It features Blockfrost's "July of Code 2025" event, encouraging developer participation. Additionally, the digest announces an Intersect X Space on July 23 covering 39 treasury proposals and an upcoming AMA with Cardano Foundation CEO Frederik Gregaard on July 24, offering direct engagement opportunities for the community.
In a blog post by Riley Kilgore on July 18, 2025, 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.
Intersect, collaborating with SundaeLabs and Xerberus, has developed smart contract tooling to manage Cardano's treasury. This system features on-chain contracts to hold funds, a web-based dashboard for administration, and a financial dashboard for transparent tracking. The tools enhance usability and auditability, making it easier for the community to follow the flow of treasury funds from budget approval to vendor payment, thereby improving accountability for community-approved budgets.
The July 18, 2025, 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 July 16, 2025, blog post by Romain Soulat details a new Input | Output tool for automated formal verification of Cardano smart contracts. Leveraging the Lean4 proof system and SMT solvers, it automatically checks that contracts behave as intended without requiring developers to write manual proofs. This innovation aims to make high-assurance development faster, cheaper, and more accessible, allowing for continuous verification within CI/CD pipelines.
A July 15, 2025 blog post by Arnaud Bailly details 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.
In this session of the Cardano Developer Office Hours, Thomas Kammerlocher, Senior Full Stack Developer, and Marco Russo, Integration Tools Team Lead at the Cardano Foundation, present Reeve, a new solution for financial reporting and transparency. They cover how Reeve simplifies reporting, supports verifiable and tamper-proof data, and builds trust across ecosystems. A live walkthrough demonstrates current features, how to run it, and future roadmap directions.
The July 11, 2025, 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.
Intersect has introduced a smart contract framework to securely manage Cardano's growing treasury. Published on July 8, the framework brings treasury operations on-chain for transparency and auditability. It uses two contract types: Treasury Contracts to hold reserves and Vendor Contracts for project-specific payments. A multi-signature permissions model requires Intersect, as Administrator, to initiate actions, while an independent Oversight Committee provides verification. This system ensures no single entity has unilateral control, enhancing accountability and trust in the distribution of community-approved funds.
