Bằng chứng không tiết lộ thông tin

Bằng chứng không tiết lộ (ZKP) là phương pháp mật mã cho phép một bên (người chứng minh) chứng minh với bên khác (người xác minh) rằng một tuyên bố là đúng mà không tiết lộ bất kỳ thông tin nào ngoài tính hợp lệ của tuyên bố.

• zk-SNARKs: Succinct Non-interactive Arguments of Knowledge. Kích thước bằng chứng nhỏ và xác minh nhanh, nhưng đòi hỏi nghi thức thiết lập tin cậy. Được Zcash sử dụng.
• zk-STARKs: Scalable Transparent Arguments of Knowledge. Bằng chứng lớn hơn nhưng không cần thiết lập tin cậy. Kháng lượng tử. Được StarkNet sử dụng.
• PLONK: Thiết lập tin cậy phổ quát và có thể cập nhật, dùng cho bất kỳ mạch nào, giảm nhu cầu nghi thức cho mỗi ứng dụng.

• ZK-Rollup: Sử dụng bằng chứng ZK để xác minh giao dịch đã gom ngoài chuỗi trước khi đăng lên L1 (zkSync, StarkNet, Polygon zkEVM)
• Quyền riêng tư: Chứng minh bạn có đủ token cho giao dịch mà không tiết lộ số dư (giao dịch được bảo vệ Zcash)
• Danh tính: Chứng minh bạn trên 18 tuổi mà không tiết lộ ngày sinh
• Bỏ phiếu: Chứng minh bạn đã bỏ phiếu mà không tiết lộ bạn bỏ phiếu cho ai

• Tính đầy đủ: Tuyên bố đúng sẽ luôn được chấp nhận
• Tính vững chắc: Tuyên bố sai sẽ (gần như) luôn bị từ chối
• Không tiết lộ: Người xác minh không học được gì ngoài tính đúng đắn của tuyên bố