カルダノの創設者が新しいプログラミング言語を開発中で、取引の意図とGroth16証明を融合させています。

CoinDesk の報道によると、Cardano の創設者 Charles Hoskinson は、Cardano ネットワークのために新しいプログラミング言語を自ら開発しており、Input Output Global のエンジニア Lucas Rosa と協力していると述べています。Lucas Rosa は Cardano の主要なスマートコントラクト言語の一つである Aiken の共同創設者です。Hoskinson は X プラットフォームで、この言語がユーザーが取引を完了させたい操作と暗号学的証明を組み合わせた初のプログラミング言語になると投稿しました。

この言語は、取引意図、証明を持つデータ、および Groth16 証明の三つのツールをサポートすることが紹介されています。取引意図は、ユーザーが達成したい目標を明示することを可能にし、具体的な手順はアプリに処理させることができます。たとえば、取引者は最終価格が設定した条件を満たすときにのみあるトークンを別のトークンに交換するよう要求でき、具体的な経路を示す必要はありません。

証明を持つデータは、情報に暗号学的証拠を追加し、特定のルールに準拠していることを証明します。他のアプリは再計算することなく検証できます。Groth16 は広く使用されている証明システムで、小さなサイズで高速に検証できる証明を生成し、プライバシーデータを公開することなく条件が満たされていることを証明します。

三者が組み合わさることで、開発者は取引を調整し、複雑な条件をチェックし、サービス間で検証済みの情報を伝達するアプリを構築でき、最終的に Cardano が小型の証明を検証します。現在、Cardano の開発者は主に Haskell ベースの Plutus および Aiken を使用してスマートコントラクトを作成しており、Hoskinson の Input Output Global が構築したプライバシーブロックチェーン Midnight には独自の言語 Compact があります。この新しい言語の名称、公開コード、およびリリース日は現在のところ発表されていません。