Ethereum đang tiến tới kỷ nguyên mở rộng quy mô 1 vạn Số lượng giao dịch trên mỗi giây, và công nghệ Bằng chứng không tri thức (ZK) đang trở thành động lực then chốt. Đây là bài thứ hai trong loạt bài 'Lộ trình 1 vạn Số lượng giao dịch trên mỗi giây của Ethereum', sẽ tập trung vào các điểm khó khăn về công nghệ chứng minh thời gian thực, logic tham gia của Prover, thách thức an toàn trong quá trình chuyển đổi L1, cũng như làm thế nào "Rollup gốc" trở thành hình thái cuối cùng của việc mở rộng ZK.
Nếu như việc ZK hóa là điểm khởi đầu của việc tái cấu trúc công nghệ Ethereum, thì "chứng minh thời gian thực" và "Rollup gốc" chính là các nút then chốt để triển khai cuộc cách mạng mở rộng này.
Trong bài này, chúng tôi sẽ tiếp tục nghiên cứu sâu về việc làm thế nào để đạt được chứng minh ZK thời gian thực trong vòng 12 giây trên mạng chủ Ethereum, ngưỡng phần cứng và cơ chế khích lệ để trở thành Prover là gì, và làm thế nào Rollup gốc sẽ thay đổi bố cục của Ethereum L2.
01, Chứng minh thời gian thực: Mảnh ghép then chốt của việc mở rộng Ethereum
Trên lộ trình hướng tới 1 vạn Số lượng giao dịch trên mỗi giây, có một điểm đột phá công nghệ không thể thiếu: chứng minh thời gian thực (real-time proving).
Nhà đồng sáng lập Succinct, Uma Roy, giải thích như sau: "Chứng minh thời gian thực, nghĩa là có thể hoàn thành quá trình sinh chứng minh ZK cho một block của mạng chủ Ethereum trong thời gian dưới 12 giây".
Điều này có nghĩa là gì? Một khi chứng minh thời gian thực được thực hiện, Ethereum sẽ có thể đưa logic xác minh block vào giao thức, và trong điều kiện không hy sinh tính có thể xác minh, gần như "tùy ý" nâng cao giới hạn gas, từ đó thực hiện việc mở rộng quy mô lớn cho L1 (Ghi chú của biên tập: Thời gian tạo mỗi block của mạng chủ Ethereum là 12 giây, do đó "thời gian thực" có nghĩa là hoàn thành chứng minh trong mỗi chu kỳ block).
Tuy nhiên, để đạt được chứng minh thời gian thực, chỉ dựa vào công nghệ zkVM là chưa đủ, còn cần phải thay đổi lớp giao thức Ethereum.
Ladislaus từ Quỹ Ethereum cho biết, dự kiến sẽ giới thiệu một cơ chế then chốt trong nâng cấp Glamsterdam năm tới - "tách rời xác minh block và thực thi ngay lập tức", điều này sẽ cung cấp thời gian dồi dào hơn cho Prover (người chứng minh) để sinh chứng minh zkEVM trong một slot hoàn chỉnh, từ đó thực hiện xử lý thực sự theo thời gian thực.
Nói cách khác, nếu Rollup gốc trở thành hiện thực, thì trong tương lai, cho dù là một giao dịch diễn ra trên L1 hay một giao dịch diễn ra trên Rollup gốc, việc quyết toán cuối cùng và an toàn đều được đảm bảo bởi cùng một nhóm người xác thực Ethereum, mức độ tin cậy sẽ hoàn toàn tương đương.
Điều này có nghĩa là việc gửi 10 triệu đô la vào Rollup gốc sẽ có mức độ an toàn tương đương với việc gửi trực tiếp vào mạng chủ Ethereum.
Declan Fox, người phụ trách dự án Linea, cho rằng mục tiêu dài hạn của họ là trở thành một Rollup gốc, ông cho rằng đây là phiên bản "nâng cấp" của kế hoạch phân đoạn ETH 2.0 - không còn là việc chạy cứng 64 chuỗi phân đoạn có cấu trúc giống nhau, mà là xây dựng hệ thống Rollup dị hình theo cách có thể lập trình và tùy chỉnh cao, phục vụ các kịch bản và nhu cầu người dùng khác nhau.
Khác với kiến trúc phân đoạn đồng hình trong ETH 2.0 trước đây, Rollup gốc có thể là dị hình, mang lại trải nghiệm ứng dụng đa dạng và khác biệt hơn cho người dùng cuối.
Mặc dù Rollup gốc chưa được ghi chính thức vào lộ trình Ethereum, nhưng với việc zkEVM chính thức được khởi động, kiến trúc L1 được tái cấu trúc từng bước, việc thiết lập giao diện và logic tiền biên dịch cho nó rõ ràng đã trở thành một xu hướng công nghệ có thể dự đoán được.
Ladislaus kết luận, "Trong việc Snark hóa EVM (tức là tích hợp khả năng chứng minh ZK) và thúc đẩy Rollup gốc, Ethereum tồn tại sự đồng bộ kỹ thuật cao, bởi vì cả hai đều chia sẻ ngăn xếp công nghệ ZK cơ bản", tất nhiên quá trình này vẫn cần phải thông qua quản trị cộng đồng Ethereum, hình thành EIP (Đề xuất cải tiến Ethereum), và cuối cùng được triển khai trong một hard fork.
Với dự đoán lạc quan, nếu mọi thứ diễn ra thuận lợi, có thể cuối năm nay sẽ nộp EIP liên quan và ra mắt trong hard fork sau nâng cấp Glamsterdam.
Tuy nhiên, lịch trình này vẫn còn nhiều không chắc chắn và cần được xem xét một cách thận trọng.
