Hãy giải thích về ZK: 📚 ZK là viết tắt của Zero Knowledge và nó mở ra 2 siêu năng lực: Quyền riêng tư và Quy mô. ZK rất gần gũi với tôi, cả với tư cách là đồng phát minh của ZK-STARKs và là đồng sáng lập của 2 dự án ZK: @Zcash (tập trung vào quyền riêng tư) và @StarkWareLtd (tập trung vào quy mô và giờ đây là quyền riêng tư)

@Zcash @StarkWareLtd ZK hoạt động như thế nào? Có hai loại thực thể: một Prover và một Verifier Prover thực hiện công việc nặng nhọc: - Đăng ký dữ liệu từ tất cả các giao dịch - Xử lý dữ liệu - Cập nhật trạng thái của hệ thống (nghĩa là số dư sau tất cả các giao dịch) - Tạo ra một bản cập nhật trạng thái và một bằng chứng

@Zcash @StarkWareLtd Một tuyên bố điển hình từ Prover nói rằng "Tôi, Prover, đã bắt đầu với trạng thái A, đã xử lý 1.000.000 giao dịch, và dựa trên những điều đó, đã đạt được trạng thái B". Bằng chứng là một chuỗi các số và băm có thể được kiểm tra để chứng minh tính toàn vẹn của toàn bộ tuyên bố.

@Zcash @StarkWareLtd Bộ xác minh (thường ngồi trên chuỗi) kiểm tra chứng minh, sử dụng toán học và mật mã để kiểm tra xem tuyên bố có đúng hay không trước khi nó được chấp nhận. Các định lý mà chúng tôi đã chứng minh trong nhiều năm qua cho biết rằng Bộ xác minh luôn chấp nhận các tuyên bố đúng và không bao giờ chấp nhận các tuyên bố sai.

@Zcash @StarkWareLtd Một Prover độc hại có thể cố gắng thuyết phục một Verifier chấp nhận một tuyên bố sai phải thực hiện một khối lượng công việc tương tự như việc tìm một va chạm trong một hàm băm mật mã, điều này không thể thực hiện trước khi Mặt Trời của chúng ta nguội đi.

@Zcash @StarkWareLtd Tại sao ZK lại tốt cho quyền riêng tư? Người xác minh không kiểm tra tính chính xác của tuyên bố bằng cách xử lý dữ liệu mà nó xác nhận. Đó là lý do tại sao dữ liệu có thể được xác minh là hợp lệ trong khi vẫn được giữ kín với Người xác minh.

@Zcash @StarkWareLtd Tại sao ZK lại tốt cho quy mô? Người xác minh không cần phải thực hiện lại phép toán mà Người chứng minh đã thực hiện. Người chứng minh có thể xử lý 1 triệu giao dịch, nhưng Người xác minh sẽ không phải lặp lại để xác minh tính chính xác của tất cả các giao dịch này. Kiểm tra chứng cứ sẽ đủ để đảm bảo tính hợp lệ của chúng.