Tại sao lại sử dụng SNARKs hợp tác thay vì chỉ sử dụng MPC? Chúng tôi thường được hỏi: nếu bạn đã tin tưởng một mạng MPC cho sự riêng tư, tại sao lại thêm ZK lên trên? Nếu đã có giả định về sự tin cậy, tại sao không tin tưởng nó cho tính chính xác luôn? 🧵

1/ ZK đang trở thành cách mặc định để xác minh tính toán. Đầu tiên trên chuỗi, sau đó có thể ở khắp mọi nơi. Nếu đầu ra của bạn chỉ dựa vào sự tin tưởng vào mạng MPC, mọi người sẽ bắt đầu tránh xa nó.

2/ bạn có thể không tin tưởng vào mạng MPC với dữ liệu của riêng bạn, nhưng người khác thì có. Nếu mạng chứng minh được tính toán của nó thông qua ZK, bạn vẫn có thể tin tưởng vào kết quả—ngay cả khi bạn không tin tưởng vào mạng đã tạo ra nó. Bây giờ, tại sao không loại bỏ giả định về lòng tin cho quyền riêng tư?

3/ Tôi ước chúng ta có thể. Nhưng ngay bây giờ, không có cách nào thực tế. Nói vậy, ngày càng nhiều người đang làm việc để giảm bớt hoặc thậm chí loại bỏ giả định này (bao gồm cả chúng tôi). Nếu chúng ta đạt được tiến bộ tương tự như những gì chúng ta đã thấy trong ZK, chúng ta có thể thực sự gần gũi với một giải pháp lý tưởng cho trạng thái chia sẻ riêng tư.