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