はじめに
2026年4月22日（エポック626）に提出されたガバナンスアクション「IO & VacuumLabs: Enhancing Plutus — Performance, Correctness, and Usability」について、SIPO DRep としての分析と判断をお伝えします。
本提案は、Input Output (IO) と VacuumLabs（formal methods / security-critical Haskell / Cardano インフラの専門企業）の co-venture によって提出された Treasury Withdrawal 提案であり、申請額は ₳11,877,575（USD $2,850,618、$0.24/ADA 換算） です。
結論から申し上げます。SIPO は本提案に賛成（YES）を投じます。
Plutus は Aiken、Pebble、Scalus、Futura、Plinth の共通コンパイル先 であり、全 Cardano smart contract が依拠する基盤です。本提案は Plutus を performance（実行コスト削減）/ correctness（formal specification + security audit）/ usability（compiler architecture 改善） の 3 軸で前進させ、全言語・全 DApp・全 alt-client に複利的に効く投資です。
加えて、VacuumLabs co-venture は Plutus stewardship を IO 集中から組織間に分散させる構造的改善 を加えます。SIPO がこれまで支持してきた stewardship 分散パターン（HLabs / Ensurable / 7 organization High Assurance）を Plutus 層にも拡張するものです。
提案の全体像
| 項目 | 内容 |
|---|---|
| 提案名 | IO & VacuumLabs: Enhancing Plutus |
| タイプ | Treasury Withdrawal |
| 申請額 | ₳11,877,575（USD $2,850,618、$0.24/ADA 換算） |
| 提案者 | Input Output Global + VacuumLabs（co-venture） |
| 期間 | Q3 2026 〜 Q2 2027 |
| 管理 | Intersect / Sundae Labs treasury-contracts |
| 提出 | 2026年4月22日（Epoch 626） |
| 失効 | 2026年5月25日（Epoch 633） |
| Governance Action ID | gov_action1w0shrfxqwv95kk0v4cn34wylz25a2cmqkq5jpc0e2yrahhqava3qvczhx6t |
3 つのワークストリーム
WS1: Plutus Capabilities and Primitives（性能向上）
UPLC 実行モデルの拡張により、全 Cardano DApp の実行コスト削減 に直接貢献：
- Built-in casing on Data — Data 型のパターンマッチが効率化
- multiIndexArray (CIP-156) — 既批准の builtin、複数 index 操作を 1 つの安価な builtin に
- BuiltinValue functions (CIP-168) — multi-asset 操作の効率化（policies、restrictValueTo、filterOutPolicies、assetCount）
- Scope check 撤廃の調査 — script 準備時間の約 25% を占める redundant check の検証
- SNARK-friendly Poseidon hash CIP — ZK アプリケーションの基盤
- UPLC laziness investigation — モジュラー / 再利用可能な契約パターンの可能性
WS2: Formal Specification, Correctness, and Security（正確性）
- Property-based conformance testing framework — 現在の 1,982 手書きテストケースを random 生成テストで拡張、alt-client (Amaru/Dingo) verification の前提
- Plutus evaluator + costing systematic security audit — production critical コードの構造化されたレビュー
- Agda metatheory formalization — programmatic built-in types/functions の formal 仕様化、authoritative executable specification
WS3: Developer Experience（usability）
- GHC plugin 要件撤廃 — Plinth standalone compiler
- Multi-version GHC support — 2 つの major GHC version 同時サポート
- Plinth dependency 解消 — Nix 不要、native C library（blst、secp256k1）依存除去
- Source-level error messages — エラーが Haskell ソース位置を直接参照
- boilerplate 削減 — INLINEABLE pragma 不要
WS3 は hard fork 不要で即座に benefit が得られる重要特性。CBDE（本ラウンド YES）と相補的に動作します。
スコープ評価：構造的論点
Plutus 改善は全 DApp に複利的に効く
UPLC は Aiken、Pebble、Scalus、Futura、Plinth の共通コンパイル先 です。Plutus 改善はソース言語に関わらず全 Cardano DApp に benefit します。これは「特定言語チームへの投資」ではなく「エコシステム全体の execution layer 投資」です。
execution cost 削減 → DeFi capital efficiency 改善 → 現在経済的に成立しないアプリケーションが viable に。これは Cardano が EVM チェーンとコスト競争に勝つために必要な構造的投資です。
Property-based conformance = ノード多様性の前提条件
現在の Plutus conformance suite は 1,982 の手書きテストケース。Property-based conformance はこれを formal specifications から生成することで、alt-client (Amaru、Dingo) が canonical 実装と一致することへの遥かに高い信頼度 を提供します。
SIPO は alt-client を essential infrastructure insurance として YES を投じてきました。Plutus が進化する中で alt-client が安全に進化するためには、本 property-based conformance framework が前提条件となります。
VacuumLabs Co-venture の構造的意味
Plutus は歴史的に IO によってほぼ独占的に維持 されてきました。VacuumLabs co-venture は formal methods / security-critical Haskell / Cardano インフラ専門の specialist team を maintenance 責任の共有に導入し、Plutus stewardship を multi-org consortium へと進化させます。
これは SIPO がこれまで支持してきた stewardship 分散の Plutus 層への適用です：
| 分散パターン | 該当提案 |
|---|---|
| HLabs co-stewardship of TS layer | Pebble + Gerolamo |
| Ensurable co-venture | IO Cardano Upgrades + Maintenance |
| 7 organization consortium | High Assurance |
| VacuumLabs co-venture | 本提案 |
Plutus が multi-org consortium によって維持されるようになることは、Pillar 5（Sustainability and Resilience）への 構造的改善 です。
ガバナンス構造
| 項目 | 内容 |
|---|---|
| 管理者 | Intersect（3 admin + 2 leadership 役割） |
| Smart Contract | Sundae Labs treasury-contracts（TxPipe / MLabs 監査済み） |
| Oversight Committee | Sundae Labs / Cardano Foundation / Dquadrant / Xerberus / NMKR |
| 第三者 Assurer | milestone-based 監査 |
| Refund Clause | 未使用資金は比例返還 |
SIPO が一貫支持してきた標準と完全に同一。
Cardano 2030 整合
| Pillar | 整合度 | 内容 |
|---|---|---|
| Pillar 1: Infrastructure & Research Excellence | Yes: Fully | Plutus formal spec、property-based conformance、compiler 改善 |
| Pillar 2: Adoption & Utility | Yes: Fully | コスト削減 + frictionless tooling で builder 流入 |
| Pillar 3: Governance | N/A | — |
| Pillar 4: Community & Ecosystem Growth | Yes: Partially | conformance framework が alt-client teams との連携を強化 |
| Pillar 5: Ecosystem Sustainability & Resilience | Yes: Fully | continuous security audit + VacuumLabs co-venture |
3 Pillar で「Yes: Fully」 という高整合性。
予算規律
| 配分 | ADA | 比率 |
|---|---|---|
| Development | ₳10,214,715 | 86% |
| Engagement & Ecosystem support | ₳712,655 | 6% |
| Operations & Delivery | ₳356,327 | 3% |
| その他（Infra/Audits/Legal/Governance/Others） | 各 ₳118,776 | 各 1% |
86% Development 配分は IO の他 Treasury withdrawals と整合する標準。Net Change Limit 準拠。
スタンス一貫性
| 過去 YES | 該当軸 | 本提案との関係 |
|---|---|---|
| Amaru / Dingo | プロトコル多様性 | property-based conformance が前提条件 |
| HLabs Pebble + Gerolamo | Stewardship 分散 | Pebble は Plutus にコンパイル |
| Cardano High Assurance（本ラウンド YES） | Stewardship 分散 | Plutus は High Assurance の verification target |
| Cardano Maintenance（本ラウンド YES） | インフラ公共財 | Plutus 改善は maintenance 範囲を補完 |
期待事項（YES には明確な条件が伴う）
SIPO の YES は無条件ではありません。以下を拘束力のある運用上のコミットメントとして期待します：
- CIP-168 批准依存性の報告：未批准のため、Workstream 1 デリバリーの hard dependency として CIP-168 批准進捗の月次報告
- Property-based conformance framework 外部 alt-client 採用：どの alt-client チームが framework を能動的に実行しているかの公開、四半期更新
- Security audit findings 透明性：Q1 2027 最終監査レポートの全 findings、リスク評価、remediation status の公開（executive summary のみのリリースではなく）
- VacuumLabs 責任分担の開示：Q3 2026 マイルストーンゲートまでの公開分担
- Hard-fork 依存と独立デリバリーの分離：WS1（HF 依存）/ WS2（HF 独立）/ WS3（HF 不要）の明確な分離報告
結び
Plutus は 全 Cardano smart contract の基盤 であり、High Assurance Initiative の verification target です。Plutus performance / correctness / usability 改善への投資は、全言語、全 DApp、全 alt-client 実装に対して複利的に効きます。
VacuumLabs co-venture は、Plutus stewardship がもはや IO に集中しない という構造的改善を加えます。SIPO が一貫支持してきた stewardship 分散パターンの Plutus 層への適用です。
期待事項が拘束力のある運用上のコミットメントとして扱われることを前提として、SIPO DRep は本提案に賛成（YES）を投じます。
SIPO DRep: Why We Vote YES on “IO & VacuumLabs: Enhancing Plutus”
Introduction
This article presents SIPO DRep’s analysis and decision on the governance action “IO & VacuumLabs: Enhancing Plutus — Performance, Correctness, and Usability”, submitted on April 22, 2026 (Epoch 626).
The proposal is a co-venture between Input Output (IO) and VacuumLabs (a specialist firm with deep expertise in formal methods, security-critical Haskell, and Cardano infrastructure) requesting ₳11,877,575 (USD $2,850,618). Three workstreams advance Plutus across performance, correctness, and usability.
SIPO votes YES on this proposal.
Plutus is the foundation of every Cardano smart contract — Aiken, Pebble, Scalus, Futura, and Plinth all compile to UPLC. Investing in Plutus improvements compounds across the entire ecosystem.
Why SIPO Votes YES
1. Plutus improvements compound across every smart-contract language and DApp on Cardano. Built-in casing on Data, multiIndexArray (CIP-156, ratified), BuiltinValue functions (CIP-168), and scope-check investigation reduce execution costs for every Cardano DApp regardless of source language.
2. Property-based conformance testing is structural infrastructure for the node-diversity doctrine. Alt-clients (Amaru, Dingo) require this framework to evolve safely as Plutus evolves.
3. Continuous security auditing of the Plutus evaluator is non-discretionary at Cardano’s scale. Catching subtle costing bugs before deployment is orders of magnitude cheaper than responding in production.
4. VacuumLabs co-venture distributes Plutus stewardship beyond IO. Plutus has historically been near-exclusively maintained by IO. The same Pillar 5 stewardship-distribution pattern SIPO supported in HLabs Pebble + Gerolamo, Ensurable Systems co-ventures, and the seven-organization High Assurance proposal.
5. Workstream 3 developer experience improvements are immediately actionable — GHC plugin removal, multi-version GHC support, Nix dependency removal — and ship without requiring a hard fork.
Expectations
SIPO’s YES is conditional on:
- CIP-168 ratification dependency monthly reporting
- Property-based conformance framework external alt-client adoption disclosure (quarterly)
- Security audit findings transparency (full report, not executive summary only)
- VacuumLabs responsibility split disclosure by Q3 2026
- Hard-fork-dependent vs independent deliverable separation in milestone reporting
Closing
Plutus is the foundation of every Cardano smart contract and the verification target of the High Assurance Initiative. The VacuumLabs co-venture adds the structural improvement that Plutus stewardship is no longer concentrated in IO. With expectations above treated as binding operational commitments, SIPO DRep votes YES.
References
- Proposal IPFS: https://ipnso-com.ipns.dweb.link/?cid=Qmd7G7L6xinunTLU9JorPLYyFCLGRarXEn7RngdNYgNH3B
- Governance Action: https://gov.tools/connected/governance_actions/73e171a4c0730b4b59ecae271ab89f12a9d56360b02920e1f95107dbdc1d6762#6
- Plutus repository: https://github.com/IntersectMBO/plutus
- Plutus Core formal spec: https://plutus.cardano.intersectmbo.org/resources/plutus-core-spec.pdf
- Plutus metatheory: https://plutus.cardano.intersectmbo.org/metatheory/latest/
- CIP-156: multiIndexArray (ratified)
- CIP-168: BuiltinValue functions (PR #1090, not yet ratified)
- CIP-152: Modules in UPLC (referenced model)
- Cardano 2030 Strategy: https://product.cardano.intersectmbo.org/vision/strategy-2030/
- 関連 SIPO 投票（本ラウンド）: IO Cardano Upgrades / Leios / Developer Experience / Maintenance / Cardano High Assurance / L2 Scalability / Blockfrost / Pogun（全て YES）
- 関連 SIPO 過去投票: Amaru（YES）/ Dingo（YES）/ HLabs Pebble + Gerolamo（YES）
