Cardano創設者のCharles Hoskinson、ネットワーク向けの新たなプログラミング言語を構築中

Cardanoの創設者であるCharles Hoskinsonは、自身のブロックチェーン向けに新しいプログラミング言語を執筆しています。彼は、ユーザーがトランザクションに何をさせたいかという要望と、ルールが遵守されたという暗号学的証明を組み合わせる最初の言語になると述べています。

「私は実際に個人的にCardano向けのプログラミング言語を開発しています」とHoskinsonは日曜日にXに投稿し、Cardanoの主要なスマートコントラクト言語の1つであるAikenを共同制作したInput Output Globalのソフトウェアエンジニア、Lucas Rosaと共に取り組んでいると付け加えました。

ネットワークがこれほど大きくなった後、ほとんどの創設者が行うことではありません。Hoskinsonは多くのエンジニアを抱える会社を経営していますが、将来のCardanoアプリが構築される可能性のあるツールを、今も自ら執筆することを選択しています。

この言語は、transaction intents、proof-carrying data、およびGroth16 proofsの3つのツールをサポートします。

intentを使用すると、ユーザーは何をしたいかを伝え、その手順をアプリに任せることができます。トレーダーは、最終価格が設定された条件を満たす場合にのみ、あるトークンを別のトークンと交換するよう依頼でき、そこに至るまでの方法を詳しく説明する必要はありません。

Proof-carrying dataは、情報の断片に暗号学的証拠を付与し、それが特定のルールに従っていることを示します。別のアプリは、その背後にあるすべての計算をやり直すことなく、その証拠をチェックできます。