撰文:NEBRA in Proof Summer
編譯:深潮 TechFlow
1. ZK
你有一些牛奶。
你能證明這些牛奶來自 2 頭牛,但你不知道具體是哪 2 頭牛,也不知道它們是如何產奶的。
2. FHE(完全同態加密)
你有一個擠奶機。
你可以生產牛奶,而不需要知道是否存在 2 頭牛。
3. MPC(多方計算 )
你和你的鄰居共同擁有 2 頭牛。
你們各自可以擠奶,但誰也不知道自己擠的是奶牛的哪一部分。
4. TEE(受信執行環境)
你有 2 頭牛。
你把它們養在一個安全的牛棚裡,其他人無法進入。
牛隻有在牛棚裡才能擠奶。