原文作者：NEBRA in Proof Summer

原文編譯：深潮 TechFlow

1. ZK

你有一些牛奶。

你能證明這些牛奶來自 2 頭牛，但你不知道具體是哪 2 頭牛，也不知道它們是如何產奶的。

2. FHE（完全同態加密）

你有一個擠奶機。

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

3. MPC（多方計算)

你和你的鄰居共同擁有 2 頭牛。

你們各自可以擠奶，但誰也不知道自己擠的是奶牛的哪一部分。

4. TEE（受信執行環境）

你有 2 頭牛。

你把它們養在一個安全的牛棚裏，其他人無法進入。

牛隻有在牛棚裏才能擠奶。

原文鏈接