🔒 Certora はイーサリアムのセキュリティを強化します! 🛡️ ブロックチェーン スマート コントラクト セキュリティ会社である Certora が、公式ブログでの発表を発表しました。同社は現在、イーサリアムのスマート コントラクト プログラミング言語である Vyper のセキュリティ検証サポートを提供しています。 Certora は、古いバージョンの Vyper コンパイラーの脆弱性がセキュリティ侵害を引き起こし、Curve (CRV) プールに 7,000 万ドル相当の損害を与えた最近のインシデントを参照して、このアップデートの重要性を強調しています。導入前に事前検証を実施することで、このような脆弱性を事前に阻止できます。イーサリアムのスマートコントラクト環境を強化! 💪📜