Chuyển đến nội dung chính

Cardano News

Explore the stories below for curated news, stories, and inspiration from within the Cardano ecosystem.

Một bài viết được gắn thẻ "Development"

Weekly development reports, protocol progress, tooling, and developer resources.

Xem tất cả thẻ

PlutusCoreBlaster brings Plutus Core to Lean 4

Input Output Global
Global IO holding

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.

weekly development report

Lace integrates Midnight mainnet as Mithril activates the SNARK prover

Input Output Global
Global IO holding

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.

weekly development report

Critical Integrations Technical Progress update and “Pentad V2”

Intersect
Member based organization

The Pentad has transitioned to delivering Critical Integrations, headlined by the live launch of USDCx, which boosted Cardano's stablecoin supply by 40%. Pyth Network oracles are now code-complete for a Q2 launch, while Dune Analytics and LayerZero integrations are currently in progress. Furthermore, the design phase for Pentad V2 has begun, focusing on expanding infrastructure and capital flow.

community digest

Node v10.7.0, Peras certificates and Mithril Halo2 SNARKs ship

Input Output Global
Global IO holding

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.

weekly development report

Node v10.7 packages ready for the protocol v11 hard fork

Input Output Global
Global IO holding

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.

weekly development report

Binance lists NIGHT as Sandstone ships the Torsten Rust node

Input Output Global
Global IO holding

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.

weekly development report

Programmable Tokens for Cardano

Cardano Foundation
Not-for-profit organization

The Programmable Tokens Platform and open-source CIP-0113 standard allow tokenized assets to incorporate customizable on-chain compliance rules directly into the Cardano ledger. Built using Aiken, this modular framework supports scaling regulated equities, commodities, and stablecoins while maintaining native asset efficiency. It provides issuers the flexibility to enforce rules, such as transfer restrictions or asset freezes, automatically through smart contracts.

report

Ada payments reach 137 SPAR stores as nested transactions advance

Input Output Global
Global IO holding

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.

weekly development report

USDCx goes live on Cardano Mainnet

Cardano Foundation
Not-for-profit organization

USDCx has officially launched on the Cardano mainnet, providing native liquidity backed 1:1 by USDC through Circle’s xReserve infrastructure. By utilizing the Cross-Chain Transfer Protocol (CCTP), this integration enables seamless "burn-and-mint" capital flows and eliminates traditional third-party bridge risks. This advancement strengthens the network's financial rails, significantly enhancing interoperability with other blockchains and simplifying asset movement between ada and centralized exchanges.

report

MoneyGram joins Midnight as a federated node operator

Input Output Global
Global IO holding

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.

weekly development report