IOGブログ：9月25-26日に開催されるカルダノ・サミット（CardanoSummit）2021では、コードレベルの脆弱性を防ぐことを目的とした、IOGが開発中の新しいdApp認証プログラムの詳細をご紹介します。このプログラムは、コードレベルの脆弱性を防ぐことを目的としています。また、IOGがが構築しているPlutus dAppストアも紹介します。
以下はIOGブログに掲載された記事「Bringing certified DApps to Cardano」を翻訳したものです。
認定されたDAppsをカルダノに導入する
今週末のCardano Summitでは、新しい統合されたアプローチを発表します。ここでは、そのプレビュー…
By Shruti Appiah 2021年9月22日
認定されたDAppsをCardanoに導入する
アロンゾ（Alonzo）のアップグレードにより、スマートコントラクト、分散型アプリケーション（DApps）、その他のアプリケーションをカルダノの上に展開することが可能になりました。これはカルダノにとって非常に重要なことです。というのも、カルダノを全く新しい開発者コミュニティに開放し、その創造的な意欲によってカルダノのリーチと価値を新たな高みに引き上げることができるからです。
新しいアプリケーションエコシステムには、魅力的な探求のスモーガスボードがあります。同様に、新しいエコシステムは、発見と品質保証という2つの重要な課題に直面します。ユーザーは、自分が使いたいと思う製品を見つけることができ、また、一定の基準レベルの品質が確保されていることを確認する必要があります。
また、サードパーティ製の新しいアプリケーションが次々と登場すると、不適切なコンテンツや悪意のあるコンテンツ、あるいは規格外のコンテンツなど、固有のリスクが発生します。そのため、発見と品質保証の問題に対処することが、エコシステムの早期成長の鍵となります。
今週末に開催されるカルダノサミットでは、この重要なテーマをより深く掘り下げて説明します。そこでは、カルダノの上で開発されたアプリケーションを評価する認証プログラムを紹介します。また、私たちが開発中のdAppStore（分散型アプリストア）上のアプリケーションも紹介します。
カルダノ上でのDApp発見
dAppStore（分散型アプリストア）は、サミットでプロトタイプをプレビューしますが、開発者がカルダノ上で動作する自分のDAppsをアップロードして、他の人がdAppStore（分散型アプリストア）で利用できるようにする場所です。このストアは、開発者が検閲に直面することなく自分のDApps（分散型アプリ）を公開できる、信頼できる、民主化された環境を提供します。
Plutus dAppStor（分散型アプリストア）eは、特に2つの参入障壁に対応しています。
- 現在、DApps（分散型アプリ）の正式な発見プロセスはありません。ほとんどすべての発見は、有機的または口コミ的な手段、あるいはソーシャルメディアでのマーケティングによって行われます。
- エンドユーザーにとっては、特定のエコシステムで利用可能なすべてのDAppsをまとめて見ることができない。
ユーザーは、ウェブブラウザを使ってPlutus dAppStore（分散型アプリストア）にアクセスすることができます。Plutus dAppStoreは、カルダノの「ストアフロント」と考えてください。このストアには、ユーザーがカルダノ上でできることの範囲が表示されます。認証プログラムは、自動化されたロジックチェック、手動によるスマートコントラクトの監査、および正式な検証を通じて、ユーザーが使用するあらゆるアプリケーションの動作について保証を与えます。
認定・未認定を問わず、どのようなDAppもストア上に存在することができますが、特定のDAppの認定状況に関する明確な情報をユーザーに提供します。dAppStoreはゲートキーパー（審査員）の役割を果たすのではなく、ユーザーによる透明な評価のためのプラットフォームを提供することを目指しています。
認証の重要な役割
dAppStoreはショップフロントです。しかし、コミュニティによる検証を除けば、dAppStoreには「焼き付け」の保証はありません。そこで、2つ目の要素が必要になります。私たちの認証プログラムの役割は、コードレベルのセキュリティ脆弱性を防ぐことです。これを実現するには、さまざまなレベルの「防御」を展開する必要があります。
いくつかの階層に分かれます。最も単純なレベルでは、自動化されたロジックチェックによって、ある種の悪意のあるコードを検出することができます。例えば、契約書にロックされた資金を回収する方法が含まれていないかどうかをチェックすることができます。適切に構成されたコントラクトでは、ロックされた資金は回収可能である必要があります。
さらに、手動でスマートコントラクトの監査を行うことで、あらゆるDAppの完全性を検証することができます。最終的には、完全な形式的検証によって数学モデルをテストし、スマートコントラクトがその動作の形式的な仕様を満たしていることを証明します。
もちろん、どのような認証プログラムであっても、それを実装して実行する人がいて初めて成り立ちます。このような理由から、私たちは関数型プログラミングの分野で著名な方々とパートナーシップを組んでいますが、彼らとはサミットでお会いできることでしょう。
安全な基盤の上に構築されています。カルダノそのもの
今回の認証活動は、すでにビットコインやイーサリアムなどの他のものよりも高い保証を提供しているブロックチェーンの上に構築されています。例えば、トークンは、イーサリアムのERC20のようなコントラクトによって提供されるのではなく、カルダノ自体のアーキテクチャに組み込まれています。これにより、新しいトークンを実装するためにコントラクトをコピーしたり変更したりすることによる問題が発生しません。
チェーンの基盤を見ると、Extended Unspent Transaction Output（eUTXO）会計モデルは、ブロックチェーンの基本的にシンプルで、より安全なモデルである。Plutusのスマートコントラクトは関数型プログラムであり、関数型言語のシンプルで検証可能なセマンティクスが、自動テストと形式的検証の両方を支えています。私たちは、他のチェーンよりも安全な基盤を構築したいと考えています。Plutusは関数型言語です。
また、当社の金融専用言語であるMarloweは、設計上、ある種の特性を保証しています。たとえば、マーロウの契約では、契約終了後に資産を保持することはできません。これは、Marloweに組み込まれた性質であり、施行するために余分なチェックを必要としません。Marloweはその設計上、契約を実行しなくても、可能な限りの契約の実行を検証することで、契約が特定の優れた特性を持っているかどうかをツールで自動的にチェックすることもできます。
アロンゾ（Alonzo）ハードフォークの文脈における認証
サミットでは、完全なDAppsではなく、DAppsのコンポーネントであるスマートコントラクトの自動テストの例を紹介します。
さらに長期的には、ユーザーが設計したツールをストアに配置し、Plutus dAppStoreを進化させて、投票やレビュー、さらにはAtala PRISMとの連携など、ストア内の様々なDAppsをユーザーがフィードバックできるような機能を提供していきたいと考えています。
アロンゾ（Alonzo）テストネット、Plutusパイオニアプログラム、そしてもちろんProject Catalystの活動を通じて、私たちはすでに多くのプロジェクトがカルダノ上で構築され始めているのを目の当たりにしています。これらのプロジェクトが今後数ヶ月の間に市場に出回るようになると、ユーザーの発見とそれらのDAppsに対するユーザーの信頼が鍵となります。私たちは、オープンで分散型のエコシステムに取り組んでいますので、「注意してください」や「自分で調べてください」といった通常のルールはもちろん適用されます。しかし、認証や保証の基準を高めることは、カルダノのエコシステムを成功させ、最終的には可能な限り幅広いユーザー層を獲得するための鍵となります。
Simon ThompsonとFernando Sanchezもこの記事に貢献しています。
9月25-26日に開催されるサミットでは、このエキサイティングな新しい取り組みについて、またdAppStoreのプロトタイプのデモをご覧いただけます。
