Rollup ZK

Tổng quan

Rollup ZK là một rollup dùng bằng chứng zero-knowledge để xác thực giao dịch off-chain, cung cấp tính cuối cùng nhanh và đảm bảo bảo mật mạnh. Thay vì dựa vào thời kỳ thách thức như rollup lạc quan, rollup ZK tạo một bằng chứng hợp lệ mật mã rằng mỗi batch giao dịch được thực thi đúng, và chuỗi chính xác minh bằng chứng đó. Các dự án như zkSync và Starknet là rollup ZK hàng đầu.

Cách hoạt động

Sequencer thu thập giao dịch, thực thi chúng và tạo một bằng chứng ngắn gọn, thường là STARK hoặc SNARK, chứng thực rằng chuyển đổi trạng thái kết quả là đúng. Bằng chứng, cùng dữ liệu trạng thái nén, được đăng lên Ethereum, nơi hợp đồng verifier kiểm tra nó. Vì bằng chứng chứng nhận toán học tính đúng, tiền không thể bị operator không trung thực đánh cắp, và rút tiền có sẵn sau khi bằng chứng thanh toán, không cần cửa sổ bằng chứng gian lận dài.

Vì sao quan trọng

Rollup ZK kết hợp thông lượng thực thi off-chain với thanh toán tức thì và tối thiểu hóa niềm tin. Tuy nhiên, hệ thống bằng chứng của chúng tốn kém về tính toán để tạo, làm tăng chi phí operator và, về mặt lịch sử, phí mỗi người dùng. Khi công nghệ chứng minh cải thiện, rollup ZK ngày càng được xem là điểm cuối cho mở rộng quy mô trong khi giữ bảo mật.

Khái niệm liên quan

Rollup ZK là đối tác bằng chứng hợp lệ của Rollup lạc quan, và chúng dựa vào Bằng chứng Zero-knowledge làm lõi mật mã. Chúng nằm trong họ Rollup của mở rộng Layer 2 và tương tác với Bridge cho di chuyển tài sản.