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氏は、新言語の名称、コードの公開時期、開発者が利用開始できる日時については現時点で公開していない。