Tác giả: imToken
Trong các bài viết trước của loạt bài Interop, chúng tôi đã lần lượt thảo luận về OIF (Khung ý định) và EIL (Lớp tương tác), chúng giải quyết tương ứng vấn đề chuẩn hóa ý định xuyên chuỗi (để toàn mạng hiểu bạn muốn làm gì) và vấn đề kênh thực thi (để nguồn vốn có thể vận hành một cách chuẩn hóa).
Nhưng để đạt được "trải nghiệm chuỗi đơn" hoàn hảo, vẫn phải đối mặt với sự đánh đổi giữa tốc độ và sự tin cậy. Xét cho cùng, trong trải nghiệm tương tác hiện tại, hoặc là phải chịu sự chậm trễ (như Optimistic Rollup cần thời gian chờ 7 ngày để xác nhận tính cuối cùng), hoặc là hy sinh tính phi tập trung (dựa vào giả định tin cậy của cầu đa ký).
Để phá vỡ "tam giác bất khả thi" này, không thể thiếu một năng lực nền tảng trải dài trên lộ trình "tăng tốc (Acceleration)" và xác định cuối cùng (Finalisation) của khả năng tương tác Ethereum — đó là "bằng chứng thời gian thực" do công nghệ ZK mang lại (Đọc thêm 《Lộ trình Interop của Ethereum: Cách mở khóa "chặng cuối cùng" cho việc áp dụng quy mô lớn》).
Và trong bản nâng cấp Fusaka vừa được kích hoạt, EIP-7825 không mấy nổi bật, lại chính là thứ dọn dẹp chướng ngại kỹ thuật lớn nhất cho sự kết thúc này.
一、Đằng sau nâng cấp Fusaka, EIP-7825 bị đánh giá thấp
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 mạng chính, chỉ là không ồn ào như bản nâng cấp Dencun ngày trước, ánh đèn sân khấu của thị trường cũng tập trung nhiều vào việc mở rộng Blob và PeerDAS, bàn tán sôi nổi về việc giảm thêm chi phí dữ liệu L2.
Nhưng ngoài sự ồn ào đó, thực ra còn có một đề xuất không mấy nổi bật là EIP-7825, đã dọn dẹp chướng ngại lớn nhất để Ethereum triển khai L1 zkEVM và bằng chứng thời gian thực, thậm chí có thể nói đang âm thầm mở đường cho sự kết thúc của Interop.
Trong bản nâng cấp Fusaka này, trọng tâm chú ý của mọi người hầu như đều nằm ở việc mở rộng: Dung lượng Blob mở rộ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 phân khúc DA (Khả năng khả dụng dữ liệu) hoàn toàn trở thành lịch sử.
Đúng vậy, 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à yếu tố thay đổi cuộc chơi, bởi vì nó đặt ra một giới hạn Gas cho mỗi giao dịch của 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 khối Ethereum đã được nâng lên 60 triệu, nhưng ngay cả khi giới hạn trên không ngừng tăng lên, về lý thuyết nếu có người sẵn sàng trả giá Gas cực cao, họ vẫn có thể gửi một "Giao dịch siêu lớn (Mega-Transaction)" cực kỳ phức tạp, chiếm trọn dung lượng Gas 60 triệu của toàn bộ khối, từ đó làm tắc nghẽn toàn bộ khối.
Điều này trước đây vẫn được cho phép, nhưng EIP-7825 đã đưa ra giới hạn mới, đó là dù khối có lớn đến đâu, mức tiêu thụ của một giao dịch đơn lẻ không được vượt quá 16.78 triệu Gas.
Vậy tại sao lại phải giới hạn kích thước giao dịch đơn? Thực ra thay đổi này không ảnh hưởng gì đến chuyển tiền của người dùng thông thường, nhưng đối với ZK Prover (bộ tạo bằng chứng), đó lại là ranh giới sống chết, và điều này cũng liên quan mật thiết đến cách thức 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 khối có chứa một giao dịch "siêu lớn" tiêu tốn 60 triệu Gas, ZK Prover bắt buộc phải chạy 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, điều này giống như một đường cao tốc một làn xe, phía trước có một chiếc xe tải si lớn chạy rất chậm, tất cả các xe con (giao dịch khác) phía sau đều phải tắc đường chờ nó đi qua.
Điều đó chẳng khác nào tuyên án tử hình "bằng chứng thời gian thực" — bởi vì thời gian tạo bằng chứng hoàn toàn không thể kiểm soát, có thể mất vài chục phút hoặc thậm chí lâu hơn.
Trong khi đó, sau EIP-7825, cho dù dung lượng khối trong tương lai có mở rộng đến 100 triệu Gas, do mỗi giao dịch đều bị giới hạn cứng trong 16.78 triệu Gas, mỗi khối đều được chia nhỏ thành các "đơn vị tác 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 của Ethereum, từ một "bài toán logic" hóc búa, đã trở thành một "vấn đề đổ sức tính toán (Money Problem)" thuần túy:
Chỉ cần có thể đầu tư đủ nhiều sức tính toán song song, chúng ta có thể xử lý đồng thời các tác vụ nhỏ được chia nhỏ này trong thời gian cực ngắn, từ đó tạo ra bằng chứng ZK cho các khối cực lớn.
Như Michael, đồng sáng lập kiêm CEO của Brevis đã nói, EIP-7825 là bản nâng cấp bị đánh giá thấp nhất trên con đường mở rộng quy mô gấp 100 lần của ZK và Ethereum trong tương lai, nó biến "bằng chứng thời gian thực" từ "bất khả thi về lý thuyết" thành "có thể lập lịch về mặt kỹ thuật", chỉ cần chúng ta có thể giải quyết vấn đề sức tính toán thông qua tính toán song song, ngay cả khối 200 triệu Gas, cũng có hy vọng đạt được bằng chứng cấp độ giây, đây không chỉ là đột phá của công nghệ ZK, mà còn là nền tảng vật lý để lớp tương tác Ethereum (EIL) có thể đạt được thanh toán xuyên chuỗi cấp độ giây.
Vì vậy, bản nâng cấp lần này thoạt nhìn có vẻ không phải là trọng tâm, nhưng thực tế đối với lộ trình ZK và tương lai mở rộng quy mô của Ethereum vào năm 2026, đây lại là một bước đột phá lớn.
二、L1 zkEVM: "Điểm neo tin cậy" cho khả năng tương tác của Ethereum
Tuy nhiên, mặc dù EIP-7825 thông qua việc giới hạn kích thước giao dịch đơn, đã mở đường về mặt vật lý (có thể song song hóa) cho bằng chứng thời gian thực, nhưng đây chỉ là một mặt của đồng xu, mặt còn lại là, bản thân mạng chính Ethereum 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 suất, mà còn vì nó định nghĩa lại cơ chế tin cậy của blockchain, với ý tưởng cốt lõi là cho phép mạng chính Ethereum 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, mỗi khối của Ethereum sau khi thực thi, đều có thể xuất ra một bằng chứng toán học có thể xác minh, khiến các nút khác (đặc biệt là nút nhẹ và L2) không cần tính toán lặp lại vẫn có thể xác nhận tính đúng đắn của kết quả — 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), người đề xuất (Proposer) mỗi khi đóng gói một khối và tạo ra một bằng chứng ZK, các nút xác thực sẽ không cần chạy lại giao dịch, mà chỉ cần xác minh bằng chứng toán học cực nhỏ này.
Điều này có ý nghĩa gì đối với khả năng tương tác?
Trong ngữ cảnh của Interop, ý nghĩa của L1 zkEVM vượt xa bản thân việc mở rộng quy mô, có thể nói nó là "điểm neo tin cậy" của tất cả L2, xét cho cùng nếu Ethereum L1 có thể tạo bằng chứng theo thời gian thực, điều đó có nghĩa là tất cả L2 đều có thể đọc trạng thái cuối cùng của L1 một cách thời gian thực, không cần tin cậy, điều này sẽ mang lại hai biến đổi chất lượng:
-
Loại bỏ thời gian chờ thách thức: Thời gian xác nhận giữa các chuỗi sẽ được nén từ "7 ngày (cơ chế OP)" xuống "cấp độ giây (cơ chế ZK)";
-
Kết nối phi tập trung: Xuyên chuỗi không còn cần tin tưởng vào cầu đa ký của bên thứ ba, mà là tin tưởng vào chân lý toán học của mạng chính Ethereum;
Đây cũng là nền tảng vật lý mà EIL (Lớp tương tác) mà chúng tôi đề cập trong bài viết trước có thể thực sự vận hành thông suốt — không có tính cuối cùng (Finality) thời gian thực của L1, khả năng tương tác giữa các L2 sẽ mãi mãi không thoát khỏi cái bóng của "độ trễ".
Đã có mục tiêu (L1 zkEVM), hạn chế vật lý cũng được dỡ bỏ (EIP-7825), vậy công cụ triển khai cụ thể là gì?
Điều này dẫn đến sự tiến hóa tinh tế đang diễn ra trong chồng công nghệ ZK: từ zkEVM chuyển hướng sang zkVM.
三、Fusaka & EIP-7825: Lộ trình khả năng tương tác đón nhận sự giải phóng
Nếu nói EIP-7825 thông qua việc giới hạn kích thước giao dịch đơn, đã cung cấp "môi trường phần cứng có thể song song hóa" cho ZK, thì sự tiến hóa của chồng công nghệ ZK là để tìm kiếm "kiến trúc phần mềm hiệu quả hơn", điều này nghe có vẻ giống trò chơi chữ, nhưng khác biệt rất lớn, và cũng đại diện cho hai giai đoạn phát triển của ZK (Đọc thêm 《"Thời khắc bình minh" của lộ trình ZK: Lộ trình kết thúc của Ethereum đang tăng tốc toàn diện?》).
Giai đoạn đầu tiên đương nhiên là zkEVM, có thể coi là phái tương thích hay phái cải lương.
Logic là cố gắng bắt chước từng chỉ thị của EVM Ethereum, để các nhà phát triển có thể triển khai mã Solidity trực tiếp, giảm thiểu chi phí và rào cản di chuyển.
Nói cách khác, lợi thế lớn nhất của zkEVM là tương thích với các ứng dụng Ethereum hiện có, giảm đáng kể khối lượng công việc của nhà phát triển hệ sinh thái Ethereum, họ có thể tái sử dụng phần lớn cơ sở hạ tầng và công cụ hiện có (bao gồm máy khách thực thi, trình duyệt khối, công cụ gỡ lỗi, v.v.).
Tuy nhiên, cũng chính vì vậy, do EVM khi thiết kế ban đầu không xem xét đến tính thân thiện với ZK, để tương thích, hiệu suất chứng minh của zkEVM thường có trần, thời gian chứng minh chậm hơn nhiều, gánh nặng lịch sử khá lớn.
Trong khi zkVM thuộc phái cách mạng triệt để, trực tiếp xây dựng một máy ảo cực kỳ thân thiện với việc chứng minh ZK (ví dụ dựa trên RISC-V hoặc WASM), để tăng tốc thời gian chứng minh, và đạt được tốc độ thực thi và hiệu suất tốt hơn.
Nhưng cũng sẽ mất đi khả năng tương thích với nhiều tính năng EVM, cũng như khả năng sử dụng các công cụ hiện có (như trình gỡ lỗi cấp thấp), tuy nhiên hiện tại một xu hướng rõ ràng là ngày càng nhiều dự án L2 bắt đầu cởi bỏ gánh nặng, tối ưu hóa cực độ tốc độ và chi phí chứng minh, khám phá kiến trúc dựa trên zkVM.
Vậy tại sao nói bản nâng cấp Fusaka là chìa khóa mở?
Xét cho cùng, trước EIP-7825, cho dù là zkEVM hay zkVM, một khi gặp phải giao dịch siêu lớn trên Ethereum, đều sẽ không thể chia nhỏ tác vụ dẫn đến thời gian tạo bằng chứng tăng vọt.
Nhưng bây giờ, EIP-7825 buộc phải chia nhỏ giao dịch thành các đơn vị nhỏ có thể dự đoán, có môi trường song song, kiến trúc hiệu quả như zkVM có thể phát huy sức mạnh tối đa, ngay cả các khối Ethereum phức tạp, đưa vào zkVM, kết hợp với sức tính toán song song, cũng có thể đạt được bằng chứng thời gian thực.
Điều này có ý nghĩa gì đối với khả năng tương tác? Sự phổ biến của zkVM kết hợp với EIP-7825, có nghĩa là chi phí tạo bằng chứng sẽ giảm mạnh. Khi chi phí tạo một bằng chứng xuyên chuỗi thấp đến mức có thể bỏ qua, và tốc độ nhanh như gửi email, thì "cầu xuyên chuỗi" truyền thống sẽ biến mất hoàn toàn, thay vào đó là giao thức tin nhắn chung ở tầng dưới.
Lời kết
Như đã nhiều lần đề cập trong các bài viết trước của loạt bài Interop, mục tiêu cuối cùng của Interop không chỉ là tài sản "xuyên chuỗi", cũng không còn giới hạn trong khái niệm "cầu tài sản", mà là một tập hợp các khả năng cấp hệ thống, bao gồm truyền thông dữ liệu xuyên chuỗi, thực thi logic xuyên chuỗi, trải nghiệm người dùng xuyên chuỗi, an ninh và đồng thuận xuyên chuỗi.
Từ góc độ này, Interop có thể hiểu là ngôn ngữ chung giữa các giao thức trong hệ sinh thái Ethereum tương lai, ý nghĩa của nó không chỉ nằm ở việc truyền tải giá trị, mà còn ở việc chia sẻ logic, và vai trò của ZK trong đó là đảm bảo tính đúng đắn của việc thực thi, hỗ trợ xác minh trạng thái thời gian thực, khiến việc gọi xuyên miền trở nên "dám làm, có thể làm", thậm chí có thể nói, không có ZK thời gian thực, thì khó có thể có UX Interop thực sự khả dụng.
Vì vậy, khi EIP-7825 được kích hoạt một cách âm thầm trong bản nâng cấp Fusaka, khi L1 zkEVM dần trở thành hiện thực, chúng ta đang tiến vô cùng gần đến sự kết thúc đó: thực thi, quyết toán, chứng minh được trừu tượng hóa hoàn toàn ở hậu trường, người dùng hoàn toàn không cảm nhận được sự tồn tại của chuỗi.
Đây cũng là sự kết thúc của Interop mà mỗi chúng ta mong đợi trong tương lai.
