CertoraはVyperと提携し、ユーザーにProverツールを開放してVyperコードの安全性を確保します。

ChainCatcher のメッセージ、Web3 セキュリティ会社 Certora は、スマートコントラクト言語 Vyper チームと協力し、すべてのユーザーに Prover ツールを開放し、Vyper コードのセキュリティを強化する手助けをすると発表しました。

Vyper コミュニティのキー保有者として、ユーザーは 2023 年 12 月 31 日まで Certora Prover を使用して Vyper コードを検証することができます。