Lộ trình Interop "tăng tốc": Sau nâng cấp Fusaka, khả năng tương tác của Ethereum có thể đạt bước ngoặt quan trọng

Chainfeeds Dẫn nhập:

Nếu không có ZK thời gian thực, thì rất khó để có một trải nghiệm Interop thực sự khả dụng.

Nguồn bài viết:

Tác giả bài viết:

imToken Labs

Quan điểm:

imToken Labs: Ngày 4 tháng 12, bản nâng cấp Fusaka của Ethereum đã chính thức được kích hoạt trên mainnet, chỉ là không rầm rộ như bản nâng cấp Dencun trước đây, và sự chú ý của thị trường cũng chủ yếu tập trung vào mở rộng Blob và PeerDAS, bàn luận sôi nổi về việc chi phí dữ liệu L2 tiếp tục giảm. Tuy nhiên, ngoài những ồn ào đó, thực ra còn có một đề xuất không mấy nổi bật là EIP-7825, đã xóa bỏ rào cản lớn nhất cho việc hiện thực hóa L1 zkEVM và chứng minh thời gian thực trên Ethereum, thậm chí có thể nói đang âm thầm mở đường cho hồi kết của Interop. Trong lần nâng cấp Fusaka này, mọi sự chú ý gần như đều tập trung vào mở rộng: dung lượng Blob tăng gấp 8 lần, kết hợp với xác minh lấy mẫu ngẫu nhiên PeerDAS, khiến câu chuyện chi phí của đường đua DA (khả dụng dữ liệu) hoàn toàn trở thành lịch sử. Thực sự, L2 rẻ hơn là điều tốt, nhưng đối với lộ trình ZK dài hạn của Ethereum, EIP-7825 mới thực sự là kẻ thay đổi cuộc chơi, bởi nó đã đặt ra giới hạn Gas cho mỗi giao dịch trên Ethereum (khoảng 16,78 triệu Gas). Như mọi người đều biết, năm nay giới hạn Gas của block Ethereum đã được nâng lên 60 triệu, nhưng dù giới hạn này liên tục tăng, về lý thuyết nếu ai đó sẵn sàng trả Gas Price cực cao, họ vẫn có thể gửi một “giao dịch khổng lồ (Mega-Transaction)” cực kỳ phức tạp, chiếm trọn 60 triệu Gas của cả block, từ đó làm tắc nghẽn toàn bộ block. Vậy tại sao lại phải giới hạn kích thước mỗi giao dịch? Thực ra thay đổi này không ảnh hưởng gì đến việc chuyển tiền của người dùng thông thường, nhưng đối với ZK Prover (trình tạo bằng chứng), đây lại là sự khác biệt giữa sống và chết, và điều này liên quan mật thiết đến cách hệ thống ZK tạo ra bằng chứng. Lấy một ví dụ đơn giản, trước EIP-7825, nếu trong block có một “giao dịch khổng lồ” tiêu tốn 60 triệu Gas, ZK Prover buộc phải xử lý tuần tự giao dịch cực kỳ phức tạp này, không thể chia nhỏ, không thể xử lý song song, giống như một con đường cao tốc một làn xe, phía trước có một chiếc xe tải khổng lồ chạy cực chậm, tất cả các xe nhỏ phía sau (các giao dịch khác) đều phải chờ nó đi qua. Điều này rõ ràng đã “kết án tử” cho “chứng minh thời gian thực” — bởi thời gian tạo bằng chứng hoàn toàn không thể kiểm soát, có thể mất hàng chục phút hoặc lâu hơn. Nhưng sau EIP-7825, dù dung lượng block trong tương lai có tăng lên 100 millions Gas, do mỗi giao dịch đều bị giới hạn bắt buộc ở mức dưới 16,78 triệu Gas, mỗi block đều được chia thành các “đơn vị nhiệm vụ nhỏ” có thể dự đoán, có giới hạn, có thể xử lý song song, điều này có nghĩa là việc tạo bằng chứng trên Ethereum đã chuyển từ một “bài toán logic” nan giải thành một “bài toán sức mạnh tính toán (Money Problem)” thuần túy: chỉ cần có thể đầu tư đủ nhiều sức mạnh tính toán song song, chúng ta có thể xử lý đồng thời các nhiệm vụ nhỏ này trong thời gian cực ngắn, từ đó tạo ra bằng chứng ZK cho các block lớn. Tuy nhiên, dù EIP-7825 đã mở đường vật lý (có thể song song hóa) cho chứng minh thời gian thực bằng cách giới hạn kích thước mỗi giao dịch, nhưng đó chỉ là một mặt của đồng xu, mặt còn lại là bản thân Ethereum mainnet sẽ tận dụng khả năng này như thế nào? Điều này liên quan đến câu chuyện cốt lõi nhất trong lộ trình của Ethereum — L1 zkEVM. Từ lâu, zkEVM được coi là “chén thánh” mở rộng Ethereum, không chỉ vì nó có thể giải quyết nút thắt hiệu năng, mà còn bởi nó định nghĩa lại cơ chế tin cậy của blockchain, với ý tưởng cốt lõi là giúp Ethereum mainnet có khả năng tạo và xác minh bằng chứng ZK. Nói cách khác, trong tương lai, sau mỗi block trên Ethereum, đều có thể xuất ra một bằng chứng toán học có thể xác minh, giúp các node khác (đặc biệt là light node và L2) xác nhận tính đúng đắn của kết quả mà không cần tính toán lại — nếu khả năng tạo bằng chứng ZK được viết trực tiếp vào lớp giao thức của Ethereum (L1), mỗi khi proposer đóng gói một block và tạo ra một bằng chứng ZK, các node xác minh sẽ không cần chạy lại giao dịch, chỉ cần xác minh bằng chứng toán học cực nhỏ này.