Đề xuất leanVM của Vitalik Buterin là một máy ảo zero-knowledge tối giản được thiết kế nhằm giảm chi phí giao dịch trên Ethereum và cải thiện khả năng mở rộng. Nó sử dụng ISA bốn lệnh, multilinear STARKs và logup lookups để cho phép đệ quy hiệu quả và tổng hợp XMSS với chi phí xử lý thấp hơn nhiều.
-
Thiết kế zkVM tối giản: ISA bốn lệnh kết hợp với multilinear STARKs để tạo bằng chứng tiết kiệm chi phí.
-
Nhắm đến đệ quy và tổng hợp XMSS để giảm khối lượng công việc của prover và chi phí xác minh on-chain.
-
Được Vitalik Buterin trình bày như một phần trong lộ trình của Ethereum hướng tới các công cụ mật mã nhẹ hơn, tinh tế hơn.
leanVM: Đề xuất zkVM tối giản của Vitalik Buterin nhằm cắt giảm chi phí Ethereum và tăng khả năng mở rộng. Tìm hiểu ý nghĩa đối với rollups và thiết kế giao thức — đọc ngay.
leanVM là gì và tại sao nó quan trọng đối với Ethereum?
leanVM là một máy ảo zero-knowledge tối giản được đề xuất, ưu tiên sự đơn giản và chi phí prover thấp. Thiết kế tập trung vào ISA bốn lệnh, multilinear STARKs và logup lookups để cho phép đệ quy và tổng hợp hiệu quả, có khả năng giảm sử dụng tài nguyên so với các zkVM phức tạp hơn.
leanVM cải thiện khả năng mở rộng của Ethereum như thế nào?
leanVM giảm thời gian prover bằng cách đơn giản hóa tập lệnh và cấu trúc bằng chứng. Multilinear STARKs giúp giảm chi phí kích thước bằng chứng và logup lookups tối ưu hóa truy cập trạng thái. Những lựa chọn này giúp đệ quy và tổng hợp XMSS rẻ hơn, điều này có thể dẫn đến thông lượng rollup cao hơn và phí giao dịch thấp hơn.
Vitalik Buterin đã trình bày đề xuất này như một nỗ lực viết “mã nhỏ gọn” và xây dựng các nguyên thủy mật mã lâu dài, dễ bảo trì thay vì các bản vá mở rộng tạm thời.
Khi nào Vitalik đề xuất leanVM và ông ấy đã nói gì?
Đề xuất này xuất hiện vào ngày 8 tháng 9 năm 2025 trong một cuộc thảo luận về lộ trình của Ethereum. Vitalik Buterin mô tả leanVM là một phần của giai đoạn quyết định cho sự phát triển kỹ thuật của Ethereum, nhấn mạnh thiết kế giao thức nhỏ gọn, tinh tế thay vì các bản vá tạm thời.
Những điểm nổi bật về kỹ thuật của leanVM là gì?
Các yếu tố chính bao gồm ISA bốn lệnh để giữ cho ngữ nghĩa thực thi tối giản. Nó kết hợp với multilinear STARKs để giảm chi phí bằng chứng và logup lookups để tối ưu hóa truy cập trạng thái. Những lựa chọn này nhằm mục đích làm cho đệ quy và tổng hợp XMSS rẻ hơn trong thực tế.
Các câu hỏi thường gặp
leanVM sẽ ảnh hưởng thế nào đến rollups?
leanVM có thể giảm chi phí prover cho rollup bằng cách đơn giản hóa mô hình tính toán và tạo bằng chứng. Chi phí prover thấp hơn có thể giảm chi phí vận hành và cải thiện thông lượng cho các thiết kế optimistic và zk-rollup áp dụng công cụ tương thích.
leanVM có an toàn so với các zkVM hiện tại không?
Bảo mật phụ thuộc vào việc triển khai và lựa chọn mật mã. leanVM dựa vào bằng chứng STARK, vốn được xem là an toàn trước máy tính lượng tử; tuy nhiên, bất kỳ VM mới nào cũng cần được phân tích chính thức và đánh giá đồng cấp trước khi sử dụng trong sản xuất.
Những điểm chính cần lưu ý
- leanVM hướng đến sự tối giản: ISA bốn lệnh và bằng chứng nhỏ gọn nhằm giảm chi phí prover.
- Tập trung vào đệ quy và tổng hợp: Multilinear STARKs và logup lookups giúp đệ quy và tổng hợp XMSS thực tiễn hơn.
- Là một phần trong lộ trình dài hạn của Ethereum: Đề xuất này phản ánh xu hướng hướng tới các công cụ mật mã bền vững, tinh tế thay vì các giải pháp tạm thời.
Kết luận
Đề xuất leanVM đánh dấu một bước tiến đáng chú ý trong lộ trình của Ethereum hướng tới các công cụ zk hiệu quả về chi phí và khả năng mở rộng. Bằng cách nhấn mạnh ISA tối giản, multilinear STARKs và lookups tối ưu, leanVM hướng tới việc giảm chi phí prover và cho phép đệ quy, tổng hợp hiệu quả hơn. Các nhà phát triển và nhà nghiên cứu nên theo dõi các cuộc thảo luận và đánh giá đồng cấp để đánh giá khả năng áp dụng thực tế.
Tin liên quan
- Hàng triệu ví Ethereum mới được tạo – Nhưng nhà đầu tư bi quan hơn bao giờ hết — 2 giờ trước — Đọc 3 phút
- Đợt tăng giá Ethereum che giấu thực tế đen tối, nhà nghiên cứu cảnh báo — 18 giờ trước — Đọc 2 phút
- Đây là giá trị tài sản của đồng sáng lập Ethereum Vitalik Buterin vào năm 2025 — 24 giờ trước — Đọc 3 phút
- Ethereum ETF chứng kiến dòng tiền rút 787 triệu USD sau khi ghi nhận dòng tiền vào kỷ lục tháng 8 — 2 ngày trước — Đọc 2 phút
- Cá voi Ethereum thức giấc sau 3 năm – Đặt cược 646 triệu USD vào ETH — 3 ngày trước — Đọc 2 phút
- Grayscale ra mắt Ethereum ETF trả lãi mỗi 2 tuần — 3 ngày trước — Đọc 2 phút
