Автор: NEBRA в Proof Summer
Составил: Shenchao TechFlow
1. ЗК
У вас есть немного молока.
Вы можете доказать, что молоко было получено от двух коров, но вы не знаете, какие именно коровы и как они производили молоко.
2. FHE (полностью гомоморфное шифрование)
У вас есть доильный аппарат.
Вы можете производить молоко, не зная, существуют ли две коровы.
3. MPC (многосторонние вычисления)
Вы и ваш сосед совместно владеете двумя коровами.
Каждый из вас может доить корову, но никто из вас не знает, какую часть коровы вы доите.
4. TEE (доверенная среда выполнения)
У вас есть 2 коровы.
Вы храните их в безопасном сарае, к которому никто другой не имеет доступа.
Доить коров можно только в коровнике.
