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氏は新言語の名称、仕様、公開時期についてはまだ発表していない。