Security Engineer

На данный момент Cryptography Researcher.

Мои компетенции и опыт

Коммерческий опыт:

ZK-KYC:

• реализовал систему KYC через доказательства с нулевым разглашением для graphite (блокчейн) при помощи Circom, Noir;
• интегрировал в бэкенд посредством библиотеки pygrpc: реализовал передачу данных с прувера (на стороне клиента) на верификатор (на стороне доверенного сервера);
• тестировал zk-схемы (интеграционное тестирование, юнит-тестирование при помощи pytest);
• искал и исправлял уязвимости языков Circom, Noir (по статьям других исследователей в области криптографии).

MPC Keysplit:

• участвовал в разработке платформы для распределенных конфиденциальных вычислений (MPC) на основе форка библиотеки tsslib от binance на языке golang и с использованием grpc с последующей интеграцией в блокчейн;
• добавил возможность получать секреты каждого участника по приватному ключу для пороговой схемы на основе схемы разделения секрета Шамира и ECDSA (для тестирования);
• добавил возможность работать с детерминированной версией ECDSA в соответствии RFC-6979.

Аудит безопасности (проекты под NDA):

• искал криптографические уязвимости и предлагал их исправления (в рамках статического анализа кода);
• разрабатываю утилиту для автоматизации динамического анализа веб-приложений.

---

Некоммерческий опыт:

Software environment execution:

• исследую различные стратегии по достижению эффекта trusted environment execution программными методами при помощи полностью гомоморфного шифрования

Оптимизация потребляемой памяти и формальная верификация в криптографических алгоритмах на решетках:

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

Rust HEAAN:

• 
  консультировал по алгебре и теории чисел (решётки, конечные поля)
• предложил способ хранения многочленов с коэффициентами из Z/3Z через rust’овские int’ы (аналог NAF), тем самым снизив количество потребляемой памяти в 6 раз
• предложен класс многочленов, являющихся гипотетически (сейчас команда ведет эксперименты) наиболее надежными среди многочленов заданной степени