Built to never miss a block.
Cardano’s core node and supporting infrastructure are maintained by Input Output with the focus and long-term capacity the work demands. Haskell platform engineering. Formal methods. Security-critical infrastructure. Milestone-gated, publicly funded, openly delivered. The chain that has not missed a block since launch stays that way because of the people doing this work.
Specialist Partner
Ensurable SystemsIO leads and collaborates with Ensurable Systems on Haskell platform engineering for the Cardano node: maintenance, performance, and the long arc of stability work that production infrastructure requires.
What Maintenance Is
Maintenance covers the work that keeps Cardano safe, stable, and scalable: node updates, performance optimizations, bug fixes, security patches, and the testing and verification that prove every change before it reaches mainnet — unit and property tests, end-to-end testing with release sign-off, conformance testing, and formal verification of safety-critical components. It is the layer most users never see, and every application depends on. And it is where decentralization becomes concrete: multiple specialist organizations, each with a defined remit.
What Maintenance Delivers
A Cardano node that ships releases on a predictable cadence. Formal verification of safety-critical components. Quality assurance and performance results, with findings and remediations published. Performance benchmarks tied to real network conditions, not synthetic tests. A reliability story you can verify, milestone by milestone, against the public roadmap. Two independent specialist organizations, one defined remit each, no single point of failure.
Why It Matters
For institutions, exchanges, custodians, and any application that handles user funds, reliability is something they need to verify, not simply trust. The specialist model gives them exactly that: named principals accountable for defined remits, milestone-gated funding tied to public delivery, structured incident response, and a maintenance record published openly on the Intersect roadmap. Reliability stops being a claim. It becomes a property you can audit.
What’s Live / What’s Next
Where we are:
Cardano has been operational since it first went live, and IO is collaborating with Ensurable Systems on Haskell platform engineering.
What’s next:
More of the same: a robust blockchain that can withstand significant challenges.
Roadmap
Phased transition. Lowest-risk transitions move first. The Haskell entity announcement comes last, after partner delivery is proven.
Q3 2026
All nine maintenance areas live and running in parallel
Q4 2026
Releases ship on a predictable cadence; every change tested and signed off
Q1 2027
Milestone acceptance independently assured