Charles Hoskinson氏、新しいCardano(ADA)向け言語はインテントとGroth16証明を初めて組み合わせると表明

インテントとGroth16証明を一つの言語で

Cardano (ADA)の開発者は、創設者の構想が実現すれば、取引が何を意図するのかを宣言し、その暗号学的証明を同じ箇所に添えられるようになる。Charles Hoskinson氏は10月18日、Cardano向けの新しいプログラミング言語を開発中であると明らかにした。設計の核は、インテント構造と証明持ちデータ(proof carrying data)を一緒に処理し、検証はGroth16証明で行うというものだ。インテント構造とは、取引の低レベルな実装手順ではなく、意図した結果そのものを取引が宣言できる仕組みを指す。証明持ちデータは、データに検証可能な証拠が付属した状態で届くフォーマットであり、Groth16はゼロ知識証明分野で最も広く使われる証明システムの一つだ。Hoskinson氏は、この三者を組み合わせた構造は世界で初めてであり、Cardanoエコシステム全体に複数の新たな用途を開く可能性があると主張する。実務的に見れば、こうして書かれた契約は、メインネット上に展開されたアプリケーションが、送金や計算が作者の宣言したルールに従ったことを検証者全員に示せることを意味する。氏は高度な暗号技術を言語の目玉機能として掲げたが、スタックのどの部分に適用されるかについては言及していない。この発言は、高度に分散化された基盤レイヤーとしてCardanoにどんな固有の強みがあるのかというコミュニティメンバーの質問への返答という形で出てきた。Hoskinson氏は、進行中のこの取り組みがネットワークの技術的主張を強めると答え、この水準の分散化を備えて設計されたプルーフ・オブ・ステーク型チェーンには他の設計では再現できない利点があるという論法に重みを加えた。言語の名称も技術仕様も提供時期も示されていない。答えが意味を持つのは、問い自体が競合する基盤レイヤーとCardanoを分かつ核心に触れていたからだ。なお、週間で11%下落した後もCardano(ADA)の価格は0.22ドル付近にとどまっており、コードを伴わない発表がこの構図を単独で変える可能性は低い。

Haskellへの疑問とMidnight構想

今回の表明は、Cardano (ADA)を実際にはどの言語で構築すべきかという、Hoskinson氏が繰り返し向き合ってきた問いを改めて浮上させた。ネットワークの開発基盤は初期段階から主にHaskellの上に立ち、氏自身も長年にわたりその選択を公の場で擁護してきた。Haskellは強力な静的型付けで知られる関数型プログラミング言語であり、正しさが利便性より重要な金融契約に適合すると氏は主張し続けた。2022年6月にはElon MuskとJack Dorseyの間で交わされたプログラミング言語をめぐる議論に加わり、MuskがCへの関心を語ったのを受けて、Haskellも試されるに値するとの見解を示した。だが氏はその後、CardanoをHaskellで構築するという決定に完全な確信を持っていたことはなかったと認めている。2024年5月にはClojureを代替候補として真剣に検討したことを明かし、最終的に決め手となったのはCloud Haskellの利用可能性と、Liquid HaskellやAgdaといったツール群に接続できる点だった。この経緯は、Haskellへの固執が条件付きだったことを示す最も明確な先例だ。さらに2025年4月のインタビューでは一歩踏み込み、Cardanoをゼロから書き直せるとすれば別の言語を選ぶ可能性が高いと語った。この実績に照らせば、Hoskinson氏自ら開発している言語は、熟議から具体的手順への最初の一歩と読める。意図した結果を言語レベルで直接扱えるなら、今日では複数層のツール群を必要とする工程が単一の開発経路に圧縮され得るからだ。別の話題として氏は、暗号資産分野の問題の大半を解決できると自ら考える構想に取り組んでおり、それをMidnight Networkだけがもたらせるもので、自身のキャリアで最も重要な仕事になり得ると述べている。MidnightはCardanoエコシステム内のプライバシー特化型プロジェクトだ。この構想と新しいプログラミング言語が関連するのかは、発言の中で示されないまま残された。どちらが使える形で登場するのかの時期についても、示唆はなかった。

名称も時期も未定

当編集部の読みでは、これは方向性の宣言であって出荷の発表ではない。Hoskinson氏はネットワークの技術的完成をLeiosロードマップに結び付けており、テストネットは26.8 txkB/sで稼働している。新言語はその作業の傍らに位置付けられるもので、置き換えるものではない。発表の中身は現時点で何も検証できない。名称なし、仕様なし、コードなし、Midnight構想との関係も示されていない。資産をめぐる憶測は別の場所で続いており、Cardanoのテクニカル分析の観点から、Bodega Marketが100万ドルの目標に賭けたステーブルコインの賭けに至るまで論調は分かれる。何かが実際に出荷されるまで、開発者は依然としてHaskellツールチェーンの上で構築を続けることになり、それが残された制約だ。