Nguồn: Tạp chí Cointelegraph, Biên dịch: imToken
Lời biên tập: Ethereum đang tiến tới kỷ nguyên mở rộng quy mô với 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. Bài viết này sẽ tập trung vào các thách thức kỹ thuật của 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, và 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 kỹ thuật Ethereum, thì "chứng minh thời gian thực" và "Rollup gốc" chính là các giai đoạn triển khai cốt lõi của 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ề cách thực hiện chứng minh ZK thời gian thực trong 12 giây trên mạng chủ Ethereum, ngưỡng phần cứng và cơ chế khuyến khích trở thành Prover, và làm thế nào Rollup gốc sẽ thay đổi bối cảnh L2 của Ethereum.
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á kỹ thuật 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à khả năng tạo ra quá trình chứng minh ZK cho một khối 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 thực khối vào giao thức của chính nó, và trong điều kiện không hy sinh tính có thể xác minh, hầu như có thể tăng giới hạn gas "một cách tùy ý", từ đó thực hiện việc mở rộng quy mô L1 (Ghi chú: Thời gian tạo mỗi khối 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ỳ khối).
Tuy nhiên, để thực hiện 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 thực khối 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) để tạo 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.
(Phần còn lại của bản dịch tương tự như trên, tuân thủ các quy tắc dịch đã được đặt ra)Tầm nhìn của "Rollup gốc" hoàn toàn khác nhau - thông qua việc tích hợp zkEVM vào mạng chủ, cho phép người xác thực Ethereum L1 trực tiếp xác minh bằng chứng chuyển đổi trạng thái của Rollup, từ đó thực hiện L2 được xác thực và đảm bảo an toàn trực tiếp bởi mạng chủ.
Điều này đòi hỏi phải thêm một đoạn mã quan trọng "execute precompile" trong máy trạm Ethereum L1, cho phép người xác thực trực tiếp kiểm tra bằng chứng chuyển đổi trạng thái ZK do L2 tạo ra, như điều phối viên giao thức Quỹ Ethereum Ladislaus đã nói, "Người xác thực L1 sẽ tiêu thụ các bằng chứng thực thi của Rollup này và xác minh tính chính xác của chúng".
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 cùng một nhóm người xác thực Ethereum đảm bảo, 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 biết 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 của ETH 2.0 trong quá khứ, 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 cùng.
Mặc dù Rollup gốc chưa được ghi chính thức vào lộ trình của Ethereum, nhưng với việc zkEVM chính thức được khởi động, kiến trúc L1 được từng bước tái cấu trúc, việc đặt trước giao diện và logic precompile cho nó rõ ràng đã trở thành một xu hướng công nghệ có thể dự đoán được.
Ladislaus tổng kết, "Trong việc EVM Snark hóa (tức là tích hợp khả năng bằng chứng 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 Đề xuất cải tiến Ethereum (EIP), 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ể đến cuối năm 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.
