Từ chứng minh cấp phút đến an ninh cấp slot: zkEVM thực hiện xác thực thời gian thực có nghĩa là gì?

Tác giả: Tia, Techub News

Khi “zkEVM thực hiện xác thực thời gian thực, thời gian chứng minh giảm từ 16 phút xuống 16 giây” được nhắc đi nhắc lại, nó thường được hiểu là một sự nâng cao hiệu suất đơn thuần. Nhưng trong hệ thống zk, thời gian không phải là một chỉ số trung tính.

Sự thay đổi về độ lớn của độ trễ sẽ quyết định trực tiếp việc zkEVM có thể vào được đường dẫn thời gian quan trọng của hệ thống hay không, từ đó thay đổi vai trò của nó trong kiến trúc.

16 giây không chỉ là “nhanh hơn”, mà là lần đầu tiên đưa chứng minh zk vào quy mô thời gian gần với slot khối. Bước này có ảnh hưởng bản chất khác nhau đối với L2 zkEVM và L1 zkEVM.

Đối với L2 zkEVM: Từ “tính cuối cùng sau sự kiện” đến trạng thái đáng tin cậy cấp slot

Trong L2 zkEVM, chức năng của zk chứng minh là chứng minh tính hợp lệ của một chuyển đổi trạng thái L2 đến Ethereum L1.

Sự chậm trễ chứng minh khoảng 16 phút qua có nghĩa là một ràng buộc thực tế:

Mặc dù L2 có tính cuối cùng ngay lập tức về lý thuyết, nhưng trong thực tế, việc xác nhận an toàn của nó luôn bị chậm lại nhiều chu kỳ khối.

Điều này dẫn đến việc các khối L2 lâu dài ở trạng thái “xác nhận mềm”.

Trải nghiệm của người dùng là ngay lập tức

Còn phải chờ đợi cho L1 và các hệ thống bên ngoài.

Khi thời gian xác minh giảm xuống khoảng 16 giây, cấu trúc này đã xảy ra một sự biến đổi chất.

Đầu tiên, zk chứng minh bắt đầu có thể được tạo ra theo slot cuộn thay vì phải bù đắp một cách hàng loạt qua nhiều khối lịch sử.

Điều này có nghĩa là các khối L2 lần đầu tiên có ý nghĩa an toàn theo thời gian gần giống như L1, và không còn chỉ là trạng thái trung gian chờ xác nhận cuối cùng.

Thứ hai, điều này ảnh hưởng trực tiếp đến mô hình niềm tin của hệ thống xuyên miền.

Cầu nối chuỗi chéo, nạp tiền CEX, hệ thống thanh toán có thể dựa vào kết quả xác minh zk trên L1 trong thời gian giây, thay vì thiết lập thêm cửa sổ chờ hoặc kiểm soát rủi ro thủ công.

Quan trọng hơn, zkEVM lần đầu tiên đạt được sự ngang bằng với Optimistic Rollup về mặt trải nghiệm người dùng. Đường đi zk không còn chỉ là “một lớp thanh toán an toàn nhưng chậm”, mà bắt đầu trở thành môi trường thực thi có thể hỗ trợ các ứng dụng thời gian thực.

Đối với L1 zkEVM: zk lần đầu tiên tiếp cận quy mô thời gian đồng thuận.

L1 zkEVM không phải là một Rollup, mà là một cấu trúc tiềm năng cho cách thực hiện xác minh L1.

Giả thuyết đồng thuận hiện tại của Ethereum là: mỗi trình xác thực cần phải thực hiện lại EVM, tự mình xác minh rằng các chuyển đổi trạng thái trong khối là chính xác. Khả năng thực thi do đó trở thành một phần của an ninh đồng thuận, cũng trở thành ràng buộc cứng đối với tính mở rộng của hệ thống.

Ý tưởng của L1 zkEVM là thay đổi điều này: không còn yêu cầu người xác thực thực hiện EVM, chỉ yêu cầu họ xác thực một chứng minh zk.

Tính hợp lệ của khối, từ “Tôi đã tính toán” chuyển thành “Tôi đã xác thực một sự thật mật mã.”

Tuy nhiên, thiết kế này có một điều kiện tiên quyết: chứng minh zk phải đủ nhanh để đi vào con đường quan trọng của sự đồng thuận.

Nếu việc tạo chứng minh mất vài phút, nó chỉ có thể được coi là kiểm tra sau; chỉ khi độ trễ của chứng minh gần sát với thời gian slot, zk mới có khả năng tham gia vào việc đánh giá “khối có hợp lệ hay không” trong thời gian thực.

Do đó, ý nghĩa của 16 giây không nằm ở việc “đã đủ nhanh”, mà ở chỗ: zkEVM lần đầu tiên không bị loại trừ khỏi thiết kế đồng thuận trên quy mô thời gian.

Đây cũng là lý do tại sao cuộc thảo luận về L1 zkEVM lại tập trung cao độ vào tính bảo mật 128-bit, lý thuyết chứng minh và giả thuyết mật mã dài hạn. Một khi zk đi vào đường đồng thuận, cấp độ bảo mật của nó sẽ tương đương với hàm băm và thuật toán chữ ký.

Xét từ một góc độ vĩ mô hơn, điều này là một nút trên cùng một đường logic với snarkification và Beam Chain mà Ethereum đang thúc đẩy.

Lớp đồng thuận theo đuổi sự đơn giản, ổn định, có thể xác minh một cách hình thức; lớp thực thi có thể phức tạp, song song, thuê ngoài; trong khi tính chính xác được zk nén và chứng minh.

Tóm tắt

Vì vậy, “việc chứng minh thời gian giảm từ 16 phút xuống 16 giây” không chỉ là một bước đột phá về hiệu suất thông thường, mà nó đánh dấu sự tiến hóa của zkEVM từ “công cụ bảo mật chứng minh sau” thành “cơ sở hạ tầng có thể tham gia định nghĩa tính cuối cùng trong thời gian thực.”

Và một khi thang thời gian của zk tiến gần đến slot, các thành phần nào trong hệ thống là cốt lõi, thành phần nào chỉ là phụ thuộc, thường cũng sẽ được viết lại.