Ethereum Foundation thay đổi ưu tiên: an toàn thay vì tốc độ, 128-bit như yêu cầu không thể thu hồi đến năm 2026

zkEVM ecosystem đã giải quyết câu đố về tốc độ. Trong vòng một năm qua, thời gian tạo chứng minh đã giảm từ 16 phút xuống còn 16 giây, phí giao dịch giảm 45 lần, và phần lớn các nút mạng hiện nay xác thực 99% các khối trong 10 giây trên phần cứng tiêu chuẩn. Quỹ Ethereum chính thức công bố chiến thắng này vào ngày 18 tháng 12 — áp lực về khả năng xử lý đã cuối cùng lùi bước. Nhưng đằng sau thành công về tốc độ lại là một cuộc khủng hoảng về độ tin cậy.

Từ tốc độ đến độ tin cậy: bước ngoặt

Toán học của nhiều cấu trúc dựa trên STARK bắt đầu sụp đổ trong những tháng gần đây. Những giả định mà các nhà thiết kế dựa vào đã trở nên không khả thi. Đặc biệt, điều này liên quan đến “proximity gap” trong các giao thức SNARK và STARK dựa trên hàm băm — những giả định đã bị cộng đồng học thuật bác bỏ. Kết quả: an toàn hiệu quả của một số tham số đã giảm xuống mức thấp hơn nhiều so với tuyên bố ban đầu.

Quỹ Ethereum kết luận rằng sự thiếu tin cậy ẩn trong toán học — không thể chấp nhận đối với hệ thống L1. Thay vì chiến lược “an toàn dựa trên giả định”, họ đặt ra yêu cầu tuyệt đối: độ an toàn được chứng minh, với bộ bit tối thiểu là 128. Điều này phù hợp với tiêu chuẩn học thuật và thực hành mãi mãi trong mật mã — mức mà ngay cả các cuộc tấn công lý thuyết cũng không thể đạt tới.

Logic rất đơn giản: nếu ai đó làm giả chứng minh zkEVM, họ sẽ ghi đè toàn bộ trạng thái của L1, tạo token từ không, buộc giao thức phải nói dối. Đây không chỉ là một lỗ hổng hợp đồng thông thường — đó là sự sụp đổ của niềm tin vào toàn bộ hệ thống. Chính vì vậy, EF nhấn mạnh vào “dự trữ an toàn không thể tranh cãi”.

Ba giai đoạn triển khai với thời hạn nghiêm ngặt

Mốc đầu tiên — tháng 2 năm 2026:
Mỗi nhóm zkEVM phải tích hợp hệ thống chứng minh của mình vào “soundcalc” — công cụ tính toán độ an toàn phổ quát do EF hỗ trợ. Thay vì mỗi dự án tuyên bố độ an toàn dựa trên giả định riêng, tất cả sẽ dùng chung một chuẩn. soundcalc sẽ được cập nhật khi phát hiện các cuộc tấn công mới, đảm bảo các đánh giá luôn chính xác.

Mốc thứ hai — tháng 5 năm 2026 (“Glamsterdam”): Yêu cầu tối thiểu về độ an toàn đã được chứng minh là 100 bit, kích thước chứng minh cuối cùng tối đa 600 kilobyte, cùng với giải thích công khai về kiến trúc đệ quy của từng ngăn. Đây là bước đi nhẹ nhàng hơn trước yêu cầu cuối cùng — mục tiêu trung gian, phân chia các hệ thống tương đối an toàn và rõ ràng chưa đủ.

Mốc thứ ba — tháng 12 năm 2026 (“H-star”): Mục tiêu hoàn chỉnh: độ an toàn 128-bit, chứng minh không quá 300 kilobyte, và có lý luận mật mã chính thức về cấu trúc đệ quy. Ở giai đoạn này, kỹ thuật sẽ chuyển sang xác thực chính thức — thế giới của các chứng minh, chứ không còn giả định.

Bộ công cụ kỹ thuật để đạt được điều không thể

Quỹ Ethereum không chỉ đưa ra các yêu cầu — họ còn chỉ rõ các công cụ giúp làm cho chứng minh 128-bit và 300 kilobyte trở thành hiện thực.

WHIR — thử nghiệm mới về độ gần Reed-Solomon, đồng thời là sơ đồ cam kết cho đa thức nhiều dòng. So với các cấu trúc FRI trước đây: chứng minh nhỏ hơn 1,95 lần cùng mức độ an toàn, xác thực nhanh hơn nhiều. Điều này đảm bảo khả năng chống lượng tử mà không tăng kích thước.

JaggedPCS — phương pháp tránh lãng phí quá mức khi mã hóa các đường dẫn như đa thức. Người chứng minh giảm thiểu công việc không cần thiết, giữ cho các cam kết ngắn gọn và súc tích.

Grinding và kiến trúc đệ quy có cấu trúc tốt — thử nghiệm tham số của giao thức để tìm ra các chứng minh rẻ hơn, nhỏ hơn trong phạm vi độ tin cậy, cộng với các sơ đồ nhiều cấp, trong đó hàng trăm chứng minh nhỏ được hợp nhất thành một chứng minh cuối cùng với độ an toàn được chứng minh kỹ lưỡng.

Các nhóm độc lập như Whirlaway đã bắt đầu thử nghiệm WHIR cho các STARK đa dòng với hiệu quả cao hơn. Toán học đang tiến bộ nhanh chóng, nhưng cũng đang thoái lui khỏi các giả định mà nửa năm trước còn được xem là đảm bảo.

Các cược lớn, câu hỏi chưa có lời giải

Nếu chứng minh có thể thực hiện trong chưa đầy 10 giây và kích thước dưới 300 kilobyte, Ethereum có thể mở rộng giới hạn gas một cách đáng kể mà không cần validator phải thực thi lại từng giao dịch. Thay vào đó, họ sẽ xác thực chứng minh nhỏ gọn — mở ra khả năng staking thực tế với khả năng xử lý cao.

Nhưng thực tế vẫn còn xa so với môi trường thử nghiệm của EthProofs. Chứng minh thời gian thực — hiện vẫn là chuẩn ngoài chuỗi, phụ thuộc vào phần cứng tùy chỉnh và tải kiểm soát. Khoảng cách đến hàng nghìn validator độc lập, những người sẽ chạy thử tại nhà, vẫn còn rất lớn.

Điều có thể khó nhất không phải là toán học, mà là việc chính thức hóa toàn bộ kiến trúc đệ quy. Nhiều zkEVM gồm hàng chục sơ đồ, ghép lại bằng “mạch keo”. Việc mô tả và xác thực độ an toàn của các ngăn này là một công việc lớn cho các dự án như Verified-zkEVM, vẫn còn trong giai đoạn sơ khai.

Ngoài ra, bộ 100 bit ngày nay có thể sẽ được xem xét lại vào ngày mai nếu xuất hiện các cuộc tấn công mới. soundcalc liên tục “di chuyển”, cập nhật theo tiến trình của phân tích mật mã.

Từ cuộc đua về tốc độ đến cuộc đua về độ tin cậy

Năm trước, câu hỏi là: zkEVM có thể chứng minh đủ nhanh không? Câu trả lời đã có. Bây giờ, câu hỏi thực sự là: liệu chúng có thể chứng minh đủ tin cậy — ở mức độ an toàn không phụ thuộc vào giả định có thể bị phá vỡ, với chứng minh nhỏ gọn để phân phối P2P, với kiến trúc được xác thực chính thức cho hàng trăm tỷ đô la?

Cuộc đua về khả năng xử lý đã kết thúc. Cuộc đua về độ an toàn không thể phủ nhận mới bắt đầu.