Cardano創設者が新しいプログラミング言語を開発、取引意図とGroth16証明を融合

Cardanoの創設者チャールズ・ホスキンソンは、Input Output Globalのエンジニアであるルーカス・ローザと協力して、Cardanoネットワークのための新しいプログラミング言語を開発しています。この言語は、ユーザーが取引を完了したいという希望を暗号学的証明と組み合わせる初のプログラミング言語となります。新しい言語は、取引意図、証明を持つデータ、そしてGroth16証明の3つのツールをサポートします。取引意図は、ユーザーが達成したい目標を明示することを可能にし、具体的な手順はアプリケーションが処理します。証明を持つデータは、情報に暗号学的証拠を付加し、特定のルールに適合していることを証明します。他のアプリケーションは再計算することなく検証できます。Groth16は、コンパクトで検証速度が速い証明を生成できる広く使用されている証明システムであり、プライバシーデータを露出させません。これら3つが組み合わさることで、開発者は取引を調整し、複雑な条件をチェックし、サービス間で検証済みの情報を伝達するアプリケーションを構築でき、最終的にCardanoが小型の証明を検証します。現在、Cardanoの開発者は主にHaskellベースのPlutusやAikenを使用してスマートコントラクトを作成しており、ホスキンソンが率いるInput Output Globalが構築したプライバシーブロックチェーンMidnightは独自の言語Compactを持っています。この新しい言語の名称、公開コード、リリース日についてはまだ発表されていません。

本コンテンツは、一般的な情報提供のみを目的としたものであり、金融、投資、法律、または税務に関する助言を構成するものではありません。ここに記載されているイベント、報酬、オンラインキャンペーン、またはそれらに関連する情報は、暗号資産の購入、売却、取引、その他いかなる取引の推奨、勧誘、または招待とみなされるべきではありません。暗号資産は価格変動が非常に大きく、損失が発生する可能性があります。WEEXのサービス、プロダクト、および関連イベントの提供状況は、地域によって異なる場合があります。お客様は、ご自身の参加が適用される現地の法令を遵守していることを自ら確認する責任を負うものとします。