Dear Cardano community,
Input Output Research (IOR) is pleased to submit the draft of the IOR Cardano Vision and Work Program 2025 End-year report for Fundamental Research to Intersect this December. Cardano Vision launched in January 2025 with Work Program 2025 (WP25) – a five-year initiative grounded in peer-reviewed science designed to secure Cardano’s long-term leadership in scalability, sustainability, and security. This report provides a comprehensive overview of the progress, milestones, and priorities delivered during the program’s first year.
Fundamental Research focuses on formalizing ideas and proofs, operating primarily at software readiness levels (SRL) 1-2, with an expected market impact in 3-5 years. Applied evidence-based methodology helps move from problem statements through formal models, rigorous proofs, and eventually executable artifacts, aligning theory with real-world implementation.
In 2025, IOR advanced 20 foundational research streams that reinforce Cardano’s leadership in blockchain science. We are proud to report that we published 24 papers during WP25, exceeding our contractual target of 20 research outputs.
Key achievements in fundamental research for 2025 include:
- Ouroboros Omega (OO): major progress was made with OO-1V Peras, proving safety, liveness, and self-healing for fast settlement, and OO-2 Leios, delivering a Crypto ’25 paper demonstrating throughput scalability. We also advanced OO-3 Fair transaction processing with a paper on adaptive security for fair transaction ordering accepted at Asiacrypt ‘25.
- Decentralized storage (WOS-4): research delivered a formal treatment of adaptively secure decentralized storage networks (DSNs) and explored Byzantine-resilient primitives for distributed hash tables (DHTs).
- Tokenomicon (TO): work advanced new economic models for Cardano, extending earlier work to cover reserve policies and resilience. This included introducing a Shapley-value-based pooling scheme as an alternative to proportional sharing and disseminating it at major conferences.
- Interchains (IC): we delivered the first formal bridge security framework (Bridge Games), and introduced Cavefish – an ultra-efficient light client protocol for UTXO chains.
- Core zero-knowledge (ZK): advances included the AGATE framework for formalizing trusted execution environments (TEEs) and UC-SNARKs with transparent setup, positioning Cardano at the forefront of ZK research.
The Cardano community’s continued trust and support are essential to the success of this science-led research.
The IOR team now invites you to review the full draft report and share your feedback on the Cardano Forum. Your insights are crucial for refining our work and planning future priorities.
Review period: January 2026 (until January 23)
Draft report link: IOR - Cardano Vision & Work Program 2025 - End-Year Report - Fundamental Research (Draft) - Google Docs
