Quỹ Ethereum: leanVM hoàn thành xác minh hình thức đầu cuối, mục tiêu chuyển đổi an toàn hậu lượng tử được đặt vào tháng 12 năm 2028

Theo báo cáo của CryptoBriefing, nhà nghiên cứu của Quỹ Ethereum, Justin Drake, đã công bố vào ngày 3 tháng 11 rằng leanVM đã đạt được xác minh hình thức đầu cuối. leanVM là một zkVM cực kỳ tối giản, được sử dụng để tổng hợp hiệu quả các chữ ký hậu lượng tử dựa trên băm, đóng gói chữ ký đa thành một chứng minh gọn gàng. Về hiệu suất, leanVM có thể xử lý hơn 1000 lần tổng hợp leanXMSS mỗi giây; leanXMSS là một giải pháp chữ ký dựa trên băm dự kiến sẽ thay thế BLS ở lớp đồng thuận.

Tại Devcon 8, Drake đã điều chỉnh thời gian mục tiêu cho việc chuyển đổi toàn diện Ethereum sang an toàn hậu lượng tử đến tháng 12 năm 2028, để tạo không gian cho các phân nhánh mạng cần thiết cho quá trình chuyển đổi. Kế hoạch này phụ thuộc vào ba dự án mã nguồn mở: leanVM, leanXMSS và leanSpec, Quỹ Ethereum đang phát triển các triển khai mã nguồn mở và thúc đẩy xác minh hình thức, đồng thời khuyến khích đổi mới thông qua các phần thưởng như Poseidon Prize. Báo cáo chỉ ra rằng xác minh hình thức của leanVM đã chứng minh rằng mã tuân thủ các tiêu chuẩn, nhưng tháng 12 năm 2028 vẫn là mục tiêu chứ không phải là cam kết.