🔒 Certora tăng cường bảo mật Ethereum! 🛡️ Certora, công ty bảo mật hợp đồng thông minh blockchain, công bố thông báo trên blog chính thức của mình. Công ty hiện cung cấp hỗ trợ xác minh bảo mật cho ngôn ngữ lập trình hợp đồng thông minh của Ethereum_, Vyper. Certora nhấn mạnh tầm quan trọng của bản cập nhật này bằng cách đề cập đến một sự cố gần đây trong đó các lỗ hổng trong phiên bản cũ của trình biên dịch Vyper dẫn đến vi phạm bảo mật, gây thiệt hại trị giá 70 triệu đô la trong nhóm Curve (CRV). Bằng cách tiến hành xác nhận trước trước khi triển khai, các lỗ hổng như vậy có thể được ngăn chặn trước. Tăng cường bối cảnh hợp đồng thông minh của Ethereum_s! 💪📜