撰文：NEBRA in Proof Summer

编译：深潮 TechFlow

1. ZK

你有一些牛奶。

你能证明这些牛奶来自 2 头牛，但你不知道具体是哪 2 头牛，也不知道它们是如何产奶的。

2. FHE（完全同态加密）

你有一个挤奶机。

你可以生产牛奶，而不需要知道是否存在 2 头牛。

3. MPC（多方计算 )

你和你的邻居共同拥有 2 头牛。

你们各自可以挤奶，但谁也不知道自己挤的是奶牛的哪一部分。

4. TEE（受信执行环境）

你有 2 头牛。

你把它们养在一个安全的牛棚里，其他人无法进入。

牛只有在牛棚里才能挤奶。