$ETH — Ethereum hoàn tất xác minh hình thức leanVM

...

Nhánh nghiên cứu của Ethereum tập trung vào leanVM đã hoàn tất xác minh hình thức đầu-cuối. Đây là bước tiến hướng tới khả năng chống chịu trước máy tính lượng tử: quá trình chuyển đổi hoàn toàn sang bảo vệ hậu lượng tử dự kiến diễn ra vào tháng 12 năm 2028.

Xác minh hình thức là bằng chứng toán học cho thấy mã thực hiện chính xác những gì được thiết kế. Với một mạng lưới nắm giữ hàng chục tỷ đô la, điều này quan trọng hơn những thông báo rầm rộ.

Xin nhắc lại, trước đó một lỗ hổng đã được phát hiện và khắc phục trong bản cập nhật Glamsterdam.

Hãy đăng ký theo dõi kênh — mỗi ngày chúng tôi tổng hợp những tin tức nổi bật về token và dự án. Đây không phải lời khuyên đầu tư.

#ETH #BTC #PEARL