leanVM của Ethereum đạt được xác minh hình thức end-to-end, hướng tới chuyển đổi hậu lượng tử hoàn toàn vào tháng 12 năm 2028
TREE NEWS đưa tin: Nhà nghiên cứu Justin Drake của Ethereum Foundation đã công bố vào ngày 3 tháng 11 rằng leanVM, một zkVM tối giản được thiết kế để tổng hợp hiệu quả các chữ ký hậu lượng tử dựa trên hàm băm, đã đạt được xác minh hình thức end-to-end. Cột mốc này đánh dấu một bước tiến quan trọng hướng tới việc bảo vệ Ethereum trước các mối đe dọa lượng tử trong tương lai.
leanVM đóng gói nhiều chữ ký thành một bằng chứng nhỏ gọn và có thể xử lý hơn 1.000 tổng hợp leanXMSS mỗi giây. leanXMSS là lược đồ chữ ký dựa trên hàm băm được lên kế hoạch thay thế BLS ở lớp đồng thuận. Việc xác minh hình thức đảm bảo rằng việc triển khai zkVM đảm bảo về mặt toán học việc thực thi chính xác, một yêu cầu quan trọng đối với cơ sở hạ tầng quan trọng cho đồng thuận.
Phân tích ngành và tác động
Thành tựu này giải quyết một trong những rủi ro dài hạn cấp bách nhất mà các mạng blockchain phải đối mặt: khả năng máy tính lượng tử phá vỡ mật mã đường cong elliptic hiện tại. Mặc dù máy tính lượng tử quy mô lớn có khả năng tấn công chữ ký ECDSA và BLS vẫn chưa có sẵn, mối đe dọa được coi là đủ đáng tin cậy để các giao thức lớn bắt đầu lên kế hoạch di chuyển.
Cách tiếp cận của Ethereum đáng chú ý vì nhấn mạnh vào xác minh hình thức. Bằng cách chứng minh tính đúng đắn của mạch và triển khai của leanVM, Foundation giảm thiểu rủi ro các lỗi tinh vi có thể xâm phạm bảo mật trong quá trình chuyển đổi. Điều này đặc biệt quan trọng vì các thay đổi ở lớp đồng thuận đòi hỏi độ tin cậy cực cao.
Việc sử dụng chữ ký dựa trên hàm băm như leanXMSS là một lựa chọn có chủ đích. Các lược đồ dựa trên hàm băm được cho là có khả năng chống lại các cuộc tấn công lượng tử, nhưng chúng tạo ra chữ ký lớn hơn và cần tổng hợp để duy trì tính thực tế. Khả năng tổng hợp hơn 1.000 chữ ký mỗi giây của leanVM cho thấy chi phí hiệu suất có thể quản lý được.
Drake cũng đã điều chỉnh lộ trình chuyển đổi hậu lượng tử hoàn toàn của Ethereum sang tháng 12 năm 2028, với lý do cần có thời gian cho các fork mạng cần thiết. Lộ trình này thận trọng hơn một số ước tính trước đó, phản ánh sự phức tạp của việc nâng cấp một mạng phi tập trung đang hoạt động.
Triển vọng tương lai
Việc xác minh hình thức leanVM là một bước nền tảng, nhưng nhiều thách thức vẫn còn. Việc chuyển đổi sẽ đòi hỏi nâng cấp phối hợp trên các client, validator và toàn bộ hệ sinh thái. Nó cũng đặt ra câu hỏi về khả năng tương thích ngược và việc di chuyển các tài sản và hợp đồng thông minh hiện có.
Nếu thành công, quá trình chuyển đổi hậu lượng tử của Ethereum có thể tạo tiền lệ cho các blockchain khác. Sự kết hợp giữa xác minh hình thức và mật mã dựa trên hàm băm có thể trở thành bản thiết kế cho đồng thuận kháng lượng tử. Tuy nhiên, mục tiêu năm 2028 để lại một khoảng thời gian mà những tiến bộ lượng tử có thể tăng tốc, và ngành công nghiệp sẽ theo dõi chặt chẽ các cột mốc tiếp theo.
