The High Assurance team released PlutusCoreBlaster, a full formalization of Plutus Core in Lean 4 for enhanced smart contract verification. The Plutus team improved compiler usability and added UPLC optimizations to increase execution efficiency. Mithril completed the review of its recursive SNARK circuit prototype and finalized the client CLI for Cardano blocks. Lastly, Intersect noted only seven days remain for 2026 committee election applications, closing April 17.

The performance and benchmarking team ran benchmarks on node v.10.6.2 and began developing tx-centrifuge, a service for generating high network workloads. Lace reached a major milestone by integrating Midnight mainnet access, allowing users to manage private assets directly in the wallet. Mithril successfully activated the SNARK prover on a developer network, while Intersect opened applications for the 2026 committee elections, with seats available across seven standing committees until April 17.

The networking and consensus teams supported the node v.10.7.0 release and progressed on the Peras protocol, including on-chain certificate tracking. Mithril completed the Halo2 circuit and SNARK aggregation primitives, while Hydra advanced the partial fanout and directly open heads features. Additionally, Professor Aggelos Kiayias was named a 2026 IACR Fellow for his cryptographic contributions.

The ledger team reached a major milestone by releasing all packages for cardano-node v.10.7, preparing for the intra-era hard fork to protocol version 11. Mithril advanced its SNARK circuit refactoring and published a blog on mainnet protocol changes. Meanwhile, Hydra version 1.3.0 was released, featuring progress on partial fanouts and fixes for high transaction loads. The team is now focusing on the upcoming Dijkstra era.

Binance listed the NIGHT token, and the Sandstone team released Torsten, a new Cardano node written in Rust. The consensus team progressed on the Ouroboros Leios prototype and updated the node-to-client protocol to version 23. Lace is preparing for the Midnight mainnet launch, while Mithril continues implementing succinct proofs (SNARKs). Additionally, Intersect announced that committee election applications will open on March 30.

Payments in 137 SPAR stores across Switzerland now support ada, highlighting significant real-world adoption. The ledger team advanced nested transactions and performance restructuring, while the Lace wallet integrated Midnight mainnet support and the LaceID identity feature. Furthermore, the Mithril team completed signer authentication for SNARK verification keys. Research breakthroughs also established formal models for geographic diversity and Sybil-proofness in decentralized restaking networks.

MoneyGram has joined the Midnight network as a federated node operator, while the Cardano Foundation officially assumed stewardship of Project Catalyst. Yoroi now supports dual rewards for ada and night tokens. Additionally, performance benchmarks for node v.10.5.4 and v.10.6.2 were released, and the Leios team demonstrated a working prototype capable of producing endorser blocks under high load. Mithril also advanced its development of succinct SNARK proofs.

Node v.10.6.2 is live, featuring structural enhancements and preparing the network for the version 11 hard fork. The ledger team progressed with nested transactions and account address improvements, while Hydra v.1.3 focuses on production adoption. Coinbase now accepts ada as loan collateral, and the Leios prototype successfully minted endorser blocks under load. Finally, Messari released the Q4 2025 report alongside Intersect's committee election announcement.

Node v.10.5.4 has been released, introducing critical patches to enhance the robustness of the diffusion layer. The consensus team integrated network packages for the upcoming node v.10.7 and further advanced the Leios prototype. Meanwhile, the Mithril team implemented new succinct proofs and SNARK-friendly certificate chains. Simultaneously, the Leios team moved toward finalizing protocol parameter recommendations through extensive research and simulations to analyze network traffic under load.

The High Assurance team has launched an early access program for its automatic formal verification tool, inviting developers to help shape the future of smart contract security. In scaling updates, Mithril distribution 2603.1 is now available, featuring a decentralized message queue protocol and Blockfrost API integration. Furthermore, the IOG Research team officially closed Work Package 25 by submitting its comprehensive 2025 end-of-year reports to Intersect.