Vote record

**Proposal as pdf: [https://ipnso-com.ipns.dweb.link/?cid=Qmd7G7L6xinunTLU9JorPLYyFCLGRarXEn7RngdNYgNH3B](https://ipnso-com.ipns.dweb.link/?cid=Qmd7G7L6xinunTLU9JorPLYyFCLGRarXEn7RngdNYgNH3B)** This proposal strengthens Cardano’s smart contract platform across three critical and closely connected areas: language capabilities, formal correctness, and developer experience. It funds targeted expansion to the Plutus language with new syntactic forms and new primitives to reduce script costs, improve expressiveness, and unlock more efficient contract patterns; formal specification, conformance testing, and structured security review to support correctness as node diversity grows; and a better compiler and tooling experience that lowers setup friction, improves error reporting, and makes smart contract development more accessible. Together, these workstreams make Plutus cheaper to use, more trustworthy to build on, and easier for developers to adopt, helping Cardano support a broader range of applications while also providing stronger foundations for alternative node implementations and other ecosystem tooling. This is a technical collaboration with Input Output and VacuumLabs, distributing Plutus stewardship across expert teams. Intersect administers funds via milestone-based smart contracts with independent oversight. All unspent funds return to the Treasury. **Treasury Ask:** ₳11,877,575