TL;DR：Cardanoの創設者であるCharles Hoskinsonは、トランザクションインテント、証明付きデータ、Groth16証明を組み合わせたプログラミング言語を自ら開発していると述べている。
チャールズ・ホスキンソンがキーボードに戻る。Cardanoの創設者は、Input Output Globalのエンジニアであるルーカス・ローザと直接協力して新しいプログラミング言語に取り組んでいると述べており、これは複雑なブロックチェーン操作をより簡単に表現し検証できるようにすることを目的としている。
彼の説明は3つのアイデアを組み合わせたものだ。トランザクションインテントは、ユーザーがすべての実行ステップを指定することを強いることなく、何を達成したいのかを記述する。証明付きデータは、計算やアクションが特定のルールを満たしているという証拠を付加する。Groth16証明は、効率的に検証できるコンパクトな暗号学的証明である。
原則として、これらの要素は、すべての基礎計算をオンチェーンに置くことなく、アクションを調整し結果を検証するアプリケーションを構築する別の方法をCardano開発者に提供する可能性がある。
ただし、重大な注意点がある。ホスキンソンは完成した仕様書、言語名、一般開発者が利用可能になる時期のスケジュールを公表していない。開発中の作業に関するソーシャルメディアでの発表は、新たな本番用プログラミング環境ではない。
CardanoはすでにPlutusやAikenといったツールをサポートしており、別個のプライバシーネットワークであるMidnightは独自の開発者ツールを使用している。新しい言語は、実用的な利点、実現可能なセキュリティ、そして採用を促すのに十分な開発者体験を示す必要があるだろう。
そのアイデアは野心的だ。未解決の問いは、それがホスキンソンの説明から、ビルダーが実際に利用できる公開レビュー可能なコードへと、どのように移行するのかという点である。
ニュースデスクが執筆し、サミュエル・レイが編集しました。
