A new era of smart contract verification on Cardano
Security matters. Learn more about a new tool that makes automated formal verification of Cardano contracts easier, faster, and more accessible than ever
17 July 2025 7 mins read
On Cardano, smart contracts are written in powerful surface languages, such as Plinth, Aiken, and Plu–ts, among others. These contracts control real, valuable assets. If they fail, funds could be stolen or permanently locked.
Input | Output (IO) is developing a new tool to bring formal verification to Cardano smart contracts. While existing tools in the ecosystem – based on…
Recent posts
From idea to implementation: a look into IO's research and development by Nicolas Biri
26 August 2025
Unlocking zero-knowledge proofs for Cardano: the Halo2-Plutus verifier by Kris Bennett
26 August 2025
Professor Kiayias explores consensus evolution at Science of Blockchain Conference 2025 by Ivan Irakoze
22 August 2025