Original author: NEBRA in Proof Summer
Original translation: TechFlow
1. ZK
You have some milk.
You can prove that the milk came from 2 cows, but you dont know which 2 cows or how they produced the milk.
2. FHE (Fully Homomorphic Encryption)
You have a milking machine.
You can produce milk without knowing whether 2 cows exist.
3. MPC (Multi-party Computation)
You and your neighbor jointly own 2 cows.
You can each milk the cow, but no one knows which part of the cow you are milking.
4. TEE (Trusted Execution Environment)
You have 2 cows.
You keep them in a secure barn where no one else can enter.
Cows can only be milked in the cowshed.
