Input Outputのこちらのツイート動画を翻訳したものです。
DApp認証（DApp : Decentralized applicationの略、分散型アプリ）
分散型アプリケーションの保護
分散化（非中央集権）はすべての人に開かれた未来を約束します。
しかし、それは安全である必要があります。
ハッカーが何百万ドルも盗んで、ブロックチェーンソリューションの信頼性と安全性を損なったという話が毎日出ています。
さらに重要なことは、明確なガードレールがないために人々が自分自身の金融の未来とデータを所有する自由を失っていることです。
セキュリティと安心を高めるためにInput Output Globalは認証プログラムを作成しました。これにより、ユーザーはDAppを信頼し、最終的にはより安全で透明性の高い金融オペレーティングシステムを作成できます。
IOGのDApp認証プログラムは、顧客が信頼できるプラットフォーム上で運用していることを保証します。
カルダノ・ブロックチェーンの高いセキュリティと信頼性という本来の利点を生かし、IOGのDApp認定プログラムは、その高いセキュリティと信頼性をさらに高めるものです。 これらの認証は、ピアレビュー（査読）された研究と高性能なスマートコントラクトシステムを十分に活用したものです。
開発者はすぐにさまざまな認証レベルを利用できます。
つまり、自動テストから詳細な監査まで、あらゆるものを導入することができるのです。
一方、ユーザーは認証レベルに基づいて、どのDAppを使用するかを柔軟に選択できます。
認証プログラムはどのように機能するのか？
さて、一次試験レベルでは、自動化され再現可能なPlutus試験ツールを使用します。
ここでは指定されたオンチェーンプロパティと入力をチェックします。
これは開発サイクルのどの時点でも実行できるため、強固な基盤を構築したり、プロジェクトの仕上げとして追加したりすることができます。
現在、詳細な監査では、スマートコントラクトのコードに対して手動検証を行います。
これはライブラリ、設定、DApps、およびオンチェーン上のPlutusコントラクトの評価に使用することができます。
このレベルの監査は、すでに高度な開発段階にあるプロジェクトに推奨されます。
形式的検証は、形式手法によってDAppsの重要な側面をチェックします。
これにより、ユーザーはオンチェーンコードとDAppsのセキュリティ特性に対して高い信頼性を得ることができます。
最終的には、DApp Storeの顧客は、最高レベルの保証を持つDAppsのみを使用しているという安心感を得ることができるということです。
（原文）
DApp Certification
Securing decentralized applications
Decentralization promises a future that is open to all.
But it needs to be safe.
Every day there are new stories of hackers stealing Millions damaging the credibility and security of blockchain-based solutions.
More importantly people are losing out on the freedom to own their own financial futures,and their data,because there aren’t clear guardrails.
For greater security and peace of mind, Input Output Global has created a certification program,so users can trust their DApps and ultimately create a safer and more transparent financial operating system.
IOG’s DApp Certification program ensures customers that they’re operating on a trusted platform.
Leveraging the inherent benefits of the Cardano blockchain’s high security and reliability-these certifications further capitalize on its peer-reviewed research and performant smart contract system.
Developers have different certification levels at their fingertips.
This means that they can deploy anything from an automated test to an in-depth audit.
While users have the flexibility to select which DApp they want to use based on their level of certification.
How does the certification program work?
Well, the primary testing level uses an automated and repeatable Plutus testing tool.
This check specified on-chain properties and inputs.
This can be done at any time in the development cycle,so it can be used to build strong foundations or added as a finishing touch on a project.
Now,an in-depth audit uses manual verification for smart contract code.
It can be used to assess libraries, configurations, and DApps as well as on-chain Plutus contracts.
This level of auditing is recommended for projects which are already at an advanced development phase.
Formal verification checks critical aspects of DApps through formal methods.
This can give users high confidence in the security properties of on-chain code and DApps.
Ultimately, this means that DApp store customers have peace of mind knowing they’re only using DApp s with the highest level of assurance.
