Cardano創設者のCharles Hoskinson氏は、自身のブロックチェーンネットワーク向けに新たなプログラミング言語を開発していることを明かした。この言語は、トランザクションの要求意図と暗号学的証明を組み合わせる初の試みとなる見込みだ。
Hoskinson氏は日曜日にXで、「私は実際にCardano向けのプログラミング言語を個人的に開発しています」と投稿し、Input Output Globalのソフトウェアエンジニアであり、Cardanoの主要なスマートコントラクト言語の一つであるAikenの共同開発者Lucas Rosa氏とともに取り組んでいることを明かした。
ネットワークが現在これほど大規模に成長している段階で、こうした言語の創設者自らが開発に携わる例は少ない。Hoskinson氏は多数のエンジニアを擁する企業を率いているが、将来的にCardanoのアプリ基盤となり得るツールの作成に、自ら手を動かす道を選んでいる。
この新言語は、トランザクションの意図（intent）、proof-carrying data、Groth16 proofsの三つの技術をサポートする予定だ。
intentを用いることで、ユーザーは取引で何を実行したいかを示し、手続きの詳細はアプリケーション側に委ねられる。例えばトレーダーは、最終価格が特定条件を満たした場合にのみ、あるトークンを別のトークンと交換するように要求でき、過程の詳細を指定する必要はない。
proof-carrying dataは、情報に暗号学的な証明を付与し、その情報が特定のルールに則っていることを示す仕組みである。これにより別のアプリケーションは、裏で行われた全計算をやり直すことなく、その証明を検証できる。
Groth16は広く用いられる証明システムで、コンパクトかつ迅速に検証可能な証明を生成する。この証明により、条件が満たされたことを示しながらも、個人データを公開せずに済む。
これら三つを組み合わせることで、開発者は取引の調整や複雑な条件の検証、検証済み情報のサービス間共有を柔軟に行えるアプリケーションを構築できる可能性がある。取引の最終検証はCardanoが担う形となる。
現在、Cardanoの開発者はHaskellを基盤としたプログラミング言語Plutusや、Aikenでスマートコントラクトを記述している。またHoskinson氏の率いるInput Output Globalが開発するプライバシー重視のブロックチェーンMidnightには、機密データ用の独自言語Compactが存在する。
なお、新言語の名称や仕様、公開スケジュールについては現時点でHoskinson氏からは発表されていない。