Криптография в AI и Web3. Митап от DeFrens

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

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

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

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

Тема: MPC case study overview

Опыт решения реальных задач с применением совместных конфиденциальных вычислений (MPC): от финтеха до медтеха. Какие требования к таким системам выдвигают потенциальные клиенты, чего хотят и чего боятся. Какие есть трудности (инженерные и регуляторные), какие из них удалось побороть, а какие еще нет. Состояние отрасли в РФ, перспективы развития на локальном рынке и экспансии.

Спикер: Петр Емельянов, CEO в компании Bloomtech

Тема: Децентрализованная FHE-экосистема для ИИ

Конфиденциальность — это фундаментальное требование для следующего поколения ИИ, особенно в связке с блокчейн-технологиями. Без надежных гарантий приватности ИИ-приложения сталкиваются с серьезными ограничениями в сфере безопасности, соответствия регуляторным требованиям и доверия пользователей. Это становится особенно критично в эпоху мультиагентных систем и автономных ИИ-агентов, где необходимо защищать чувствительные взаимодействия и процессы принятия решений от несанкционированного доступа и манипуляций.

Сергей Гоменюк, Head of Development в компании Fair Math, и Валентина Кононова, Head of AI в организации Fair Math

Тема: ZKML-концепт и верифицируемая авторизация с использованием zksnarks

На данный момент модели предоставляются пользователям в режиме черного ящика, то есть невозможно проверить, действительно ли результат был получен той или иной моделью и не был модифицирован. Будут рассмотрены возможность применения существующих подходов в верифицируемых вычислениях для сверточных нейросетей, а также то, как это может помочь при идентификации и защите от ботов.

Спикер: Владимир Попов, исполнительный директор Лаборатории блокчейн Сбера.

Блок 2: Криптография в Web3

Тема: Web2-ID Nullifiers с использованием vOPRF

Применение vOPRF (verifiable Oblivious PseudoRandom Function) для создания псевдонимных систем с Web2-ID’s и возможное использование в Identity-кошельках с глобальными анонимными реестрами (включая EIP-7812).

Спикер: Расул Ибрагимов, R&D @ Privacy & Scaling Explorations

Тема: Binius: fast SNARK proofs over binary field extensions

Binius — новый SNARK-протокол, оптимизированный для работы с бинарными полями. Он разработан для повышения производительности доказательств за счет эффективных вычислений на уровне битов, что делает его более аппаратно-оптимизированным и производительным, по сравнению с традиционными SNARK/STARK-системами.

Спикер: Алексей Карасев, исследователь криптографии и DeFi, преподаватель кафедры Блокчейн в МФТИ

Тема: TSS: пороговые подписи

Основные составные механизмы и их свойства, особенности обеспечения безопасности, атака на частный случай протокола ICE FROST.

Спикер: Алексей Курочкин, криптограф-исследователь в лаборатории блокчейн Сбера, преподаватель кафедры высшей математики и магистратуры блокчейн в МФТИ

Тема: криптография в бриджах

Какая криптография используется в бриджах, TSS/MPC, проблемы масштабируемости и реальные примеры того, «как делать не надо».

Спикер: Александр Николаев, ex-Symbiosis (ко-фаундер), преподаватель Ethereum в МФТИ

Главный редактор

Крылов Влад журналист и эксперт крипторынка