はじめに
2026年4月22日（エポック626）に提出されたガバナンスアクション「IO: Cardano High Assurance Technical Collaboration」について、SIPO DRep としての分析と判断をお伝えします。
本提案は、Input Output (IO) を含む 7 組織の協業 によって提出された Treasury Withdrawal 提案であり、申請額は ₳13,078,578（USD $3,138,859、$0.24/ADA 換算） です。
参加組織: IO + Lantr (Scalus) + Harmonic Labs (Pebble) + SAIB (Futura) + Midgard Labs (Aiken) + TxPipe + No.Witness Labs
結論から申し上げます。SIPO は本提案に賛成（YES）を投じます。
本提案は 本ラウンドにおける最も先進的な stewardship 分散の事例 です。SIPO がこれまで支持してきたパターン（HLabs Pebble + Gerolamo、Ensurable Systems との IO Cardano Upgrades co-venture、VacuumLabs との Enhancing Plutus co-venture）を、本提案は 7 組織協業へと更に拡張 しています。
提案の全体像
| 項目 | 内容 |
|---|---|
| 提案名 | IO: Cardano High Assurance Technical Collaboration |
| タイプ | Treasury Withdrawal |
| 申請額 | ₳13,078,578（USD $3,138,859、$0.24/ADA 換算） |
| 提案者 | Input Output Global + 6 ecosystem partners |
| 期間 | Q3 2026 〜 Q2 2027 |
| 管理 | Intersect / Sundae Labs treasury-contracts |
| 提出 | 2026年4月22日（Epoch 626） |
| 失効 | 2026年5月25日（Epoch 633） |
| Governance Action ID | gov_action1w0shrfxqwv95kk0v4cn34wylz25a2cmqkq5jpc0e2yrahhqava3q2yd5rxu |
2 つのワークストリーム:
| WS | 名称 | 規模 | 内容 |
|---|---|---|---|
| WS1 | Blaster (formal verification) | ₳10,112,037 | 単一スクリプトから DApp レベル verification 拡張 / 4 言語統合 / VS Code Extension / Common Vulnerability Library / Equivalence Checking |
| WS2 | CBDE (Container-Based Developer Environment) | ₳2,966,541 | 1 コマンドで完全な High Assurance toolchain セットアップ |
7 組織協業の構造
| パートナー | 担当コンポーネント |
|---|---|
| Input Output | Aiken integration、coordination、Plinth integration |
| Lantr | Scalus 言語との Blaster 統合 |
| Harmonic Labs | Pebble 言語との Blaster 統合 |
| SAIB | Futura 言語との Blaster 統合 |
| Midgard Labs | Aiken integration への参加 |
| TxPipe | Proof reconstruction module、Common Vulnerability Library 共同開発 |
| No.Witness Labs | Common Vulnerability Library 主導開発 |
これは「IOとコンサルタント」関係ではなく、Cardano 専門チームの consortium が共有公共インフラに対する maintenance と delivery 責任を分担する、本格的な多組織協業構造です。
スコープ評価
Blaster: UPLC レベルで動作する formal verification の意味
Untyped Plutus Core (UPLC) は、Aiken、Pebble、Scalus、Futura、Plinth の共通コンパイル先です。Blaster が UPLC レベルで動作することで、特定の言語を優遇せず、smart-contract 言語エコシステム全体を同時に支援 できます。
これは SIPO のノード多様性ドクトリンを直接拡張する論理です：
- 合意層 (consensus): Amaru (Rust) + Dingo (Go) で alt-clients 多様性
- smart contract 層: Aiken / Pebble / Scalus / Futura / Plinth で言語多様性
- verification 層: UPLC レベルの Blaster が 全言語を平等に支援
この 3 層多様性が完成することで、Cardano は「単一実装リスク」を構造的に軽減した最も成熟したブロックチェーンエコシステムとなります。
Blaster の production 実績
Blaster は既に以下の production DApp で correctness properties を証明済みです：
- Djed — Cardano の overcollateralized stablecoin
- USDCx — Cardano 上の wrapped USDC
これは「リサーチ bet」ではなく、既に動作するツールのプロダクト化 です。本提案は単一スクリプトから DApp レベル multi-script verification への拡張、4 言語 VS Code Extension、Common Vulnerability Library（DEX、bridge、lending、NFT minting カテゴリのテンプレート）、Equivalence Checking Tool を提供します。
CBDE: 測定された 60-70% 開発者離脱問題への対応
提案書は Nix セットアップ中に 60-70% の開発者が離脱する ことを文書化しています。CBDE は環境設定を 数日から 60 秒の単一コマンド初期化に圧縮 し、以下を目標としています：
- 離脱率を 20% 未満に削減
- 12 ヶ月以内にアクティブ Plinth 開発者 3-5 倍増
CBDE は本ラウンドで SIPO が同様に YES を投じる Developer Experience Initiative と直接接続します。cardano-init は High Assurance toolchain プラグインアーキテクチャの統合点 として設計されています。
ガバナンス構造
本提案のガバナンス構造は SIPO が過去に承認してきた標準と完全に同一です。
| 項目 | 内容 |
|---|---|
| 管理者 | 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 | 未使用資金は比例返還 |
Cardano 2030 整合
| Pillar | 整合度 | 内容 |
|---|---|---|
| Pillar 1: Infrastructure & Research Excellence | Yes: Fully | Lean-Blaster は Lean4 向け最良 verification backend、shared public infrastructure |
| Pillar 2: Adoption & Utility | Yes: Fully | CBDE で multi-day setup → 60 秒、formal verification を background なしの開発者にも accessible に |
| Pillar 3: Governance | N/A | — |
| Pillar 4: Community & Ecosystem Growth | Yes: Fully | 7 組織 consortium、Universal Annotation Language で将来の言語チームの統合障壁低下、CBDE community beta |
| Pillar 5: Ecosystem Sustainability & Resilience | Yes: Partially | 共有公共インフラ化で単一チーム依存解消 |
Pillar 1, 2, 4 の 3 つで「Yes: Fully」 という、極めて高い整合性。
予算規律
| 配分 | ADA | 比率 |
|---|---|---|
| Development | ₳11,247,577 | 86% |
| Engagement & Ecosystem support | ₳784,715 | 6% |
| Operations & Delivery | ₳392,357 | 3% |
| Infrastructure | ₳130,786 | 1% |
| Security & Audits | ₳130,786 | 1% |
| Legal & Compliance | ₳130,786 | 1% |
| Governance | ₳130,786 | 1% |
| Others | ₳130,786 | 1% |
86% Development 配分は IO の他 Treasury withdrawals と整合する標準。Net Change Limit に収まります。
スタンス一貫性
SIPO の YES 投票は、過去の以下の投票判断と論理的に首尾一貫しています：
| 過去 YES | 該当軸 | 本提案との関係 |
|---|---|---|
| Amaru / Dingo | プロトコル多様性 | smart contract 言語層への多様性ドクトリン拡張 |
| HLabs Pebble + Gerolamo | Stewardship 分散 | HLabs（Pebble）が本提案にもパートナー参加 |
| Cardano Critical Integrations | エコシステム統合 | 7 組織協業による統合 |
| L2 Scalability Initiative（本ラウンド YES） | エコシステム成長 | Midgard Labs が本提案にも Aiken 統合で参加 |
| Developer Experience Initiative（本ラウンド YES） | エコシステム成長 | cardano-init plugin で連携 |
期待事項（YES には明確な条件が伴う）
SIPO の YES は無条件ではありません。以下を拘束力のある運用上のコミットメントとして期待します：
- 7 パートナーマイルストーン透明性：いずれかのパートナーからの遅延リスクは実在。各パートナーの貢献が公開追跡され、責任所在が明確に可視化されること
- Common Vulnerability Library 外部監査会社の参画：Q2 2027 までに少なくとも 2 社の外部 Cardano 監査会社（指名パートナーに加えて）が貢献者として確定
- DApp Proof Framework Q2 2027 demo と TWAG 1 examples：少なくとも 3 つの TWAG 1 ready-to-audit examples と完全な proofs がコミュニティに可視化（内部デモではなく）
- Plinth 開発者採用ベースラインの開示：CBDE V1.0 リリース（Q2 2027）前に、ベースライン（現在のアクティブ Plinth 開発者数、測定方法論）公開
- Developer Experience Initiative との連携：cardano-init プラグインインターフェースが時間的に設計され、CBDE と Blaster が clean に統合
結び
本提案は、SIPO のノード多様性ドクトリンを 合意層 alt-clients から smart-contract 言語と formal-verification 層 に拡張し、7 組織が単一のコヒーレントなツールチェーンの stewardship を共有 するものです。
- Blaster の Djed と USDCx でのプロダクション実績 は、これが投機ではなくプロダクト化であることを実証
- CBDE は測定された 60-70% 開発者離脱問題 に文書化された 60 秒ターゲットで対応
- Cardano が institutional 採用と高価値 DeFi のための差別化 を強化する shared public infrastructure
期待事項が拘束力のある運用上のコミットメントとして扱われることを前提として、SIPO DRep は本提案に賛成（YES）を投じます。
SIPO DRep: Why We Vote YES on “IO: Cardano High Assurance Technical Collaboration”
Introduction
This article presents SIPO DRep’s analysis and decision on the governance action “IO: Cardano High Assurance Technical Collaboration”, submitted on April 22, 2026 (Epoch 626).
The proposal is a seven-organization collaboration (IO + Lantr + Harmonic Labs + SAIB + Midgard Labs + TxPipe + No.Witness Labs) requesting ₳13,078,578 (USD $3,138,859). Two workstreams: Blaster (extending automated formal verification to DApp-level) and CBDE (Container-Based Developer Environment).
SIPO votes YES on this proposal.
This is the most advanced stewardship-distribution example in this round, extending SIPO’s node-diversity doctrine from consensus-layer alt-clients into the smart-contract language and formal-verification layer.
Why SIPO Votes YES
1. Seven-organization collaboration is the most advanced stewardship-distribution model in this round. Each partner contributes a defined component on a single coherent toolchain — not “IO with consultants” but a consortium of Cardano specialist teams sharing maintenance responsibility on shared public infrastructure.
2. Blaster operates at the UPLC level, supporting all Cardano smart-contract languages equally. Aiken, Pebble, Scalus, Futura, and Plinth all compile to UPLC. This extends SIPO’s node-diversity doctrine into the language and verification layers.
3. Production track record: Blaster has already proved correctness properties on Djed and USDCx. This is productization, not speculation.
4. CBDE addresses a measured 60-70% developer-onboarding bottleneck with a documented 60-second target.
Expectations
SIPO’s YES is conditional on:
- Seven-partner milestone transparency
- Common Vulnerability Library external audit firm participation (≥2 firms by Q2 2027)
- DApp Proof Framework Q2 2027 demo with ≥3 TWAG 1 ready-to-audit examples
- Plinth developer adoption baseline disclosure
- Coordination with the Developer Experience Initiative
Closing
This proposal extends SIPO’s node-diversity doctrine into the smart-contract language and formal-verification layer, with seven organizations sharing stewardship. With expectations above treated as binding operational commitments, SIPO DRep votes YES.
References
- Proposal IPFS: https://ipnso-com.ipns.dweb.link/?cid=QmQBhjELHaMKhYZjwuskHS9NRyvUdiGv69aK8C1H787c5A
- Governance Action: https://gov.tools/connected/governance_actions/73e171a4c0730b4b59ecae271ab89f12a9d56360b02920e1f95107dbdc1d6762#5
- Blaster (Lean-Blaster) automated formal verification tool
- Djed stablecoin formal verification
- USDCx wrapped stablecoin formal verification
- Cardano 2030 Strategy: https://product.cardano.intersectmbo.org/vision/strategy-2030/
- 関連 SIPO 投票（本ラウンド）: IO Cardano Upgrades / Leios / Developer Experience / Maintenance / Enhancing Plutus / L2 Scalability / Blockfrost / Pogun（全て YES）
- 関連 SIPO 過去投票: Amaru（YES）/ Dingo（YES）/ HLabs Pebble + Gerolamo（YES）
