Autor oryginalny: NEBRA w Proof Summer

Oryginalna kompilacja: Shenchao TechFlow

1. ZK

Masz trochę mleka.

Możesz udowodnić, że mleko pochodzi od 2 krów, ale nie wiesz, które 2 krowy ani w jaki sposób dają mleko.

2. FHE (szyfrowanie w pełni homomorficzne)

Masz dojarkę.

Możesz produkować mleko nie wiedząc, czy istnieją 2 krowy.

3. MPC (obliczenia wielostronne)

Ty i Twój sąsiad macie wspólnie 2 krowy.

Każdy z was może doić krowę, ale żadne z was nie wie, którą część krowy doi.

4. TEE (zaufane środowisko wykonawcze)

Masz 2 krowy.

Trzymasz je w bezpiecznej stodole, do której nikt inny nie ma dostępu.

Krowy można doić wyłącznie w oborze.

Oryginalne łącze