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