Cardano創設者チャールズ・ホスキンソン氏は、取引インテントと暗号学的証明を結び付ける新しいプログラミング言語を開発中だと明らかにしました。共同開発者はAikenの共同制作者でもあるInput Output Global（IOG）のルーカス・ローザ氏です。
ただし、言語名、技術仕様、公開コード、提供時期はいずれも未公表です。現段階ではCardanoの新しい標準言語が完成したのではなく、構想が本人の投稿によって初めて示された段階と捉えるべきです。
Cardano向け新言語の発表内容
CoinDeskが2026年10月19日に報じたところによると、ホスキンソン氏はXで、Cardano向けのプログラミング言語を自ら開発していると説明しました。投稿には、インテント、PCD（Proof-Carrying Data、証明付きデータ）、Groth16証明を組み合わせる「初の種類」の言語を目指すとの趣旨が記されています。ローザ氏が共同で開発していることも明示されました。
一方、投稿は短く、コンパイラの設計、実行環境、Cardano台帳との接続方法、監査体制などには触れていません。CoinDeskも、名称、公開コード、開発者が利用できる時期は明らかになっていないと伝えています。したがって、Cardano上のDAppがすでにこの言語へ移行できる、あるいは既存のPlutusやAikenが置き換わる、と解釈するのは早計です。
今回のニュースで確定している中心的な事実は、ホスキンソン氏とローザ氏が開発に取り組み、インテント、PCD、Groth16を設計要素として掲げていることです。それ以外は今後の仕様公開を待つ必要があります。
インテントがDEX取引をどう変え得るか
インテントとは、利用者が取引手順を細かく指定するのではなく、達成したい結果や守るべき条件を表す考え方です。たとえばCardano上のDEX利用者が、特定の交換経路を自分で組み立てる代わりに、「受取条件を満たす場合だけ資産Aを資産Bへ交換する」という希望を提示し、アプリケーション側が実行方法を探索する場面が考えられます。これはCoinDeskが説明に用いた交換事例を、実務の流れに置き換えたものです。
ただし、インテントを表現できることと、安全に執行できることは別問題です。DEXでは、提示価格の変化、流動性不足、UTXOの競合、経路探索を担う主体の権限、署名対象の分かりやすさを確認しなければなりません。Cardano公式文書によると、同ネットワークはEUTXOモデルを採用し、取引の妥当性は取引自身と入力に基づいて事前確認できますが、想定した入力が別取引に先に消費されれば失敗し得ます。新言語がこの競合をどのように扱うかは未公表です。
そのため、DEX運営者にとっての注目点は「自然な希望を書けるか」だけではありません。条件を誰が解釈するのか、複数の解決候補から誰が選ぶのか、失敗時に資産や手数料がどう扱われるのかまで仕様化されて初めて、実用性を評価できます。
PCDとGroth16が担うとされる役割
PCDは、データや計算結果に、その正しさを検証するための証明を付けて受け渡す考え方です。受け取る側は、元の計算を最初からすべてやり直す代わりに、添付された証明を検証する設計を採れます。Groth16は、その証明を構成する方式として今回の投稿で名指しされました。
CoinDeskは、新言語が利用者の要求と暗号学的な証拠をまとめ、複雑な条件の確認やサービス間での検証済み情報の受け渡しに使われる可能性を説明しています。たとえば、Cardano上の貸借アプリとDEXが連携する仮想例では、ある条件が満たされたことを証明として渡し、別のアプリが検証する構成が検討対象になり得ます。これは具体的な実装発表ではなく、PCDの利用場面を理解するための例です。
重要なのは、Groth16を採用するという一言だけでは、プライバシー、安全性、処理コストが自動的に決まらない点です。証明を作る回路、公開情報と秘匿情報の区分、信頼設定、検証鍵の管理、Cardano側での検証方法が必要です。これらは現在公開されていないため、「取引内容がすべて非公開になる」「検証が必ず安価になる」と断定することはできません。
PlutusとAikenとの違いはまだ確定していない
Cardanoの公式ドキュメントでは、PlutusはCardanoのネイティブなスマートコントラクト言語として説明されています。オンチェーン部分はPlutus Coreへコンパイルされ、ノードが取引検証時にスクリプトを実行します。CardanoのEUTXOやネイティブトークンのポリシーと結び付く、既存の基盤です。
Aikenは、Cardano向けスマートコントラクトを開発するための言語とツールチェーンです。公式文書によれば、純粋関数型、静的型付け、型推論を備え、オンチェーンのバリデータースクリプト作成に焦点を当てています。Aikenのスクリプトも最終的にはUntyped Plutus Coreへコンパイルされ、オフチェーンの取引生成コードは別言語で書く設計です。
新言語が同じくPlutus Coreを出力する高水準言語なのか、インテントを扱うオフチェーン層まで含むのか、あるいは証明生成と検証のための別の実行基盤を導入するのかは分かっていません。ローザ氏がAiken共同制作者であることは事実ですが、それだけでAikenの後継版と位置付けることもできません。既存プロジェクトは、移行計画を立てる前に、コンパイル先、互換性、監査方法、ライセンス、ツールチェーンの公開を待つべきです。
Cardano DeFi開発者が確認すべき実務項目
Cardano上でDEX、レンディング、ステーブルコイン関連アプリを開発するチームは、発表の新規性と本番導入の可否を分けて見る必要があります。まず確認したいのは、正式なリポジトリと仕様書の公開です。短いX投稿だけでは、型システム、エラー処理、証明回路、ネットワーク負荷、脅威モデルをレビューできません。
次に、PlutusおよびAikenとの相互運用性です。Aikenはオンチェーンバリデーターに特化し、オフチェーン処理をRust、Haskell、JavaScript、Pythonなどへ委ねます。新言語がインテントの記述から証明生成までを一体化するなら、ウォレットが何を表示し、利用者が何へ署名し、どの部分を第三者のソルバーやリレイヤーへ委ねるのかが重要になります。
さらに、監査可能性も欠かせません。証明が正しくても、証明対象の条件自体が利用者の期待と違っていれば、望まない取引が成立する恐れがあります。DEXでは最低受取額、期限、利用可能な流動性源、手数料、失敗条件を人間が確認できる形で示す必要があります。新言語の評価では、暗号技術の高度さだけでなく、署名前の説明可能性と障害時の復旧手順を見るべきです。
MidnightのCompactとの関係にも注意
CoinDeskは比較対象として、IOGが開発に関わるプライバシー重視のブロックチェーンMidnightと、そのスマートコントラクト言語Compactにも触れています。ただし、今回のCardano向け新言語がCompactを流用する、互換性を持つ、またはMidnightとのブリッジを前提にするとの発表はありません。
同じIOG周辺の技術であっても、CardanoのEUTXO上で動くPlutus／Aikenと、Midnight向けのCompactは対象環境が異なります。PCDやゼロ知識証明に関する言葉が共通して見えても、実装や信頼前提まで同じとは限りません。開発者はプロジェクト名の近さではなく、公開された仕様、コンパイル先、検証者、鍵管理を個別に確認する必要があります。
まとめ
Cardano向け新言語の構想は、利用者が望む結果を表すインテントと、条件を満たしたことを示すPCD／Groth16証明を一つの開発体験へまとめようとする点で注目されます。共同開発者にAiken共同制作者のローザ氏が加わっていることも、Cardano開発者には重要な情報です。
しかし、現時点で公開されているのはホスキンソン氏の短い投稿と、その内容を整理した報道です。名称、コード、仕様、監査、リリース時期は未公表であり、PlutusやAikenの代替、Cardano DeFiへの即時導入、プライバシー性能の向上を確定事項として扱うべきではありません。DEX利用者と開発者は、正式な設計文書と実装が公開された後に、署名内容、実行主体、証明の信頼前提、EUTXO競合への対応を検証することが重要です。
