We’re grateful and honored that the Cardano community has voted in support of the Input | Output Engineering (IOE) funding proposal as part of the Cardano Vision & Roadmap. On behalf of the entire team, thank you for your confidence in our work and in the shared future we’re building together.

Your vote represents more than just funding approval. It’s a signal that the community…

The Cardano community has achieved something truly remarkable in the blockchain industry. Over the past three years, ada holders have helped build the most ambitious decentralized governance program in crypto - complete with its own Constitution, elected representatives, and fully autonomous decision-making systems. This timeline traces the key milestones in this extraordinary…

Some smart contracts on Cardano may involve high-value transactions. Many developers still rely on security measures commonly used in traditional software development. While manual code reviews, unit testing, and external audits are effective in identifying bugs and other problems, smart contracts pose new and unique challenges. Erroneous or malicious smart contract code could…

What if you could take a smart contract, written using a modern language like Python, TypeScript, or Scala, and run it on Bitcoin without modifying Bitcoin itself?

Thanks to a novel compilation pipeline being developed at Input | Output (IO), that idea is becoming a reality. By combining a serialized smart contract format (Untyped Plutus Core – UPLC), a clever interpreter architecture (Control, Environment, Continuation (CEK) machine), and a widely supported open-source reduced instruction set architecture (RISC-V), IO…

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…