公式ニュースによると、Web3 セキュリティ企業 Certora は、スマート コントラクト言語の Vyper チームと協力して、Vyper コードのセキュリティを強化するために Prover ツールをすべてのユーザーに公開しています。 Vyper コミュニティ キーホルダーのユーザーは、2023 年 12 月 31 日まで、Certora Prover を使用して Vyper コードを検証できます。