🔒 Certora memperkuat keamanan Ethereum! 🛡️ Certora, firma keamanan kontrak pintar blockchain, meluncurkan pengumuman blog resminya. Perusahaan sekarang menawarkan dukungan verifikasi keamanan untuk bahasa pemrograman kontrak pintar Ethereum_s, Vyper. Certora menggarisbawahi pentingnya pembaruan ini dengan mereferensikan insiden baru-baru ini di mana kerentanan dalam versi lama kompiler Vyper menyebabkan pelanggaran keamanan, menyebabkan kerusakan senilai $70 juta di kumpulan Curve (CRV). Dengan melakukan pra-validasi sebelum penyebaran, kerentanan tersebut dapat digagalkan terlebih dahulu. Memperkuat lanskap kontrak pintar Ethereum_s! 💪📜
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
🔒 Certora memperkuat keamanan Ethereum! 🛡️ Certora, firma keamanan kontrak pintar blockchain, meluncurkan pengumuman blog resminya. Perusahaan sekarang menawarkan dukungan verifikasi keamanan untuk bahasa pemrograman kontrak pintar Ethereum_s, Vyper. Certora menggarisbawahi pentingnya pembaruan ini dengan mereferensikan insiden baru-baru ini di mana kerentanan dalam versi lama kompiler Vyper menyebabkan pelanggaran keamanan, menyebabkan kerusakan senilai $70 juta di kumpulan Curve (CRV). Dengan melakukan pra-validasi sebelum penyebaran, kerentanan tersebut dapat digagalkan terlebih dahulu. Memperkuat lanskap kontrak pintar Ethereum_s! 💪📜