Описание должности
Как ключевой член исследовательской команды, вы будете руководить изучением и анализом технологий доказательств с нулевым разглашением (ZKP), уделяя особое внимание zkEVM, zkVM и другим ZKP-протоколам. Эта роль требует глубокого погружения в техническую документацию, академические статьи и открытые исходные коды для оценки их архитектуры, показателей производительности и практического применения. Вы также будете отвечать за выявление пробелов в текущих решениях и предложение инновационных подходов для их устранения. Кроме того, вы будете сотрудничать с межфункциональными командами для интеграции достижений ZKP в существующие блокчейн-системы, обеспечивая соответствие целям проекта и техническим ограничениям.
Ключевые обязанности
- Проведение всестороннего исследования zkEVM, zkVM и ZKP-протоколов путем тщательного анализа репозиториев кода, рецензируемых публикаций и технических документов.
- Разработка и внедрение новых оптимизаций для архитектур zkEVM, включая улучшение эффективности генерации доказательств, сложности верификации и механизмов защиты конфиденциальности.
- Создание и тестирование передовых криптографических конструкций, таких как новые схемы ZKP, гомоморфное шифрование и протоколы многосторонних вычислений, для повышения безопасности и масштабируемости системы.
- Установление и поддержание практик обмена знаниями с инженерной командой, преобразование сложных результатов исследований в конкретные технические спецификации и планы реализации.
- Установление стратегических партнерств с академическими учреждениями и внешними исследователями для решения открытых задач в технологии ZKP, таких как уменьшение размера доказательств, межсетевая совместимость и стандартизированные протоколы верификации.
- Документирование технических инсайтов и ведение централизованного хранилища результатов исследований для поддержки принятия решений командой и будущих разработок.
- Участие в обзорах проектов и предоставление экспертных рекомендаций по выбору протоколов, обеспечивая техническую осуществимость и соответствие бизнес-целям.
- Отслеживание новых тенденций в исследованиях ZKP, включая постквантовую криптографию, краткие неинтерактивные аргументы (SNARKs) и рекурсивные системы доказательств.
- Сотрудничество с юридическими и compliance-командами для обеспечения соответствия реализаций ZKP нормативным требованиям и отраслевым стандартам.
- Представление результатов исследований на внутренних встречах и внешних конференциях для распространения знаний и вовлечения сообщества.
Требования к кандидату
- Докторская степень в области компьютерных наук, криптографии или смежной дисциплины с опытом исследований и разработки ZKP от 3 лет.
- Подтвержденный опыт проектирования и оптимизации блокчейн-протоколов, особенно архитектур zkEVM и zkVM.
- Глубокие знания в области передовых криптографических методов, включая доказательства с нулевым разглашением, гомоморфное шифрование и решетчатую криптографию.
- Отличные аналитические навыки для оценки технических компромиссов между безопасностью, эффективностью и масштабируемостью в ZKP-системах.
- Способность объяснять сложные технические концепции как техническим, так и нетехническим заинтересованным сторонам через четкую документацию и презентации.
- Опыт работы в совместных исследовательских средах с публикациями в ведущих конференциях и журналах.
- Владение языками программирования, такими как Rust, Solidity и Python, для разработки и тестирования протоколов.
- Глубокое понимание основ блокчейна, включая механизмы консенсуса, выполнение смарт-контрактов и криптографические примитивы.
- Сильные навыки решения сложных технических проблем в реализациях ZKP, таких как оптимизация размера доказательств и сокращение времени верификации.
- Отличные навыки командной работы для координации с инженерами, менеджерами продуктов и исследователями из разных отделов и организаций.
- Способность одновременно управлять несколькими исследовательскими проектами, сохраняя высокое качество работы и соблюдая сроки.
- Знание отраслевых стандартов и нормативных рамок, регулирующих криптографические технологии и блокчейн-приложения.
- Опыт работы с инструментами анализа криптографических протоколов, включая системы формальной верификации и фреймворки для тестирования производительности.
- Сильная математическая подготовка в области теории чисел, алгебраических структур и анализа вычислительной сложности.
- Способность преобразовывать теоретические исследования в практические реализации с сохранением гарантий безопасности и производительности системы.