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