https://medium.com/feed/milkomeda%E6%97%A5%E6%9C%AC
 

Runtime Verification、アルゴランド財団のセキュリティ・パートナーに就任



Runtime Verification、アルゴランド財団のセキュリティ・パートナーに就任

投稿日: 2021年12月9日 投稿者: Silvia Barredo


Runtime Verificationは、アルゴランド財団との新しいパートナーシップを発表することを光栄に思います。このパートナーシップにより、Runtime Verificationは財団の優先的なセキュリティ・パートナーとなり、アルゴランドとそのエコシステムに対するセキュリティのコミットメントを強化することになります。


2019年以降、RVはAlgorand Incおよびアルゴランド財団と一連の業務に取り組み、Pure Proof-of-Stakeプロトコルのモデリング、その安全定理の証明、アルゴランド・スマートコントラクト用のフォーマルなセマンティック・フレームを開発するなどしています。今年、Runtime Verificationはアルゴランド財団と協力して、Tinyman、Yieldly、StakerDAO、AlgoDexなどのエキサイティングなプロジェクトのレビューと監査を行っています。


この新しいパートナーシップにより、Runtime Verificationは、フォーマル検証技術を使用して最も安全なブロックチェーン・エコシステムの構築を支援し、アルゴランド・ブロックチェーンで構築されたいくつかのプロジェクトで監査を実施するための地位を強固にします。


「RVは、セキュリティが分散型金融の最終的な採用の基本であるという信念を共有するアルゴランド財団との関係を進め、加速させることができることを嬉しく思っています。このパートナーシップの発表は、今年の素晴らしい締めくくりであり、2022年に向けて私たち全員が興奮しています」と、Runtime VerificationのCOOであるパトリック・マッケイは述べています。


「独立した監査は、アルゴランド・ネットワークのセキュリティと整合性を維持するために不可欠です。Runtime Verification Incは、以前アルゴランド財団と私たちのパートナーのために監査を実施し、業界のリーダーであり、ブロックチェーン監査のための検証専門知識を持つ会社であることを示してきました。私たちはパートナーシップを楽しみにしており、Runtime Verification Incをセキュリティ・パートナーとして歓迎します」とアルゴランド財団のグローバルエコシステム・技術運営責任者のアディ・ワゲンクネヒトは述べています。


最後に、アルゴランド財団、エコシステム・プロジェクト、そしてより大きなアルゴランド・コミュニティに感謝する機会を持ちたいと思います。私たちは、今日、明日、そして将来にわたって、皆さんと一緒に仕事ができることに興奮しています。


元記事:https://runtimeverification.com/blog/runtime-verification-becomes-algorand-foundation-s-security-partner