Democratizing security in the Cardano ecosystem: a complete development lifecycle
How Input | Output Engineering is building a suite of integrated tools to make high-assurance development accessible to every Cardano developer
30 July 2025 6 mins read
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…
Breaking down the walls: making Cardano more developer-friendly
Project Acropolis is reimagining the Cardano node as a living ecosystem where developers can build applications from within, not just interface from outside
3 July 2025 8 mins read
Cardano's mathematical foundations and formal verification approach have established it as a leader in blockchain security and reliability. However, these same architectural choices that ensure exceptional security have created a developer experience that requires significant upfront investment in specialized knowledge, tools, and infrastructure. The result is a paradox: one of…
Recent posts
Input | Output Research invites community feedback on mid-year research progress by Ivan Irakoze
29 August 2025
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