Runtime Verificationがアルゴランド財団のセキュリティ・パートナーに
by Runtime Verification
Runtime Verificationは、アルゴランド財団との新たなパートナーシップを発表することを光栄に思います。このパートナーシップにより、Runtime Verificationは財団の優先的なセキュリティ・パートナーとなり、アルゴランドとそのエコシステムに対するセキュリティのコミットメントを明確にします。
2019年以降、RVは、Pure Proof-of-Stakeプロトコルのモデル化、その安全定理の証明、アルゴランドのスマートコントラクトのための正式なセマンティック・フレームワークの開発など、アルゴランド（Algorand IncおよびAlgorand Foundation）との一連の契約に取り組んできました。今年、Runtime Verificationはアルゴランド財団と協力して、Tinyman、Yieldly、StakerDAO、AlgoDexなど、いくつかのエキサイティングなプロジェクトの審査・監査を行いました。
今回の新たなパートナーシップにより、Runtime Verificationは、形式的検証技術を用いて最も安全なブロックチェーン・エコシステムの構築を支援し、アルゴランド・ブロックチェーンで構築された複数のプロジェクトの監査を実施する立場を固めました。
Runtime VerificationのCOOであるPatrick MacKayは、「分散型金融の最終的な導入にはセキュリティが基本であるという信念を共有しているアルゴランド財団との関係を進め、加速させることができて嬉しく思っています。このパートナーシップの発表は、今年を締めくくる素晴らしいものであり、2022年に向けて私たち全員を興奮させてくれます。」と述べています。
アルゴランド財団のグローバル・エコシステム＆テクニカル・オペレーション部門責任者であるAddie Wagenknechtは、「独立した監査は、アルゴランド・ネットワークのセキュリティと完全性を維持するために不可欠です。Runtime Verification Inc.は、これまでにもアルゴランド財団やパートナー企業の監査を実施しており、業界のリーダーとして、またブロックチェーン監査のための検証ノウハウを持つ企業であることを示しています。我々はパートナーシップを楽しみにしており、Runtime Verification Incを我々のセキュリティ・パートナーとして歓迎します。」と述べています。
最後に、この場を借りて、アルゴランド財団、エコシステム・プロジェクト、そしてより大きなアルゴランド・コミュニティに感謝したいと思います。今日も、明日も、そして未来も、皆さんと一緒に仕事ができることを楽しみにしています」。
元記事：https://runtimeverification.com/blog/runtime-verification-becomes-algorand-foundation-s-security-partner