Cardano創設者ホスキンソン氏が自ら新プログラミング言語を開発：「取引の意図」と暗号証明を結合、名称・公開時期は未公表

何が起きたのか

CoinDeskによると、ブロックチェーンCardanoの創設者チャールズ・ホスキンソン氏は、Input Output Globalのエンジニア、ルーカス・ロサ氏とともに、自ら新しいプログラミング言語を開発していると述べた。

CoinDeskの引用では、ホスキンソン氏は日曜日にXで「I’m actually personally developing a programming language for Cardano」（実は自分でCardano向けのプログラミング言語を開発している）と投稿した。CoinDeskによれば、ロサ氏はInput Output Globalのソフトウェアエンジニアで、Aikenの共同作者でもある。AikenはCardanoの主要なスマートコントラクト言語の一つで、スマートコントラクトとはブロックチェーン上で、あらかじめ書かれたルールに従って自動実行されるプログラムのことだ。

CoinDeskはさらに、ホスキンソン氏がこれを「ユーザーが取引で達成したいこと」と「ルールが守られたことの暗号証明」を結び付ける最初の言語になると述べたと報じた。暗号証明とは、数学的な方法で作られ、ある事柄が真実であることを他者が確認できる証拠である。「最初」というのはホスキンソン氏本人の発言で、CoinDeskが伝えたものだ。

3つの中核技術とは

CoinDeskによると、この言語は取引の意図（intents）、証明運搬データ（proof-carrying data）、Groth16証明という3つのツールをサポートする。

• 取引の意図：CoinDeskの説明では、ユーザーは達成したいことを示すだけでよく、手順はアプリが処理する。たとえばトレーダーは、最終価格が設定条件を満たす場合にのみあるトークンを別のトークンに交換するよう求めることができ、その実現過程を書く必要がない。
• 証明運搬データ：CoinDeskの説明では、情報に暗号的な証拠を添えて、その情報が一定のルールに従っていることを示す仕組みである。他のアプリはその証拠を確認でき、背後の計算をすべてやり直す必要がない。
• Groth16：CoinDeskは、広く使われている証明システムで、生成される証明が小さく、コンピューターが素早く検査でき、非公開データを明かさずに条件の達成を証明できると形容している。

CoinDeskによれば、この3つを組み合わせることで、開発者は取引の調整、複雑な条件の検査、サービス間での検証済み情報の受け渡しを行うアプリを作れる見込みで、Cardanoは最終的に小さな証明を1つ検査するだけで済む。

既存の言語との比較

一般の読者にとっての実際的な意味

現時点では、これは創設者の公の発言にすぎず、すぐ使える製品ではない。CoinDeskによると、ホスキンソン氏は言語の名称も公開コードも明らかにしておらず、開発者がいつ使い始められるかも発表していない。

構想が最終的に実現すれば、CoinDeskの説明では、ユーザーの操作は「望む結果を伝える」ことに近づき、検証は小さな証明で行われる可能性がある。ただしこれらは報道で述べられた可能性にとどまり、実際の効果はまだ見極める必要がある。

このトピックの最新ニュースを見る

• 暗号資産・ブロックチェーン