Музей криптографии и DeFrens — блокчейн- и ИИ-сообщество — организовали конференцию «Криптография в AI и Web3», посвященную практическому применению современных криптографических протоколов в ИИ и блокчейне: от ML MPC до Binius и TSS. 

Спикеры — исследователи, инженеры и специалисты из МФТИ, Лаборатории блокчейн Сбера, Bloomtech, Fair Math и других компаний расскажут о реальных кейсах, инженерных решениях и вызовах в практическом использовании криптографии.

Конференция будет полезна разработчикам, исследователям, криптографам, блокчейн-инженерам, специалистам по информационной безопасности, студентам технических специальностей и всем, кто профессионально интересуется развитием криптографии и блокчейн-технологий.
Конференция пройдет в очном формате.

Расписание:

12:30 — сбор гостей

13:20–13:30 — приветствие от Музея криптографии и DeFrens


Блок 1: AI/ML friendly криптография

13:30–14:00 — тема 1: MPC case study overview
Опыт решения реальных задач с применением совместных конфиденциальных вычислений (MPC): от физтеха до медтеха. Какие требования к таким системам выдвигают потенциальные клиенты, чего хотят и чего боятся. Какие есть трудности (инженерные и регуляторные), какие из них удалось побороть, а какие еще нет. Состояние отрасли в РФ, перспективы развития на локальном рынке и перспективы экспансии.
Петр Емельянов, CEO в Bloomtech

14:05–14:35 — тема 2: Децентрализованная FHE-экосистема для ИИ
Конфиденциальность — это фундаментальное требование для следующего поколения ИИ, особенно в связке с блокчейн-технологиями. Без надежных гарантий приватности
ИИ-приложения сталкиваются с серьезными ограничениями в сфере безопасности, соответствия регуляторным требованиям и доверия пользователей. Это становится особенно критично в эпоху мультиагентных систем и автономных ИИ-агентов, где необходимо защищать чувствительные взаимодействия и процессы принятия решений от несанкционированного доступа и манипуляций.
Сергей Гоменюк, Head of Development, Fair Math
Валентина Кононова, Head of AI, Fair Math


14:40–15:10 — тема 3: ZKML-концепт и верифицируемая авторизация с использованием zkSNARKs
На данный момент модели предоставляются пользователям в режиме черного ящика, то есть невозможно проверить, действительно ли результат был получен той или иной моделью и не был модифицирован. Рассмотрим возможность использования существующих подходов в верифицируемых вычислениях для сверточных нейросетей, и как это может помочь при идентификации и в защите от ботов.
Владимир Попов, исполнительный директор Лаборатории блокчейн Сбера

15:10–15:45 — перерыв



Блок 2: Web3 криптография
15:45–16:15 — тема 4: TSS: Пороговые подписи
Основные составные механизмы и их свойства, особенности обеспечения безопасности, атака на частный случай протокола ICE FROST.
Алексей Курочкин, криптограф-исследователь в лаборатории блокчейн Сбера, преподаватель кафедры высшей математики и магистратуры блокчейн в МФТИ

16:20–16:50 — тема 5: Web2-ID Nullifiers с использованием vOPRF
Применение vOPRF (verifiable Oblivious PseudoRandom Function) для создания псевдонимных систем с Web2-ID's и возможное использование в Identity кошельках с глобальными анонимными реестрами (включая EIP-7812).
Расул Ибрагимов, R&D @ Privacy & Scaling Explorations

16:55–17:25 — тема 6: Криптография в бриджах
Какая криптография используется в бриджах, TSS/MPC, проблемы масштабируемости и реальные примеры из рынка «как делать не надо».
Александр Николаев, Ex-Symbiosis (ко-фаундер), преподаватель Ethereum в МФТИ

17:30–18:00 — тема 7: Binius: fast SNARK proofs over binary field extensions
Binius — новый SNARK-протокол, оптимизированный для работы с бинарными полями. Он разработан для повышения производительности доказательств за счёт эффективных вычислений на уровне битов, что делает его более аппаратно-оптимизированным и производительным по сравнению с традиционными SNARK/STARK-системами.
Алексей Карасев, исследователь криптографии и DeFi, преподаватель кафедры Блокчейн в МФТИ