zk-rollup là hệ thống mở rộng thực thi giao dịch ngoài blockchain nền tảng, gộp kết quả và gửi bằng chứng hợp lệ bằng mật mã để xác minh trên lớp nền. Bộ xác minh kiểm tra việc chuyển trạng thái đề xuất có tuân thủ quy tắc được mã hóa của rollup hay không. Chia sẻ chi phí công bố và xác minh trong một lô có thể giảm chi phí mỗi giao dịch.
Bằng chứng và dữ liệu có vai trò khác nhau
Bên chứng minh tạo bằng chứng liên kết trạng thái trước, các thao tác đã xử lý và trạng thái mới đề xuất. Hợp đồng quyết toán xác minh bằng chứng trước khi chấp nhận cập nhật. Người dùng có thể nhận xác nhận sớm hơn từ bên vận hành, nhưng điều đó khác quyết toán cuối cùng trên chuỗi nền tảng.
Rollup cũng công bố đủ dữ liệu trên lớp nền để tái dựng trạng thái, thông qua cơ chế như calldata hoặc blob của Ethereum. Validium giữ dữ liệu tương ứng bên ngoài lớp đó, tạo ra giả định khác về tính sẵn có. Bằng chứng hợp lệ tự nó không cung cấp dữ liệu trạng thái bị thiếu.
Tên gọi không bảo đảm điều gì
«ZK» không có nghĩa mọi chi tiết giao dịch đều riêng tư. Nhiều hệ thống chủ yếu dùng công nghệ chứng minh để xác minh tính toán.
Mô hình này không vốn có giai đoạn phản đối gian lận kiểu optimistic, nhưng việc tạo bằng chứng, công bố và quyết toán vẫn có thể làm chậm rút tiền. Mạch chứng minh sai, hợp đồng có lỗ hổng, quyền nâng cấp và gián đoạn bên vận hành vẫn là rủi ro. Khả năng tương thích ứng dụng và chi phí giao dịch cũng tùy cách triển khai.