Гомоморфное шифрование (Homomorphic Encryption, HE) — это форма шифрования, позволяющая выполнять вычисления над зашифрованными данными без их расшифровки. Результат вычислений при расшифровке совпадает с результатом тех же вычислений над открытыми данными. Это революционная технология для обеспечения приватности в финансовых системах.
Полностью гомоморфное шифрование (FHE)
Полностью гомоморфное шифрование (Fully Homomorphic Encryption), разработанное Крейгом Джентри в 2009 году, позволяет выполнять произвольные вычисления над зашифрованными данными. Это означает, что сервер может обрабатывать данные пользователя, не зная их содержимого.
Практические применения:
- Приватный запрос к базе данных: узнать, содержится ли запись, не раскрывая запрос
- Конфиденциальные смарт-контракты без TEE
- Приватное голосование с верифицируемым подсчетом
Текущее состояние технологии
FHE остается вычислительно дорогостоящей: операции над зашифрованными данными в тысячи раз медленнее, чем над открытыми. Однако прогресс впечатляет — за последнее десятилетие производительность выросла в миллиарды раз, и практические применения уже появляются.
Библиотеки для работы с FHE: TFHE, CKKS, BFV — каждая оптимизирована для определенных типов вычислений.
Применение в криптовалютах
Приватные балансы: Системы вроде Zcash используют zk-SNARK (родственную технологию) для скрытия сумм транзакций. FHE может расширить эту концепцию на произвольные вычисления над зашифрованными балансами.
DeFi с приватностью: Представьте AMM (автоматический маркет-мейкер), где цены формируются без раскрытия индивидуальных ордеров. Именно это обещает FHE — устранение MEV (Maximal Extractable Value) через вычисления над зашифрованными данными.
FHE vs биткоин-миксеры: разные уровни приватности
Биткоин-миксеры работают на уровне блокчейна, разрывая историю транзакций. FHE потенциально позволит создавать блокчейны, где история транзакций существует, но зашифрована — никто не может её прочитать без ключа пользователя. Это принципиально иная модель приватности, которая дополняет, а не заменяет текущие подходы.