Được viết bởi: NEBRA trong Proof Summer
Biên soạn bởi: Shenchao TechFlow
1. ZK
Bạn có một ít sữa.
Bạn có thể chứng minh rằng sữa đến từ 2 con bò, nhưng bạn không biết 2 con bò nào và chúng tạo ra sữa như thế nào.
2. FHE (mã hóa đồng cấu hoàn toàn)
Bạn có một chiếc máy vắt sữa.
Bạn có thể sản xuất sữa mà không cần biết liệu có 2 con bò tồn tại hay không.
3. MPC (Tính toán nhiều bên)
Bạn và người hàng xóm cùng sở hữu 2 con bò.
Mỗi người trong số các bạn có thể vắt sữa bò, nhưng không ai trong số các bạn biết mình đang vắt sữa bộ phận nào của con bò.
4. TEE (Môi trường thực thi tin cậy)
Bạn có 2 con bò.
Bạn giữ chúng trong một nhà kho an toàn mà không ai khác có thể truy cập.
Bò chỉ có thể được vắt sữa trong chuồng bò.
