Always secure and safer than ever, thanks to next-level smart contract verification on Cardano
Traditional smart contract verification checks high-level code and trusts the compiler. In this second blog post in the formal verification series, we explain how we can verify the actual compiled bytecode that runs on-chain, catching bugs that other approaches miss
14 October 2025 12 mins read
It is now possible to formally verify smart contracts at the exact level they execute on Cardano nodes – working directly with Untyped Plutus Core (UPLC) rather than reasoning over abstract models or surface loop.
By directly targeting UPLC, contracts can be verified regardless of the source language, including Plinth, Aiken, Plutarch, or any future language that targets the…
Input | Output Research invites community feedback on mid-year research progress
New Fundamental Research and Technology Validation draft reports detail breakthrough advances in Cardano scaling, security, and blockchain innovation under Work Program '25. The Cardano community is now invited to review these drafts on Cardano Forum
29 August 2025 8 mins read
Cardano Vision launched in 2025 with the Work Program 2025 (WP25), a five-year research initiative designed to secure Cardano’s long-term leadership in blockchain.
Today, Input | Output Research (IOR) proudly releases draft versions of its WP25 mid-year reports for Fundamental Research and Technology Validation, marking significant progress in Cardano’s evolution as a leading…
From idea to implementation: a look into IO's research and development
The latest breakthroughs from Input | Output’s R&D department are shaping the future of Cardano with innovative solutions and rigorous academic research
26 August 2025 7 mins read
As blockchain technology evolves into a foundational layer for global infrastructure, rigorous research and development are crucial to ensure robustness, scalability, and relevance. At Input | Output (IO), research is not confined to theory – it is the engine behind secure, high-performance systems like Cardano.
IO uses evidence-based engineering to construct resilient systems…
Unlocking zero-knowledge proofs for Cardano: the Halo2-Plutus verifier
Learn about an open-source prototype bringing zero-knowledge proofs to Cardano for private, scalable, and interoperable applications
26 August 2025 6 mins read
In the rapidly evolving world of blockchain technology, zero-knowledge proofs (ZKPs) are a cornerstone for enhancing privacy, scalability, and security. The Halo2-Plutus verifier is an open-source project spearheaded by Input | Output Research (IOR) as part of an Intersect agreement driven by the Technical Steering Committee priorities. This tool bridges the advanced…
Professor Kiayias explores consensus evolution at Science of Blockchain Conference 2025
As others shun academic rigor, Input | Output (IO) continues to invest in formal methods, peer-reviewed science, and academic collaboration – because for IO, research isn't an afterthought, it's infrastructure.
22 August 2025 4 mins read
The 2025 Science of Blockchain Conference (SBC) brought together leading researchers, engineers, and academics at UC Berkeley to explore the theoretical foundations that underpin today’s blockchain systems. Input | Output (IO) had strong representation at this event, showcasing the organization’s continued commitment to bridging rigorous research with practical implementation.
Professor Aggelos Kiayias – IO’s Chief Scientist and Chair in Cyber Security and Privacy at the University of Edinburgh – delivered the keynote ‘The Evolving Art of Agreement…
Recent posts
Always secure and safer than ever, thanks to next-level smart contract verification on Cardano by Romain Soulat
14 October 2025
Input | Output Research invites community feedback on mid-year research progress by Fergie Miller
29 August 2025
From idea to implementation: a look into IO's research and development by Nicolas Biri
26 August 2025