SIPO DRep：『Dingo: a Production-Grade Block Producer in Go by Blink Labs』提案をどう考えるか― SIPO DRepの分析と「Yes」評価、スタンス

Governance Action ID: gov_action17dfgtkeufcy945e3ssanqpmn09ft3gezhvepvvg7msmlmaz260dqqjtsmpe

Dingo: a Production-Grade Block Producer in Go by Blink Labs

◆ 提案概要

・提案者：Blink Labs（Chris Gianelloni率いる小規模エンジニアリング企業） ・タイプ：Treasury Withdrawal ・金額：6,900,000 ADA（$2,070,000 USD / $0.30基準） ・期間：12ヶ月 ・提出：Epoch 617（2026年3月7日） ・期限：Epoch 624（2026年4月10日）

Go言語のCardanoノード「Dingo」を、12ヶ月でメインネットブロック生成可能な状態まで完成させるための資金申請です。Blink Labsは2021年からCardano上で開発を続けており、gOuroboros、Plutigo、Adder、nviewなど複数のGoベースのインフラツールを公開しています。過去のProject Catalyst（Fund 9、Fund 11）での助成実績がありますが、$2M級の大規模資金申請は今回が初めてです。

ファンドはSundaeSwap開発のSmart Contractでエスクロー管理され、独立Oversight Board（Pi Lanningham / SundaeSwap、Santiago Carmuega / TxPipe、Lucas Rosa / Aiken・Midnight）が監督します。

◆ 予算内訳とロードマップ

【予算】
・エンジニアリング（Go開発者4名 x 12ヶ月）：$1,000,000（FTE単価$250,000。市場水準）
・運用（インフラエンジニア、COO、マーケティング）：$250,000
・セキュリティ監査（Trail of Bits / NCC Group級）：$500,000
・ホスティング・CI/CD：$50,000 ・コンティンジェンシー（約15%）：$270,000
・合計：$2,070,000

他のトレジャリー資金ノード実装が$0.50/ADAで価格設定した中、Blink Labsは$0.30/ADAで誠実に価格設定。同水準なら4,140,000 ADAに相当します。

【ロードマップ】
・Q2 2026：テストネットブロック生成。Ouroboros Praos完成（エポック遷移、スロットリーダー選出、チェーン選択）。Hard Fork Combinator。Genesisブートストラップ。CIP-0164 Linear Leiosプロトタイプ（IO Engineeringと共同）。コンフォーマンステスト拡張
・Q3 2026：運用強化（プロファイリング、メモリリーク検出、ホットパス最適化）。ストレージスケーラビリティ（メインネット規模~100M UTxO、~500GB）。長期安定性テスト（数週間の連続運用）。Haskellノードとの並列クロス検証。セキュリティ監査開始
・Q4 2026：Dijkstraハードフォーク対応。Plutus V4（Plutigo更新）。Leiosコンセンサス統合。残りのNode-to-Clientミニプロトコル完成 ・Q1 2027：監査完了・全所見対応。メインネットブロック生成Ready。Mithril統合。エコシステム統合（鍵管理、db-sync互換、API対応）。運用ドキュメント整備

◆ 現在の開発状況

Dingoはまだメインネットでブロック生成はできませんが、以下の実質的な進捗があります。

・1,290以上の非依存PRをマージ（過去12ヶ月）。直近四半期は593件と加速中
・314/314のAmaruコンフォーマンステストに合格（ouroboros-mockハーネス使用）
・Plutus V1/V2/V3の100%準拠（Plutigoエンジン）
・VRF/KES暗号プリミティブ、ChainSync、メモリプール管理、ガバナンストランザクション対応
・P2Pネットワーキング
・複数ストレージバックエンド（Badger/ブロック用、SQLite/メタデータ用、インメモリ/テスト用）
・ジェネシスから全エラ（Byron〜Conway）のシンクに対応
・2-3名のエンジニアで月約36 PR/人のベロシティ（約236行/PRの小規模PR方針）
・全コードApache 2.0ライセンス

◆ 分析：ノード多様性の重要性 — Ethereumの教訓

ノード多様性がなぜブロックチェーンインフラに不可欠かを示す、直近の実証事例があります。

【2026年3月 Ethereum Fusaka/Prysm障害（最新事例）】 Fusakaアップグレード直後、Prysm v7.0.0のバグによりバリデータ参加率が25%低下しました。ネットワーク全体の同期率が75%、投票率が74.7%まで落ち、ファイナリティ喪失まで残り9%という危険水域に達しました。Prysm利用バリデータは推定382 ETH（100万ドル超）の損失を被りましたが、Lighthouse等の他クライアントが稼働を維持したためネットワーク全体の崩壊は回避されました。

【2025年9月 Rethバグ】 実行クライアントRethのバグでノードが特定ブロックで停止。しかしRethのシェアは5.4%だったためネットワークへの影響はゼロでした。

【Ethereumの多クライアント閾値】 ・66%以上のシェアを持つクライアントにバグがあると、誤ったチェーンがファイナライズされ大量のスラッシングが発生 ・33%以上のシェアを持つクライアントにバグがあると、ネットワーク全体のファイナリティが停止 ・目標：いかなるクライアントも33%を超えない

【Cardanoの現状】 Cardanoはブロック生成において事実上Haskell単一実装です。これは公認のリスクであり、Amaru（Rust）とDingo（Go）はこのリスクへの戦略的対応です。Haskell + Rust + Go の3実装体制は、Ethereumの成功モデル（Geth + Prysm + Lighthouse + Teku等）に倣うものです。

◆ 分析：Amaruとの比較と相互補完

SIPOは2026年3月にAmaru Treasury Withdrawal 2026にもYESを投じています。両提案は競合ではなく相互補完の関係にあります。

【比較】
・Amaru（Rust）：PRAGMA（IOGベテランのMatthias Benkort、Arnaud Bailly、Pi Lanningham含む大規模チーム）、10,142,000 ADA申請、メモリ安全性・高パフォーマンス重視、設計成熟度が強み
・Dingo（Go）：Blink Labs（小規模・独立チーム）、6,900,000 ADA申請（約32%低額）、並行処理・開発者アクセシビリティ重視、Leios並行実装が独自の強み

【Go言語の業界ポジション】
GoはTIOBE指数7位、500万人以上のアクティブ開発者を持つブロックチェーンノードの業界標準言語です。
・Geth（Ethereum）
・btcd（Bitcoin）
・CometBFT（50以上のCosmosチェーン）
・AvalancheGo（Avalanche）
・Algorand ・Filecoin

Go Cardanoノードは斬新なアイデアではなく、むしろ業界的には遅れていたと言えます。Google、Cloudflare、Dockerのエンジニアがこのコードを読み、監査し、貢献できるようになります。

◆ 分析：Leios並行実装の戦略的価値

CIP-0164 Linear Leiosは、Cardanoの次世代コンセンサスプロトコルであり、30-50倍のスループット向上を目指しています。2ブロック型アーキテクチャ（Endorser Blocks + Ranking Blocks）とソーティションベースの投票・証明書メカニズムを採用します。

Dingoの提案で特に注目すべきは、IO Engineeringと直接連携してLeiosプロトタイプをGoで並行実装する点です。

・2つの異なる言語（HaskellとGo）での実装は、仕様の曖昧さを早期発見する効果がある ・Goの並行処理モデル（goroutine + channel）はLeiosのパイプライン並行処理に適している ・仕様検証としてのセカンド実装は、Cardano全体のプロトコル品質を高める ・これはDingo固有の価値であり、Amaruとの差別化ポイントの一つ

◆ SIPO DRepの判断理由

SIPOは以下の理由で本提案に賛成（YES）を投じました。

1. ノード多様性の論理的整合性 SIPOはAmaru（Rust）にYESを投じた。ノード多様性を戦略的投資として支持するのであれば、Go実装も論理的に同じ文脈で支持すべきです。
2. Ethereumの教訓が証明する必要性 2026年3月のFusaka/Prysm障害は、マルチクライアントアーキテクチャの重要性を合理的な議論の余地なく証明しました。
3. Go開発者エコシステムへのアクセス 500万人以上のGo開発者にCardanoのノード内部を開放することは、長期的なエコシステム拡大に寄与します。
4. 客観的に検証可能な実績 1,290+ PR、314コンフォーマンステスト合格、Plutus 100%準拠は、約束ではなく検証可能な指標です。
5. コスト効率 6,900,000 ADAはAmaruの10,142,000 ADAより約32%低額。FTE単価$250,000は市場水準です。
6. Leios並行実装の戦略的価値 IO Engineeringとの共同作業によるLeios仕様検証は、Cardano全体の品質向上に貢献します。
7. 適切な規模 Amaruと合わせた総投資額約17M ADAはNCLの5%未満。ノード多様性というCardano最重要の長期的強靭性戦略として適切な配分です。
8. 健全なガバナンス構造 SundaeSwap Smart Contract（監査済み）+ 独立Oversight Board + auto-abstain DRep委任 + SPO委任なし + failsafe sweep。

◆ SIPOが期待する事項

・Q2テストネットブロック生成をハードゲートとして：プロトコル実装からライブコンセンサスへの移行が重要な転換点です。明確で公開されたゲート条件と再現可能な証跡を期待します。Q2でテストネットブロック生成が実証されない場合、後続の支払いは厳格に精査されるべきです。

・チームスケーリングの実行：本提案は4 FTE体制に到達するために3名のGo開発者の採用を必要とします。採用進捗の早期報告を期待します。採用の遅延は全ての下流マイルストーンに直接影響します。

・Amaruとの差別化と共存戦略：SIPOはDingoとAmaru双方を支持しますが、冗長な取り組みを無期限に資金提供すべきではありません。両チームがそれぞれの独自価値を明示し、可能であればインフラを共有すること（コンフォーマンステスト、Leios仕様フィードバック等）を期待します。

・メインネットストレージの検証：Dingoはメインネット規模（約1億UTxO、約500GBチェーン）でのテストが未実施です。Q3ストレージスケーラビリティのマイルストーンは極めて重要です。

・12ヶ月後の持続可能性：Treasury資金終了後の継続的メンテナンスの持続可能性計画を明示することを期待します。Apache 2.0ライセンスはコードの永続性を保証しますが、積極的なメンテナンスにはリソースが必要です。

・セキュリティ監査の透明性：$500,000の監査予算はブロック生成ノードとして適切です。結果の完全公開、責任ある開示タイムライン、メインネット推奨前の全重大・高深刻度問題の是正確認を期待します。

・コンティンジェンシーの規律：15%のコンティンジェンシーはリスクバッファであり、裁量的拡張予算であってはなりません。未使用資金はcontract failsafe sweepによりTreasuryに返納されます。

以上の理由により、SIPO DRepとして本提案に賛成（YES）を投じました。

🔗 参考リンク
・Dingo: https://github.com/blinklabs-io/dingo
・gOuroboros: https://github.com/blinklabs-io/gouroboros
・Plutigo: https://github.com/blinklabs-io/plutigo
・ouroboros-mock: https://github.com/blinklabs-io/ouroboros-mock
・Treasury Proposal Repository: https://github.com/blinklabs-io/treasury-proposal
・SundaeSwap Treasury Contracts: https://github.com/SundaeSwap-finance/treasury-contracts

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

English Version

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

How SIPO Views Dingo: a Production-Grade Block Producer in Go — A DRep Perspective and YES Vote

[Proposal Overview]

Proposer: Blink Labs | Type: Treasury Withdrawal | Amount: 6,900,000 ADA ($2,070,000 at $0.30) | Period: 12 months | Submitted: Epoch 617 | Expires: Epoch 624

Blink Labs requests funding to bring their Go Cardano node “Dingo” to mainnet block production readiness. Budget: Engineering $1M (4 FTE), Operations $250K, Security Audit $500K (Trail of Bits / NCC Group tier), Hosting $50K, Contingency $270K. Funds held in audited SundaeSwap smart contracts with independent oversight board.

[Current Status]

1,290+ non-dependency PRs merged (593 in last quarter, accelerating). 314/314 Amaru conformance tests passing. 100% Plutus V1/V2/V3 compliance. VRF/KES, ChainSync, mempool, governance transactions, P2P networking. Syncs from genesis through all eras (Byron through Conway). Not yet mainnet block-production capable.

[Analysis: Why Node Diversity Matters — Ethereum’s Lessons]

March 2026: Ethereum Fusaka/Prysm bug caused 25% validator participation drop, coming within 9% of finality loss. 382 ETH ($1M+) lost by Prysm validators. Network survived because other clients (Lighthouse, Teku) continued operating. September 2025: Reth bug caused node stalls, but at only 5.4% share, zero network impact. Cardano currently depends on a single Haskell implementation. Haskell + Rust (Amaru) + Go (Dingo) follows Ethereum’s proven multi-client model.

[Analysis: Complementary to Amaru]

SIPO voted YES on Amaru (Rust, 10,142,000 ADA, PRAGMA team) and now on Dingo (Go, 6,900,000 ADA, Blink Labs). These are complementary, not competing. Go is the industry standard for blockchain nodes (Geth, btcd, CometBFT, AvalancheGo, Algorand, Filecoin), opening Cardano to 5M+ developers. Dingo’s unique value includes Leios co-implementation with IO Engineering — parallel implementation in two languages surfaces specification ambiguities faster.

[Why SIPO Votes YES]

1. Consistent with YES on Amaru — same node diversity logic. 2. Ethereum’s Prysm incident proves the case beyond reasonable debate. 3. Go opens Cardano to 5M+ developers. 4. Objectively verified track record (1,290+ PRs, 314 tests, 100% Plutus). 5. Cost efficiency (~32% less than Amaru). 6. Leios co-implementation strategic value. 7. Combined node diversity investment (~17M ADA) is less than 5% of NCL. 8. Sound governance structure.

[Expectations]

• Q2 testnet block production as a hard gate with reproducible evidence
• Early reporting on hiring 3 Go developers to reach 4 FTE capacity
• Differentiation from Amaru with shared infrastructure where possible
• Transparent Q3 mainnet-scale storage testing results
• Post-funding sustainability plan for ongoing maintenance
• Full security audit publication with all critical issues remediated before mainnet recommendation
• Contingency discipline — 15% buffer is risk management, not expansion budget

For these reasons, SIPO DRep votes YES.