Input | Output Engineering Roundup - Infinia Stake Pool BLOG

2026年1月の「Input | Output Engineering Roundup」では、Cardanoのトレジャリー（財源）で進む取り組みについて、Input Output（IOG）のエンジニアリングチームが“いま何を作っているか”を短く・具体的に共有しました。

この記事でわかること

スケーリング（高速化）計画「Leios」がどこまで進んだか
Cardanoノードを“モジュール化／OS化”する「Acropolis」とは何か
ノードのメモリ要件を下げる「UTxO-HD（LSM）」の狙い
SPO（ステークプール運営）の“経済設計”で議論される論点
スマートコントラクトを安全に作るための新ツール（Blaster / Static Analyzer）

YouTubeで動画を見る

まず押さえたい：Cardanoの「ノード」と「SPO」

ノード＝ネットワークを動かす“基盤ソフト”

Cardanoのノードは、ブロック生成・ネットワーク通信・台帳（Ledger）の更新などを担う、いわばブロックチェーンの“基盤アプリ”です。ノードが軽く・速く・拡張しやすくなるほど、ネットワーク全体の参加ハードルが下がり、分散性にも効いてきます。

SPO＝ステークプールオペレーター（運営者）

Cardanoでは、ステークプール運営者（SPO）がノードを運用し、ブロック生成に関わります。SPOが継続して運営できる「報酬設計・コスト設計」も、技術と同じくらい重要なテーマです。

ハイライト1：Leios — “1,000 TPS”を狙う次のL1スケーリング

進捗：設計完了 → プロトタイピングへ

今回のアップデートでは、Leiosは「設計が完了し、実装プロトタイプ段階へ移った」こと、そして“制御テストで1,000 TPS”を目標にしていることが共有されました。

初心者向けに言うと：混雑する1本道を“並列レーン”に増やす発想

Leiosは、トランザクション処理を並列化しやすい形にして、スループット（処理量）を上げることを狙う取り組みです。TPSの話題は派手ですが、ポイントは「分散性・安全性を崩さずに、現実的に伸ばす」ための設計・検証が進んでいることです。

※数値（TPS）は検証条件で変わります。ここでは“目標として掲げられている値”として受け取るのが安全です。

ハイライト2：Acropolis — ノードを“OS化”して開発体験を改善

狙い：ノードをモジュール化して「作り足しやすい基盤」に

Project Acropolisは、Cardanoノードを「モジュール化された拡張可能な仕組み」として再設計し、開発者がより扱いやすい形にする構想です。今回の要点としては、ノードを“モジュラーなOS”のようにしていく流れが強調されていました。

今回の共有ポイント：基礎的な検証マイルストーンの達成

ブロックヘッダーや台帳状態といった“要となる部分”の検証マイルストーンを積み上げ、将来的なAI支援的なインタラクションも見据えたモジュール化を進めている、というニュアンスで紹介されています。

ハイライト3：ノード効率化 — UTxO-HD（LSM）とメモリ要件の引き下げ

狙い：ノード運用のハードルを下げる（メモリ約6GBを目標）

今回のアップデートでは、Node 10.7に向けてLSM（UTxO-HD）の最終調整を進め、メモリ要件を“約6GB”まで下げる方針が示されています。

UTxO-HDって何？（超ざっくり）

UTxO（未使用のトランザクション出力）の集合は、ノードが台帳を検証するうえで重要なデータです。UTxO-HDは、その保持方法を見直し「メモリに全部載せる」だけでなく「ディスクも活用する」方向に寄せることで、ノード運用に必要なメモリを下げやすくする考え方です。

ハイライト4：セキュリティ — KES Agentで“前方秘匿性”を強化

KES Agent：鍵管理をより安全に

ブロック生成に関わる鍵（KES鍵）の扱いは、ノード運用のセキュリティに直結します。今回のアップデートでは、KES Agent v1.0がタグ付けされ“前方秘匿性（forward security）”に向けた準備が進んでいると紹介されています。

ハイライト5：Ledger最適化 — 「Instant Stake」をディスクへ

狙い：メモリ使用量をさらに下げる

UTxO-HDだけで終わらず、追加で「Instant Stake」をディスクに移すことで、メモリ使用量をさらに下げる方向性も触れられています。

※ここは動画内で背景説明がある可能性が高いので、視聴後に「Instant Stakeとは何を指すのか」をあなたの言葉で1〜2行補足すると、初心者により親切になります。

ハイライト6：SPOの経済設計 — 「Pledgeのパラドックス」への取り組み

論点：運営が続く報酬設計になっているか？

SPO（ステークプール運営者）が継続できる経済設計は、ネットワークの分散性そのものに影響します。今回のアップデートでは「paradox of pledge（プレッジのパラドックス）」という論点に取り組み、CIP-23 / CIP-82に関連するデータを深掘りしていることが示されています。

初心者向けの読み替え

難しい言葉に聞こえますが、要するに「運営者にとって、がんばって運営するほど報われる／小規模でも生き残れる設計になっているか？」という話です。

開発者向け：High Assurance — バグを“作る前に潰す”ツール

Blaster v101：形式手法（formal methods）をより扱いやすく

High Assuranceチームからは、Blaster v101（重要修正を含む）について触れられています。形式検証は強力ですが難解になりがちなので、ツールの整備は「安全な開発の普及」に直結します。

Plutus Static Analyzer（PoC）：早期にバグ・危険パターンを検出

スマートコントラクト向けに、静的解析（コードを実行せずに危険パターンを検出する）PoCが進んでいる点も注目です。初心者がやりがちなミスを“早い段階で”検知できると、学習コストと事故コストの両方が下がります。

初心者が今日からできるアクション

まず動画を見る：この手のアップデートは“言葉の定義”が大事。気になる用語が出たらメモして調べるのがおすすめ。
自分の立場で読み替える：投資目線ではなく、「開発」「運用」「安全性」がどう良くなるかに注目すると理解が速いです。
関連リンクをブックマーク：Leios / Acropolis / 開発者向けツールは追うほど理解が積み上がります。

もう一度、動画を確認する

Leiosの公式情報を見る

AcropolisのGitHubを見る

まとめ

今回のEngineering Roundupは、派手な価格や噂よりも、「スケール」「運用負荷」「安全性」「SPOの持続性」といった“基礎体力を上げる話”が中心でした。Leiosのプロトタイプ進行、ノードのモジュール化（Acropolis）、UTxO-HD（LSM）での軽量化、そして形式検証・静的解析ツールの整備が並行して動いている——この全体像がつかめれば、Cardanoの開発ニュースが一気に読みやすくなります。

※本記事は技術アップデートの要約であり、投資助言ではありません。最終判断は必ず一次情報（動画・公式ドキュメント）をご確認ください。