Гомоморфное шифрование: классификация шифров и аппаратные ускорители

[allter]

А какого рода алгоритмы сейчас можно делать над FHE? Только комбинации And и Xor? Можно ли скрывать сами алгоритмы от вычислителя? Что насчёт условий или циклов (и соответствующих проблем типа подверженности к timing attack)? Массивы или адресная арифметика?

[VoyakaGOD]

В целом, and и xor позволяют вычислять любые булевы выражения. А возможность недетерминированных шифров раскрывать коды констант позволяет вычислять почти любые функции через разложение в ряд Тейлора. Условия можно попробовать реализовать через R = c*A + (1-c)*B. Если хватает вычислительных мощностей, можно попытаться представить всю программу в таком виде.

[AntonAnisimovMIPT]

Ждал этой статьи неделю и вот она!

[VoyakaGOD]

:)