Autor original: NEBRA en Proof Summer
Compilación original: Shenchao TechFlow
1. ZK
Tienes un poco de leche.
Puedes demostrar que la leche proviene de 2 vacas, pero no sabes cuáles 2 vacas ni cómo producen leche.
2. FHE (cifrado totalmente homomórfico)
Tienes una máquina de ordeñar.
Puedes producir leche sin saber si existen 2 vacas.
3. MPC (Computación multipartita)
Usted y su vecino poseen en conjunto 2 vacas.
Cada uno de ustedes puede ordeñar la vaca, pero ninguno sabe qué parte de la vaca está ordeñando.
4. TEE (entorno de ejecución confiable)
Tienes 2 vacas.
Los guardas en un granero seguro al que nadie más puede acceder.
Las vacas sólo se pueden ordeñar en un establo.
Enlace original