Когда люди говорят «приватность в цепочке», я думаю, что они имеют в виду: \forall функциональности F, протокол-приватности P поддерживает F Мне нравится 🙉 и притворяться, что они имеют в виду: \exists нетривиальная функциональность F, такая что протокол-приватности P поддерживает F

…потому что в противном случае нет ничего интересного для обсуждения! Либо это слишком дорого (MPC), либо слишком небезопасно (TEE), чтобы получить "\forall F" Не-мультиключевое FHE не помогает. iO все еще далеко. Мы тоже, несмотря на захватывающий недавний прогресс.