This treasury withdrawal funds 2025 Input Output Engineering Core Development Proposal which will provide the following services:

• Automatic Formal Verification (Plutus High Assurance)

• Property Based Testing Tool (Plutus High Assurance)

• Static Analyzer (Plutus High Assurance)

• Ouroboros Leios Implementation

• Cardano Node Architecture Refresh (Acropolis)

• Hydra Development

• Minotaur AVS

• Mithril Development

• KES Agent

• Ledger-HD

• Log-Structured Merge (LSM) including UTXO-HD

• Revised Stake Pool Incentive Scheme

• Nested Transactions (Babel Fees)

• Plutus Core Roadmap

• Tiered Pricing Models (Plutus High Assurance)

• Transaction Monitoring System (Plutus High Assurance)

• Maintenance and Support

• Audit & Security Assurance

This Treasury Withdrawal is submitted by Intersect on behalf of the vendor. The following sections; Abstract, Motivation, Rationale and Vendor Profile have been sourced from the approved proposal submitted by the Vendor as part of the Intersect budget process.

This treasury withdrawal funds one of 39 proposals to give effect to the approved budget info action for ₳275,269,340, administered by Intersect via gov_action1u9x73kwufaxa70lfy59g4ynwyrcsaxdcd0gxzzmh67s9fxq4j8hqqk2phgh. The information provided herein is intended to fulfill the spirit of the constitutional requirement for a treasury withdrawal info action by also providing the details of the proposed solution, alignment to the budget, and amount to be withdrawn from the Cardano Treasury.