撰文：NEBRA in Proof Summer
编译：深潮 TechFlow
1. ZK
你有一些牛奶。
你能证明这些牛奶来自 2 头牛，但你不知道具体是哪 2 头牛，也不知道它们是如何产奶的。
2. FHE（完全同态加密）
你有一个挤奶机。
你可以生产牛奶，而不需要知道是否存在 2 头牛。
3. MPC（多方计算 )
你和你的邻居共同拥有 2 头牛。
你们各自可以挤奶，但谁也不知道自己挤的是奶牛的哪一部分。
4. TEE（受信执行环境）
你有 2 头牛。
你把它们养在一个安全的牛棚里，其他人无法进入。
牛只有在牛棚里才能挤奶。
