Sau một năm nỗ lực không ngừng, hệ sinh thái zkEVM đã đạt được bước tiến vượt bậc về hiệu năng, với thời gian xác thực khối Ethereum giảm từ 16 phút xuống còn 16 giây và chi phí giảm 45 lần. Các máy ảo zkVM tham gia hiện có thể hoàn thành 99% số lần xác thực khối trên mạng chính trong vòng 10 giây trên phần cứng mục tiêu.
Ngày 18 tháng 12, Quỹ Ethereum (EF) thông báo về việc triển khai cơ chế chứng minh thời gian thực và loại bỏ các điểm nghẽn hiệu năng. Tuy nhiên, họ nhấn mạnh rằng thách thức thực sự nằm ở độ tin cậy. Tốc độ mà thiếu hỗ trợ bảo mật sẽ trở thành gánh nặng. Hơn nữa, các giả thuyết toán học mà một số thuật toán STARK dựa trên zkEVM sử dụng đã bị bác bỏ trong những tháng gần đây, dẫn đến giảm mức độ bảo mật.
Trước đó vào tháng 7, EF đã đặt ra mục tiêu toàn diện cho việc chứng minh thời gian thực, bao gồm nhiều khía cạnh như độ trễ, phần cứng và bảo mật, và hiện đã vượt qua bài kiểm tra chuẩn EthProofs.
Sự thay đổi cốt lõi nằm ở việc chuyển từ theo đuổi thông lượng sang bảo mật có thể chứng minh được. Rõ ràng là zkEVM cấp độ L1 phải đáp ứng tiêu chuẩn bảo mật 128 bit và phù hợp với các thông số kỹ thuật mã hóa chính thống. Vì việc làm giả bằng chứng có thể dẫn đến những rủi ro nghiêm trọng như làm giả mã thông báo và can thiệp vào trạng thái L1, nên mức độ bảo mật là không thể thỏa hiệp.
EF đồng thời công bố lộ trình an ninh ba giai đoạn:
- Đến cuối tháng 2 năm 2026, tất cả các nhóm zkEVM phải tích hợp hệ thống chứng minh của họ với công cụ đánh giá bảo mật soundcalc của EF để thống nhất các tiêu chuẩn tính toán bảo mật.
- Tiêu chuẩn Glamsterdam sẽ được hoàn thành vào cuối tháng 5, hiện thực hóa các mục tiêu chuyển đổi như bảo mật có thể chứng minh được ở mức 100 bit.
- Mục tiêu cuối cùng của H-star là hoàn thành vào cuối tháng 12, đạt được tính bảo mật có thể chứng minh được ở mức 128 bit và cung cấp một minh chứng bảo mật chính thức cho cấu trúc liên kết đệ quy.
Để đạt được mục tiêu của mình, EF đề cập đến các công cụ kỹ thuật cốt lõi như WHIR và JaggedPCS, có thể cải thiện hiệu quả bằng cách tối ưu hóa việc tạo bằng chứng và tránh lãng phí sức mạnh tính toán, đồng thời giảm kích thước của bằng chứng bằng cách sử dụng các kỹ thuật như tôpô đệ quy.
Tuy nhiên, nhiều thách thức vẫn còn tồn tại: bằng chứng thời gian thực vẫn chưa được triển khai trên blockchain, và hiệu quả thực tế của các trình xác thực còn đáng ngờ; các tham số bảo mật cần được điều chỉnh linh hoạt khi các giả thuyết toán học bị bác bỏ; chưa rõ liệu một số nhóm có thể đạt được mục tiêu đúng thời hạn hay không; các dự án xác minh chính thức với kiến trúc đệ quy vẫn đang ở giai đoạn đầu, và hệ sinh thái đang phát triển không đồng đều.
Điều đáng chú ý là một khi zkEVM đáp ứng các yêu cầu, nó có thể hỗ trợ Ethereum tăng giới hạn gas, từ đó tăng dung lượng khối đồng thời đảm bảo tính khả thi của việc staking, thúc đẩy L1 trở thành lớp thanh toán đáng tin cậy và làm mờ ranh giới giữa việc thực thi L2 và L1.
Giờ đây, khi giai đoạn chạy đua hiệu năng đã kết thúc, vấn đề cốt lõi của hệ sinh thái zkEVM đã chuyển sang việc đạt được các bằng chứng bảo mật đủ tin cậy để hỗ trợ các tài sản trị giá hàng trăm tỷ đô la mà không cần dựa vào các giả thuyết về tính dễ bị tổn thương. Cuộc đua bảo mật đã chính thức bắt đầu và sẽ là chủ đề chính của Ethereum trong năm 2026.
Tất cả bình luận