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