Input Output Global (IOG), the research and engineering firm behind much of Cardano's core development, published a formal treasury proposal on May 18 to fund a broad upgrade of Plutus, the language that executes every smart contract on the Cardano network. The proposal covers three parallel workstreams: expanding low-level script capabilities, strengthening formal verification and security testing, and modernizing the developer toolchain. VacuumLabs, a firm specializing in formal methods, security-critical Haskell, and Cardano infrastructure, will co-deliver the work and take over stewardship of the Plutus stack entirely by end of 2026.

The funding request sits within a larger 2026 IOG budget of $46.8 million (expressed in USD as reported across IOG's nine-proposal submission) spread across nine proposals, down roughly 52 percent from the $97.5 million IOG sought in 2025.

The Plutus ask is milestone-gated under Intersect's TRSC, the committee responsible for treasury and reserve oversight, meaning disbursements are conditional on verified delivery rather than released upfront. Intersect charges a 3 percent administration fee on withdrawals it manages, a cost that bears on any assessment of the proposal's total governance economics.

IOG's prior treasury record shows ₳130.7 million allocated and ₳78.5 million withdrawn to date, with disbursement rates of 100 percent on the IOR project and 88 percent on Blockfrost.

---

What the Proposal Actually Changes

Plutus is written in Haskell and compiled to a compact, lambda-calculus-based intermediate language. It validates transactions on Cardano's Extended Unspent Transaction Output model, commonly called eUTXO, which differs from Ethereum's account-based approach. The eUTXO design enables predictable fees, parallel transaction processing, and cheaper transaction verification, but has historically made Plutus harder to develop for than alternatives like Solidity.

The first workstream targets script execution cost directly. New built-in functions and Data type improvements would shrink script size and reduce the CPU and memory units a transaction consumes, which translates to lower fees for users. New cryptographic primitives are also planned to support cross-chain interoperability and zero-knowledge proof applications.

The second workstream addresses formal specification and conformance testing. Ziyang Liu, IOG's software engineering lead and the proposal's primary author, flags this as especially important in two emerging contexts: a Cardano ecosystem where multiple independent node implementations must produce identical Plutus evaluation results, and a development environment where AI-generated code is entering production workflows. Conformance testing provides a machine-verifiable check against subtle bugs introduced by either scenario.

The third workstream focuses on tooling. IOG plans a new compiler architecture with better optimization and cleaner error messages, alongside the removal of Nix-based build requirements and manual dependency installation steps that currently add friction during environment setup.

---

On-Chain Context

Cardano's smart contract activity remains modest by comparison to leading EVM chains. The network processes roughly 52,000 smart contract executions per day against Ethereum's approximately 1.4 million, with around 680 new contracts deployed per month across a base of 17,000-plus cumulative Plutus script deployments. All on-chain metrics are subject to real-time change. Total value locked in Cardano DeFi sat at approximately $132 million as of early April 2026, placing it 27th globally according to DefiLlama data. Developer activity is more competitive: GitHub commit rankings place Cardano third globally, with 73 core contributors.

More than 75 percent of Cardano developers now use Aiken, a language that compiles down to Plutus Core, as their primary development tool, according to the Cardano Foundation's 2025 developer survey. The toolchain improvements in this proposal are designed to lower barriers for that developer majority.

---

Regional Stakes

The practical implications extend well beyond Western developer communities. In Africa, several active deployments stand to benefit from cheaper script execution. Landano is migrating approximately 80,000 land rights records in Ghana and Mozambique onto Cardano-based smart contracts, where per-record transaction costs are a real constraint for low-income users; this figure is drawn from available reporting and has not been independently verified on-chain. Thallo is building a national carbon credit registry in Tanzania targeting around 50,000 credits annually, a government-grade system where the formal verification improvements in this proposal reduce exploit risk; the same caveat applies to that figure. The broader continental context adds weight to both deployments: stablecoins account for approximately 43 percent of Sub-Saharan African digital asset transactions, and the Cardano Africa Summit is scheduled to convene in Nairobi in 2026.

In Nigeria, Cubid Protocol uses Cardano contracts for solar mini-grid micropayments, a use case where execution cost reductions could make micropayment contracts economically viable at lower cost thresholds.

In South Asia, Cardano user numbers grew more than 40 percent year-on-year in 2025, driven partly by India and Pakistan, though this figure has not been independently verified on-chain.

Removing Nix-based environment dependencies lowers the setup barrier for developers in markets where Haskell expertise is scarce and local tooling support is thin. Aiken's recent recognition as an official language on GitHub, reaching a developer community of more than 100 million, provides an additional on-ramp for developers in the region.

---

What Comes Next

DReps, the Delegated Representatives who vote on Cardano governance actions, must reach 67 percent approval among participating stake to advance this proposal through Intersect's off-chain advisory process by May 24; readers should verify this deadline directly at gov.tools before acting on it. On-chain ratification follows if the advisory vote clears. Readers evaluating the DRep decision should also note the Net Change Limit, proposed at 350 million ADA by Intersect's Budget Committee. This figure sets a constitutional cap on total treasury withdrawals in a given period and directly constrains how much of IOG's broader $46.8 million request can realistically clear in a single cycle.

Separately, five Plutus improvement proposals are already slated for inclusion in the upcoming Van Rossem hard fork, expected in late June 2026: CIP-138 (array types), CIP-153 (MaryEraValue), CIP-109 (modular exponentiation), CIP-132 (dropList), and CIP-133 (BLS12-381 optimizations). The treasury proposal covers longer-horizon structural work sitting beyond that immediate upgrade.