Vitalik Buterin đề xuất leanVM, một zkVM tối giản có thể tăng khả năng mở rộng và phân quyền cho Ethereum

Bitget

Tin tức

Coinotag2025/09/08 11:59

Hiển thị bản gốc

Theo:Jocelyn Blake

Bitget cung cấp dịch vụ giao dịch toàn diện cho tiền điện tử, cổ phiếu và vàng. Giao dịch ngay!

Gói quà chào mừng trị giá 6.200 USDT dành cho người dùng mới! Đăng ký ngay!

Đề 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ế.

Publication: Ethereum | Date: 8 September 2025 | Time: 13:01

Author: COINOTAG — báo cáo bởi Alexander Stefanov (nguồn: Coindoo, plain text)

Bạn cũng có thể thích

Hạ viện Hoa Kỳ dự kiến sẽ bỏ phiếu về quy định mới về tiêu thụ điện vào thứ Tư: yêu cầu các trung tâm dữ liệu chịu chi phí điện năng tăng thêm, nhằm ngăn các ông lớn công nghệ chuyển chi phí điện.

Hạ viện Hoa Kỳ dự kiến sẽ bỏ phiếu sớm nhất vào thứ Tư theo giờ địa phương về một dự luật lưỡng đảng nhằm ngăn chặn tình trạng tăng giá điện liên quan đến việc mở rộng các trung tâm dữ liệu hỗ trợ và phát triển công nghệ trí tuệ nhân tạo.

智通财经•2026/09/16 12:31

Hạ viện Hoa Kỳ dự kiến sẽ bỏ phiếu về quy định mới về tiêu thụ điện vào thứ Tư: yêu cầu các trung tâm dữ liệu chịu chi phí điện năng tăng thêm, nhằm ngăn các ông lớn công nghệ chuyển chi phí điện.

Dự báo trước thị trường chứng khoán Mỹ | Ba chỉ số tương lai chính đồng loạt tăng, giá dầu giảm, quyết định lãi suất của Fed sẽ được công bố quan trọng vào tối nay

Trước giờ mở cửa thị trường chứng khoán Mỹ ngày 16 tháng 9 (thứ Tư), cả ba chỉ số tương lai chính của thị trường chứng khoán Mỹ đều tăng.

智通财经•2026/09/16 11:56

Dự báo trước thị trường chứng khoán Mỹ | Ba chỉ số tương lai chính đồng loạt tăng, giá dầu giảm, quyết định lãi suất của Fed sẽ được công bố quan trọng vào tối nay

Thị trường chứng khoán Hàn Quốc lâm vào thế bế tắc sau khi sự cuồng nhiệt của nhà đầu tư giảm sút! Giá trị giao dịch giảm xuống mức thấp nhất trong năm, ngưỡng 7.000 điểm khó giữ vững

Do sự nhiệt tình của các nhà đầu tư dần suy giảm, giá trị giao dịch trên thị trường chứng khoán Hàn Quốc đã giảm xuống mức thấp nhất trong năm nay, điều này cho thấy thị trường chứng khoán Hàn Quốc dẫn đầu bởi AI có thể khó quay trở lại mức cao trước đó.

智通财经•2026/09/16 11:06