Ethereum Foundation vạch lộ trình cho zkEVM Proofs trên Mainnet L1

Quỹ Ethereum đã công bố kế hoạch từng bước để cho phép chuỗi chính của Ethereum xác nhận khối bằng bằng chứng zkEVM, giảm nhu cầu cho các validator phải tự chạy lại mọi phép tính. Đề xuất được Tomasz K. Stańczak, Đồng Giám đốc Điều hành tại Quỹ Ethereum, chia sẻ qua X vào ngày 15 tháng 1, nêu rõ công việc kỹ thuật cần thiết trên các execution client và consensus client của Ethereum, cùng với cơ sở hạ tầng chứng minh mới và quy trình bảo mật.

Ethereum L1 Hướng Tới Xác Minh Dựa Trên Bằng Chứng zk

Đã từ tháng 7 năm ngoái, Quỹ Ethereum công bố cách tiếp cận "zk-first". Hiện nay, các validator của Ethereum thường kiểm tra một khối bằng cách thực thi lại các giao dịch và so sánh kết quả. Kế hoạch đề xuất một phương án thay thế: các validator có thể xác minh một bằng chứng mật mã rằng việc thực thi khối là chính xác.

Tài liệu tóm tắt quy trình dự kiến theo các thuật ngữ đơn giản: một execution client tạo ra gói "witness" nhỏ gọn cho một khối, một chương trình zkEVM tiêu chuẩn hóa sử dụng gói đó để tạo ra bằng chứng về việc thực thi chính xác, và các consensus client xác minh bằng chứng đó trong quá trình xác nhận khối.

Mốc quan trọng đầu tiên là tạo ra "ExecutionWitness," một cấu trúc dữ liệu theo từng khối chứa thông tin cần thiết để xác thực việc thực thi mà không cần chạy lại. Kế hoạch yêu cầu định dạng witness chính thức trong các thông số kỹ thuật thực thi của Ethereum, các bài kiểm tra tuân thủ và một điểm cuối RPC được tiêu chuẩn hóa. Nó lưu ý rằng điểm cuối debug_executionWitness hiện tại đã "được sử dụng trong sản xuất bởi Kona của Optimism," đồng thời đề xuất có thể cần một điểm cuối thân thiện hơn với zk.

Một phụ thuộc chính là bổ sung khả năng theo dõi tốt hơn các phần trạng thái mà một khối chạm tới, thông qua Block Level Access Lists (BALs). Tài liệu nói rằng tính đến tháng 11 năm 2025, công việc này không được coi là đủ khẩn cấp để được chuyển ngược về các fork trước đó.

Mốc quan trọng tiếp theo là "chương trình guest zkEVM," được mô tả là logic xác thực không trạng thái kiểm tra xem một khối có tạo ra chuyển đổi trạng thái hợp lệ khi kết hợp với witness của nó hay không. Kế hoạch nhấn mạnh các bản build có thể tái tạo và biên dịch thành các mục tiêu được tiêu chuẩn hóa để các giả định là rõ ràng và có thể xác minh được.

Ngoài mã đặc thù cho Ethereum, kế hoạch nhằm tiêu chuẩn hóa giao diện giữa zkVM và chương trình guest: các mục tiêu chung, các cách truy cập precompiles và I/O chung, và các giả định đã thống nhất về cách các chương trình được tải và thực thi.

Về mặt đồng thuận, lộ trình yêu cầu các thay đổi để các consensus client có thể chấp nhận bằng chứng zk như một phần của xác nhận khối beacon, với các thông số kỹ thuật đi kèm, vector thử nghiệm và kế hoạch triển khai nội bộ. Tài liệu cũng đánh dấu tính khả dụng của execution payload là quan trọng, bao gồm một cách tiếp cận có thể liên quan đến "đưa khối vào các blob."

Đề xuất coi việc tạo bằng chứng là một vấn đề vận hành cũng như một vấn đề giao thức. Nó bao gồm các mốc quan trọng để tích hợp zkVM vào công cụ EF như Ethproofs và Ere, kiểm tra các thiết lập GPU (bao gồm "zkboost"), và theo dõi độ tin cậy và các điểm nghẽn.

Benchmarking được đóng khung là công việc liên tục, với các mục tiêu rõ ràng như đo thời gian tạo witness, thời gian tạo và xác minh bằng chứng, và tác động mạng của việc lan truyền bằng chứng. Những phép đo này có thể cung cấp thông tin cho các đề xuất định giá lại gas trong tương lai cho các khối lượng công việc nặng về zk.

Bảo mật cũng được đánh dấu là vĩnh viễn, với các kế hoạch về thông số kỹ thuật chính thức, giám sát, kiểm soát chuỗi cung ứng như các bản build có thể tái tạo và ký artifact, và một mô hình tin cậy và mối đe dọa được ghi chép. Tài liệu đề xuất một "khung go/no-go" để quyết định khi nào các hệ thống bằng chứng đủ trưởng thành cho việc sử dụng rộng rãi hơn.

Một phụ thuộc bên ngoài nổi bật: ePBS, mà tài liệu mô tả là cần thiết để cung cấp cho các prover nhiều thời gian hơn. Không có nó, kế hoạch nói rằng prover có "1–2 giây" để tạo một bằng chứng; có nó, "6–9 giây." Tài liệu thêm một khung hai câu nắm bắt sự khẩn cấp: "Đây không phải là một dự án mà chúng tôi đang làm việc. Tuy nhiên, đó là một tối ưu hóa mà chúng tôi cần." Nó dự kiến ePBS sẽ được triển khai trong "Glamsterdam," với mục tiêu giữa năm 2026.

Nếu những mốc quan trọng này thành hiện thực, Ethereum sẽ hướng tới xác minh dựa trên bằng chứng như một lựa chọn thực tế trên L1, trong khi thời gian và độ phức tạp vận hành của việc chứng minh vẫn là các yếu tố hạn chế.

Tại thời điểm phát hành, ETH được giao dịch ở mức $3,300.