Kadena（カデナ）

Kadena は、Chainweb と呼ばれる並列 PoW アーキテクチャによってスケーラビリティ問題を解決しようとする L1 ブロックチェーン。スマートコントラクト言語 Pact は Formal Verification（形式検証）に対応し、セキュリティを重視した設計が特徴。創業者 Stuart Popejoy と Will Martino は JPMorgan のブロックチェーン研究室および SEC 出身で、エンタープライズと DeFi の両方を視野に入れる。ネイティブトークンは KDA。情報カットオフ ~2025-08、confidence: medium 固定（2026-06 時点での外部再検証は未実施）。

Chainweb — 並列 PoW

Bitcoin の PoW が 1 チェーンのスループットに縛られる問題に対し、Kadena は Chainweb で複数の PoW チェーンを並列稼働させる設計を採る。各チェーンはそれぞれ独立して PoW ブロックを生成しながら、隣接するチェーンとクロスリンク（ペトリネット的な有向グラフ）によって接続され、セキュリティとファイナリティを共有する。

チェーン数の推移（情報カットオフ ~2025-08 時点）:

チェーン数はネットワーク負荷に応じて増加可能とされるが、実際の稼働チェーン数と達成 TPS は理論値と乖離する可能性がある点に注意。

Chainweb の重要な特性は PoW を維持したままスケールする点で、PoS への移行を必要としない（Bitcoin と同様に PoW の安全保証を保つ思想）。

Pact — スマートコントラクト言語

Pact は Kadena 専用のスマートコントラクト言語で、安全性を最優先に設計されている。

主要設計思想:

• Formal Verification 対応：プロパティ検証ツールを内蔵し、コントラクトのセキュリティ条件をコード上で宣言・検証できる。Solidity のような静的解析では難しい保証を提供する。
• Turing 不完全：意図的に再帰や無限ループを禁止。これにより Gas 上限問題や再入攻撃（Reentrancy Attack）が構造的に発生しにくい。
• Human-readable：JSON に近いリスプ系の文法で、コントラクトをオンチェーンに可読形式で保存。監査のしやすさを重視する。
• Gas Station：ユーザーが KDA を保有しなくても取引手数料を dApp 側が代払いできる仕組み。オンボーディング摩擦を低減する。

Pact の学習コストは Solidity と比較して高く、開発者エコシステムは EVM 系と比べて小さいという課題がある。

Kuro — プライベート L2

Kuro（旧称 ScalableBFT）は Kadena のプライベート / エンタープライズ向けチェーンで、PBFT（Practical Byzantine Fault Tolerance）ベースの許可型ブロックチェーン。JPMorgan 内部で開発されていた Juno プロジェクトが前身とされる。

パブリックの Chainweb と Kuro を組み合わせることで、企業が内部取引をプライベートチェーンで処理しつつ最終的な決済をパブリックチェーンに記録するハイブリッドモデルを提供する。

創業者と顧問

Stuart Haber はブロックチェーンの概念的先駆者であり、その名が Bitcoin 白書に引用されている点は Kadena の技術的信頼性を示す材料としてよく言及される。

課題と現状

Kadena は技術的には革新的な設計を持つが、採用面での課題が続いている。

情報カットオフ ~2025-08 のため、以下は 2026-06 時点で要確認: KDA の時価総額・取引所上場状況、実稼働チェーン数・実測 TPS、主要 DeFi エコシステムの規模、Chainweb の実際のスケーリング実績。