ББ-196: Гурген Аракелов (Fair Math) о применениях FHE в блокчейне

Продолжение разговора с Гургеном Аракеловым – криптографом и CEO Fair Math – о полностью гомоморфном шифровании. В этом выпуске обсудим проекты компании Fair Math, в том числе платформу FHE-челленджей FHERMA, библиотеку компонентов Polycircuit и децентрализованный FHE-компьютер, а также практические применения FHE в контексте блокчейнов.

 

Таймкоды:

05:02 – что такое Fair Math

05:50 – FHE-разработка на примере работы с нейросетью

12:00 – на что FHE-разработчик тратит время

17:10 – возможен ли универсальный FHE-компилятор?

19:50 – FHERMA - платформа FHE-челленжей (аналог Kaggle)

22:30 – как измерять производительность решений

23:45 – понятие точности в контексте FHE

25:40 – фиксированная и плавающая точка для представления вещественных чисел

30:20 – Polycircuit - библиотека FHE-компонентов 

31:20 – децентрализованный FHE Сomputer - центральный продукт Fair Math

34:00 – FHE Сomputer это L1-блокчейн?

36:10 – аналогия между FHE-приложениями и смарт-контрактами

38:30 – лирическое отступление: откуда взялось название нашего подкаста

39:15 – есть ли общий стейт в FHE Сomputer?

42:20 – что делать с плохими акторами?

46:10 – применим ли рестейкинг для FHE-компьютера?

48:40 – ключевое отличие Fair Math от других FHE-проектов

49:35 – как использовать FHE-сопроцессор из сети Эфира?

52:10 – нужен ли блокчейн для FHE-компьютера?

59:58 – как оценить сложность FHE-вычислений? есть ли понятие газа?

1:07:25 – можно ли имплементировать оркестрацию FHE на Эфириуме?

1:10:06 – OpenFHE - проект стандартизации FHE

1:14:25 – как устроена компания Fair Math

1:17:55 – будет токен?

1:19:20 – команда Fair Math

1:22:15 – другие компании в области FHE

1:31:30 – параллели развития FHE и ZK

1:35:05 – планы Fair Math на 2025

 

Ссылки:

• Ресурсы 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