Автор: NEBRA в Proof Summer

Составил: Shenchao TechFlow

1. ЗК

У вас есть немного молока.

Вы можете доказать, что молоко было получено от двух коров, но вы не знаете, какие именно коровы и как они производили молоко.

2. FHE (полностью гомоморфное шифрование)

У вас есть доильный аппарат.

Вы можете производить молоко, не зная, существуют ли две коровы.

3. MPC (многосторонние вычисления)

Вы и ваш сосед совместно владеете двумя коровами.

Каждый из вас может доить корову, но никто из вас не знает, какую часть коровы вы доите.

4. TEE (доверенная среда выполнения)

У вас есть 2 коровы.

Вы храните их в безопасном сарае, к которому никто другой не имеет доступа.

Доить коров можно только в коровнике.