Plutus
Cardanoのスマートコントラクトプラットフォームを構築しやすく、実行コストを低くし、より厳密に検証されたものにします。Input OutputとVacuumLabsの共同事業として提供されます。
The team behind the initiative
The opportunity
Plutus, a compact lambda-calculus-based language executed by Cardano nodes, serves as the foundation of all Cardano smart contracts. Its quality and capabilities directly influence what developers can build, how quickly they can build it, and how much confidence they can place in the results. There are three interconnected areas where further improvements would strengthen Plutus’s ability to fulfill this role.
First, execution efficiency and expressiveness. On-chain execution costs are critical to Cardano's competitiveness. Targeted expansion of UPLC capabilities and primitives, such as efficient pattern matching on the ubiquitous Data type, built-ins for common list, value and cryptographic operations, and removal of scope-checking overhead that adds roughly 25% to script preparation time without providing a security benefit, can deliver meaningful reductions in script size and execution budget.
Second, formal verification, conformance, and security. As node diversity becomes a reality, correctness guarantees must keep pace. The Plutus metatheory currently lacks formalization for many built-in functions, and conformance testing falls back to the reference implementation. Extending formal coverage and building a property-based testing framework would close this gap, while continuous security auditing of the evaluator and costing code would surface risks before they reach production.
Third, developer experience and tooling. The smart contract developer experience would benefit from a compiler and optimizer architecture that produces clear, source-level error messages and eliminates the need for boilerplate. A simpler project setup that does not require Nix or native C library dependencies, along with other usability improvements, would make it significantly easier for new developers to start building on Cardano.
The Initiative
Plutus
This proposal funds three workstreams that collectively address execution efficiency, formal correctness, and developer experience for Cardano’s Plutus smart contract platform.
- Workstream 1: Plutus capabilities and primitives. Extends the UPLC execution model and built-in function set. Delivers support for casing on the built-in Data type (significantly reducing execution costs for most contracts), an investigation into removing the redundant scope check, a SNARK-friendly Poseidon hash function (conditional on benchmarks), implementation of the ratified multiIndexArray built-in (CIP-0156), additional BuiltinValue functions for multi-asset operations (CIP-0168), and a CIP exploring laziness and memoization in UPLC.
- Workstream 2: Formal specification, correctness, and security. Strengthens the formal foundations of Plutus program execution. Delivers a property-based conformance testing framework that extends the current test suite, which supports node diversity by enabling alternative Plutus evaluators to verify correctness against the canonical implementation; a systematic security and correctness audit of the security-critical code (such as the Plutus evaluator and costing); and formalization of programmatic built-in types and functions in the Plutus metatheory (Agda).
- Workstream 3: Developer experience. Introduces a new compiler and optimizer architecture that improves code optimization, provides clearer source-level error messages, and reduces boilerplate. It also simplifies setting up the development environment, removing the need for tools like Nix or manual dependency installation.
Why now: The Plutus team has completed development for the upcoming Van Rossem hard fork, creating a natural window for these improvements till the Dijkstra hard fork. Changes that require a hard fork, such as removing the scope check, need to be completed in time for Dijkstra. Meanwhile, it is important to continue building on the developer experience and usability improvements, which are critical for Cardano’s adoption. Further, investing in formal specification, cross-implementation conformance, and structured auditing now is significantly more cost-effective than responding to incidents in production, especially as Cardano adoption increases and node diversity becomes a reality.
Treasury ask: ₳11,877,575
Who is building
This initiative is led by Ziyang Liu at Input Output Group, delivered as a co-venture with VacuumLabs, a specialist firm with deep expertise in formal methods, security-critical Haskell development, and Cardano infrastructure.
The partnership is planned and purposeful. Both organizations are investing in Plutus as shared public infrastructure for the Cardano ecosystem. This distributed ownership model reflects what a maturing ecosystem looks like: core infrastructure maintained by a consortium of expert teams, not dependent on any single contributor.
Expected outcomes
- ビルトインData型でのパターンマッチングが第一級のUPLC操作となり、Data上で動作する大多数のバリデーターのスクリプトサイズと実行コストを削減します。
- クロスチェーン相互運用性、ZK証明（Poseidon）、効率的なリストとマルチアセット値の処理（CIP-0156、CIP-0168）を可能にする新しいビルトイン関数。
- 定量的証拠を伴うスコープチェック削除に関するCIPまたは技術レポート。スクリプト準備オーバーヘッドの約25%削減を解放するか、現在の設計を維持すべき理由を文書化します。
- A CIP exploring laziness in UPLC for community discussion, addressing a long-standing expressiveness gap.
- 代替ノード実装が正規の実装に対して正確性を検証できるプロパティベースの適合テストフレームワーク。
- Plutusのメタ理論が特定のプログラマティックなビルトイン型と関数を形式化するために拡張されます。
- エバリュエーターとコスティングコードの継続的なセキュリティ監査、発見事項と推奨事項を網羅した書面による監査レポート。
- より良いコード最適化を行い、より明確なソースレベルのエラーメッセージを提供し、ボイラープレートを削減し、セットアップを簡素化する新しいコンパイラとオプティマイザアーキテクチャ。
Ecosystem Impact
Plutus improvements touch more 2030 KPIs than almost any other proposal. Lower execution costs directly drive Monthly Transactions by making transactions cheaper and enabling application designs that were previously uneconomical. Developer tooling improvements drive MAU by reducing the drop-off rate for new developers and expanding the pool of builders who ship contracts. Formal specification and conformance testing directly enable Alternative Full Node Clients. Security auditing and correctness guarantees support Reliability and strengthen the trust that underpins TVL and Revenue/Adoption.
The VacuumLabs co-venture is itself an ecosystem outcome: it distributes Plutus maintenance expertise across multiple organizations, directly reducing the risk of a single point of failure in tooling stewardship and advancing Ecosystem Sustainability and Resilience.
Governance links
Formal treasury proposal
The on-chain submission, read the full proposal text and rationale.
View the formal proposalJoin the Conversation
Ask questions, share views, and follow the community debate.
X Spaces