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