撰文:NEBRA in Proof Summer

編譯:深潮TechFlow

1. ZK

你有一些牛奶。

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

當乳牛遇上密碼學:4個比喻圖解ZK、FHE、MPC和TEE

2. FHE(完全同態加密)

你有一個擠奶機。

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

當乳牛遇上密碼學:4個比喻圖解ZK、FHE、MPC和TEE

3. MPC(多方計算)

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

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

當乳牛遇上密碼學:4個比喻圖解ZK、FHE、MPC和TEE

4. TEE(受信執行環境)

你有2 頭牛。

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

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

當乳牛遇上密碼學:4個比喻圖解ZK、FHE、MPC和TEE