Cardano Treasury

Input Output Engineering Core Development Proposal (1of6)

Input Output Engineering Core Development Proposal (1of6): ₳18.7M paid of ₳24.2M from Cardano's treasury, through Intersect Treasury Contracts 1, in 16 payments.

Approved by Withdraw ₳96,817,080 for 2025 Input Output Engineering Core Development Proposal.

About the project

The Supplier will provide comprehensive engineering, maintenance, and development services to enhance and secure the Cardano protocol and its core infrastructure. The services are focused on delivering the community-endorsed technical roadmap and maintaining network stability. Projects included within this smart contract instance: Automatic Formal Verification, Property Based Testing Tool, Static Analyzer & Leios

Payments

  1. MS-1 — ₳930K, Paid 9 Dec 2025
  2. MS-2 — ₳930K, Paid 10 Aug 2026
  3. MS-3 — ₳930K, Paused, unlocks 30 Jul 2026. Paused: Awaiting MAF submission
  4. MS-4 — ₳930K, Paused, unlocks 30 Oct 2026. Paused: No MAF submitted
  5. MS-5 — ₳1.58M, Paid 15 Jul 2026
  6. MS-6 — ₳1.58M, Paused, unlocks 30 Jul 2026. Paused: Awaiting MAF submission
  7. MS-7 — ₳1.58M, Paused, unlocks 30 Jul 2026. Paused: IOE communicated that Milestone is unlikely to be completed by unlock date
  8. MS-8 — ₳518K, Paid 9 Dec 2025
  9. MS-9 — ₳518K, Paid 30 Mar 2026
  10. MS-10 — ₳518K, Paused, unlocks 30 Jul 2026. Paused: No milestone Acceptance Form submitted
  11. MS-11 — ₳2.37M, Paid 9 Dec 2025
  12. MS-12 — ₳2.37M, Paid 9 Dec 2025
  13. MS-13 — ₳2.37M, Paid 20 Jan 2026
  14. MS-14 — ₳2.37M, Paid 20 Feb 2026
  15. MS-15 — ₳2.37M, Paid 20 Feb 2026
  16. MS-16 — ₳2.37M, Paid 7 Sept 2026