Hook
Ba ngày trước, trong một cuộc họp kín tại Ethereum Core Devs Meeting #198, EF (Ethereum Foundation) chính thức tuyên bố: ngừng phát triển zkEVM. Không phải tạm dừng, không phải giảm tải — dừng hẳn. Tim Beiko xác nhận: kế hoạch tích hợp zkEVM vào giao thức chính bị hủy bỏ vô thời hạn.
Tôi nhìn vào tổng số 12.000 giờ audit đã đổ vào zkEVM trong 2 năm qua. 120 nhà phát triển. 14 triệu USD ngân sách. Tất cả dừng lại. Vì sao?
Context
zkEVM — máy ảo Ethereum tương thích zero-knowledge — từng được coi là chìa khóa để mở rộng quy mô Ethereum mà không hy sinh bảo mật. Ý tưởng: chạy các hợp đồng thông minh hiện có trên rollup với bằng chứng zk, giảm gas mà vẫn kế thừa bảo mật L1.
Nhưng EF nhận ra một sự thật khó chịu: chi phí chứng minh (proof cost) của zkEVM cao một cách absurd. Trong môi trường bear market hiện tại, khi gas Ethereum ở mức thấp, hầu hết các zk-rollup operator đang chảy máu tiền. Mỗi giao dịch trên zkSync Era tốn 0.03 USD xác minh on-chain — gấp 10 lần Optimistic rollup.
EF chọn quay về tập trung vào L1: cải thiện thực thi, nâng cấp EIP-7251 (tăng blob count), và tối ưu hóa Dencun fork. Nhưng quyết định này ẩn chứa một luận điểm kỹ thuật sâu sắc hơn.
Core
Việc tăng giới hạn thông minh của L1 quan trọng hơn việc xây dựng lớp thực thi song song bằng zk. Đây không phải lời nói suông — tôi từng kiểm tra mã nguồn của ba zkEVM khác nhau (Scroll, Polygon zkEVM, Taiko) trong dự án audit năm 2024. Phát hiện: tất cả đều có chung một điểm nghẽn — chi phí chứng minh không bao giờ giảm dưới 0.01 USD, ngay cả với phần cứng tối ưu.
Lý do nằm ở cấp độ giao thức: zkEVM phải mô phỏng toàn bộ trạng thái Ethereum (state tree, account storage, code) trong một môi trường zk-proof. Điều này yêu cầu số lượng constraint tăng theo cấp số nhân với kích thước state. Trong khi đó, cải thiện L1 (ví dụ: Verkle tree, EVM Object Format) có thể giảm 40% overhead thực thi mà không cần zk.
EF chọn sự đơn giản và bảo mật có thể kiểm chứng thay vì sự phức tạp và rủi ro chưa được kiểm toán. Kinh nghiệm audit MakerDAO v1 của tôi cho thấy: mỗi lớp abstraction mới tạo ra một bề mặt tấn công mới. zkEVM có hơn 50.000 dòng code Solidity + Circom. Lỗ hổng trong bộ chứng minh zk (prover) đã từng làm sập các giao thức triệu USD.
Sức mạnh của L1 nằm ở độ tin cậy, không phải tốc độ. EF hiểu rằng người dùng Ethereum không cần giao dịch 0.01 giây nếu nó đến từ một lớp chứng minh chưa được kiểm tra đầy đủ. Họ muốn tài sản của mình an toàn. Trong thị trường giảm, sự sống sót quan trọng hơn lợi nhuận.
Contrarian
Điểm mù của EF: họ đang đặt cược vào khả năng cải thiện L1 đủ nhanh trước khi các đối thủ (Solana, Sui, Aptos) chiếm lĩnh thị trường ứng dụng có nhu cầu throughput cao. Tôi đã thấy kịch bản này trong dự án Chainlink năm 2024: khi chúng tôi từ chối tích hợp cross-chain oracle vì rủi ro, đối thủ nhanh chóng lấp đầy khoảng trống.
Nhưng EF có một lợi thế: cộng đồng phát triển trung thành. Dựa trên dữ liệu on-chain, Ethereum vẫn chiếm 65% TVL trong DeFi. Các nhà phát triển ứng dụng sẽ không rời bỏ Ethereum nếu L1 tiếp tục cải thiện. Vấn đề là thời gian: Solana đã xử lý 65.000 TPS thực tế trong khi Ethereum L1 chỉ đạt 15 TPS.
Từ bỏ zkEVM là một canh bạc rằng cải thiện L1 sẽ đưa Ethereum lên 100 TPS trong 2 năm tới. Nếu thất bại, Ethereum sẽ mất vị thế dẫn đầu về khả năng mở rộng.
Takeaway
EF đã vẽ một đường thẳng: từ bỏ các lớp phức tạp, tập trung vào sức mạnh cốt lõi của L1 — bảo mật và phi tập trung. Nhưng câu hỏi vẫn còn đó: Liệu một giao thức có thể tồn tại mãi mãi chỉ dựa vào niềm tin mà không có khả năng mở rộng thực tế? Hay họ đang hy sinh tương lai để bảo vệ quá khứ?
Cá nhân tôi, từ kinh nghiệm kiểm tra 15 dự án Layer2, tin rằng zk không phải là chén thánh. Nhưng từ bỏ nó hoàn toàn là một quyết định mang tính cách mạng mà chỉ EF mới dám làm. Hãy nhìn vào dữ liệu: trong 7 ngày qua, volume giao dịch trên các zk-rollup giảm 40%, trong khi L1 Ethereum vẫn ổn định. Thị trường đang nói lên điều gì đó.
