Cardano News

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.

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 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. 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.

The Community Digest features a Roundtable Talk on the economic sustainability of Cardano, along with demos from Pragma and Amaru. It also includes information about an upcoming node workshop in Toulouse. Additionally, the digest announces the results of the Intersect 2025 Constitutional Committee election and highlights the Cardano Foundation's launch of Reeve, a new on-chain financial reporting solution.

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.

A Roundtable Talk, features a discussion from the Cardano Berlin Hackathon on the ecosystem's economic sustainability. Participants discussed why sustainability matters, how transaction fees are earned, and the role of the Net Change Limit. The conversation also covered the challenges of empowering developers and the "skin-in-the-game" approach to using treasury funds to ensure Cardano's long-term viability.

The Cardano Foundation, through Governance Lead Nicolas Cerny, released a set of 14 flowcharts to clarify Cardano's governance actions. These visual guides aim to make the on-chain voting processes more understandable and transparent for the community. By demystifying the procedures for different governance actions, the Foundation hopes to encourage broader and more informed participation. The release underscores the evolving nature of Cardano's governance and the importance of an engaged community in shaping the protocol's future.

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.