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