Nhóm Ethereum đã công bố một máy ảo mới được tối ưu hóa cho các quy trình ZKP và bảo mật hậu lượng tử của mạng blockchain. Sự phát triển này là một phần trong lộ trình dài hạn của Ethereum.
Tại cuộc họp mới nhất của các nhà phát triển lớp đồng thuận Ethereum, leanVM đã được giới thiệu . Đây là một máy ảo mới được thiết kế để xử lý các bằng chứng không kiến thức ( ZKP ) và bảo vệ mạng lưới trước các cuộc tấn công tiềm năng từ máy tính lượng tử.
leanVM được hình dung là nền tảng để giảm mạnh chi phí mở rộng và tăng tốc quá trình đệ quy. Theo tác giả của dự án, tốc độ hiện tại là 2,7 giây trên CPU, với mục tiêu cải thiện gấp mười lần. Một mục tiêu quan trọng khác của leanVM là xử lý hiệu quả các thuật toán hậu lượng tử. Thay vì chỉ xác minh từng chữ ký XMSS riêng lẻ, máy ảo mới sẽ thực hiện tổng hợp đệ quy, kết hợp hàng nghìn chữ ký thành một bằng chứng nhỏ gọn.
Các tính năng chính của leanVM bao gồm:
- Kiến trúc tối giản chỉ với bốn lệnh cho tập lệnh kiến trúc (ISA), giúp nó cực kỳ đơn giản và phù hợp cho việc xác minh hình thức.
- Sử dụng multilinear STARKs để đạt được sự đồng thuận nhanh hơn và nhỏ gọn hơn so với các phương pháp cổ điển.
- Một kỹ thuật lấy mẫu mới giúp giảm chi phí cam kết và tăng hiệu quả.
- Một trình xác minh đầy đủ được triển khai chỉ với khoảng 1.000 dòng mã Python, giúp đơn giản hóa việc kiểm toán và kiểm thử.
- Các validator có thể chạy ngay cả trên các thiết bị công suất thấp như Raspberry Pi Pico trị giá 7 đô la, trong khi các aggregator có thể dựa vào CPU/GPU để cung cấp thông lượng cao.
Việc phát triển leanVM được tích hợp vào lộ trình chiến lược mười năm của Ethereum, được trình bày vào tháng trước. Kiến trúc Lean Ethereum mới sẽ vẫn phù hợp với lộ trình của Ethereum nhưng sẽ phát triển song song, mà không được triển khai trực tiếp lên mainnet.
Vào năm 2025, mạng Ethereum đã trải qua đợt hard fork Pectra, và hai bản nâng cấp lớn — Fusaka và Glamsterdam — được lên lịch vào tháng 11. Đồng sáng lập Ethereum Vitalik Buterin trước đó đã phát biểu về sự chuyển đổi sang một máy ảo mới và những thay đổi kỹ thuật mang tính đột phá.
