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.