撰文：NEBRA in Proof Summer

編譯：深潮TechFlow

1. ZK

你有一些牛奶。

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

2. FHE（完全同態加密）

你有一個擠奶機。

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

3. MPC（多方計算)

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

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

4. TEE（受信執行環境）

你有2 頭牛。

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

牛隻在牛棚裡才能擠牛奶。