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ẻ "Research"

Peer-reviewed research, Ouroboros, and scaling work behind Cardano.

Xem tất cả thẻ

Cardano Vision 2026

Input Output Global
Global IO holding

The Cardano Vision 2026 research roadmap outlines 15 key initiatives across six core technical pillars. Developed by a global academic consortium, the program drives multi-layer scalability (via Leios and Peras), cross-chain zero-knowledge (ZK) tooling, decentralized identity, and verified governance models. Its primary strategic defense is a bottom-up post-quantum cryptography (PQC) framework designed to preemptively swap out core consensus primitives for quantum-secure alternatives.

Report

The Leios roadmap to solving the blockchain trilemma

Input Output Global
Global IO holding

The Ouroboros Leios architecture solves the blockchain trilemma by decoupling transaction diffusion from sequencing. This setup integrates advanced cryptography, including SNARKs for sublinear correctness verification, Data Availability Sampling (DAS) to verify blocks without full downloads, and Bloom filters to check data relevance. Finally, UTXO sharding distributes state maintenance across the network, enabling true horizontal scalability so that consumer-grade hardware nodes can participate securely without processing the entire blockchain.

Report

New Research on Validator Incentives and Restaking Security

Cardano Foundation
Not-for-profit organization

New research from the Cardano Foundation, IOG, and Gauntlet examines validator incentives and restaking security as block emissions decline. It highlights how SPOs could gain rewards by securing external protocols but warns of vulnerabilities in slashing-based models. The study shows that penalties in one protocol can compromise others, leading the Foundation to investigate more robust, non-slashing incentive alternatives.

report

Smart contracts on Bitcoin

Input Output Global
Global IO holding

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.

Ouroboros Genesis

A new era of smart contract verification on Cardano

Input Output Global
Global IO holding

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.

Ouroboros Genesis

Breaking down the walls: making Cardano more developer-friendly

Input Output Global
Global IO holding

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.

Ouroboros Genesis

Layer 2 expansion: beyond Hydra

Input Output Global
Global IO holding

A June 23, 2025, blog post by Fergie Miller summarizes a Cardano R&D session on Layer-2 expansion beyond Hydra. The session featured presentations on Midgard (an optimistic rollup), a zk-rollup from zkFold SA, a ZK bridge from Eryx Cooperativa, and Gummiworm (a scalable rollup from Sundae Labs). Key discussion themes included interoperability, capital fragmentation, and the importance of security.

To slash or not to slash: that is the blockchain question

Input Output Global
Global IO holding

A June 23, 2025, IOHK blog post by a team of researchers explores the concept of slashing as a security mechanism in blockchains. It contrasts Ethereum's slashing-based model, where validators risk losing staked assets for misbehavior, with Cardano's non-slashing approach. The authors argue that slashing is ineffective against majority attacks and can deter participation, while Cardano’s method, relying on formal verification and stake-weighted incentives, provides robust security without these drawbacks.

Ouroboros Genesis

Understanding Cardano: introducing the Cardano Blueprint

Input Output Global
Global IO holding

Input Output Global (IOG) introduced the Cardano Blueprint, a comprehensive, open-source reference guide to the platform. This living document is designed to be a single source of truth, detailing Cardano's core components, architecture, protocols, and design principles. The Blueprint aims to enhance transparency and accessibility for developers, researchers, and the wider community. By providing a standardized technical reference, it seeks to improve the onboarding process and foster a deeper understanding of Cardano's intricacies.

Ouroboros Genesis