ББ-195: Гурген Аракелов (Fair Math) о криптографических основах FHE

Гурген Аракелов – CEO Fair Math и специалист по полностью гомоморфному шифрованию (fully homomorphic encryption, FHE). FHE позволяет производить произвольные вычисления над зашифрованными данными. За последние несколько лет алгоритмы FHE вплотную приблизились к возможности внедрения в реальные продукты, в том числе в блокчейн-протоколах.

В первой части разговора с Гургеном обсуждаем теоретические основы FHE: криптографию на решётках, удаление шума без расшифровки (бутстреппинг) и применение FHE в сочетании с ZK и MPC.

Таймкоды:

• 04:15 – как Гурген пришёл в блокчейн: диссертация по FHE и работа с медицинскими данными
• 07:00 – гость и ведущие ностальгируют по распределённым вычислениям BOINC
• 09:50 – бюрократические сложности внедрения FHE в медицине
• 13:40 – теоретические основы и история FHE
• 18:40 – ранние работы по FHE и прорыв Крейга Джентри 2009 года
• 23:00 – как работает бутстреппинг и откуда берётся шум при шифровании
• 28:00 – почему шум растёт при повторных гомоморфных операциях
• 31:10 – уменьшение шума в схеме Джентри: расшифровка “внутри коробочки”
• 45:10 – криптография на решётках
• 47:10 – задача обучения с ошибками (Learning with Errors, LWE)
• 55:30 – квантовая устойчивость криптографии на решётках
• 57:25 – чем FHE отличается от ZK?
• 1:00:00 – как использовать ZK с комбинации с FHE
• 1:03:05 – почему для генерации ZK-пруфа нужно раскрывать схему вычислений
• 1:04:10 – как MPC соотносится с ZK и FHE
• 1:07:20 – производительность FHE
• 1:12:00 – применения FHE в блокчейн-индустрии
• 1:15:00 – все узлы FHE-блокчейна должны иметь общий ключ?
• 1:23:10 – использование MPC для разделения общего ключа в FHE-EVM
• 1:29:00 – проблемы безопасности в MPC-схемах (в т.ч. long-range attacks)
• 1:35:55 – тонкости применения шифрования в ride-hailing
• 1:38:40 – верифицируемость вычислений и применение ZK вместе с FHE

Ссылки:

• Ресурсы Fair Math: сайт, твиттер, гитхаб
• Fair Math Whitepaper
• FHERMA Whitepaper
• Твиттер Гургена
• Доклады Гургена:
  • Decentralized FHE computer (2024)
  • Scalable MLIR-based FHE compiler (2024)
• Awesome HE - сборник ресурсов по гомоморфному шифрованию
• Fully homomorphic encryption: Introduction and bootstrapping
• The Next Frontier in Digital Privacy - Inception Capital
• Investing in Fair Math - Inception Capital
• ZKPs, FHE, MPC: Managing Private State in Blockchains - Mohamed Fouda (Alliance)
• Zero Knowledge Podcast: Episode 248: Revisiting FHE with Rand Hindi from Zama
• Zero Knowledge Podcast: Episode 270: FHE and ZKPs with Sunscreen’s Ravital Solomon
• A Decade (or so) of fully homomorphic encryption, by Craig Gentry
• A (somewhat) gentle introduction to lattice-based post-quantum cryptography
• Использование FHE в Apple
• Презентация Craig Gentry (Eurocrypt 2021)
• FHE: Past, present and future - Craig Gentry (2024)

Спасибо нашим спонсорам!

• cp0x – русскоязычное комьюнити, делегат и валидатор
• Zerion – умный кошелек для Web3-мира
• PowerPool – автоматизация исполнения любых ончейн-действий и стратегий в Defi/Web3
• Acki Nacki от GOSH – the fastest blockchain possible 

Поддержите подкаст! https://basicblockradio.com/donate/

Заходите в наш чат: https://t.me/basicblockradio_chat 

Наш сайт: https://basicblockradio.com/ 

Теперь можно оформить крипто-подписку на Базовый Блок через Yoki Finance: https://pay.yoki.fi/basicblockradio/