Гурген Аракелов – 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)
- 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/