Quando as vacas encontram a criptozoologia: 4 metáforas que ilustram ZK, FHE, MPC e TEE

Escrito por: NEBRA em Proof Summer

Compilado por: Shenchao TechFlow

1. ZK

Você tem um pouco de leite.

Você pode provar que o leite veio de 2 vacas, mas não sabe quais são as 2 vacas ou como elas produziram leite.

2. FHE (criptografia totalmente homomórfica)

Você tem uma máquina de ordenha.

Você pode produzir leite sem saber se existem 2 vacas.

3. MPC (computação multipartidária)

Você e seu vizinho possuem 2 vacas em conjunto.

Cada um de vocês pode ordenhar a vaca, mas nenhum de vocês sabe qual parte da vaca está ordenhando.

4. TEE (ambiente de execução confiável)

Você tem 2 vacas.

Você os mantém em um celeiro seguro que ninguém mais pode acessar.

As vacas só podem ser ordenhadas em estábulo.