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