Кто такой Senior Zero-Knowledge Proof Engineer
Senior ZK-Proof Engineer отвечает за криптографическую часть проектов, где нужно доказать факт без раскрытия данных: корректность вычислений в rollup, приватность транзакций, проверку балансов и условий без передачи исходных данных. В криптовалютных проектах такие доказательства работают как механизм безопасности и масштабирования. Ошибка в схеме может позволить подделать состояние сети или вывести средства, поэтому роль важна для любого продукта, где ZK-технологии лежат в основе.
Роль находится на стыке криптографии, разработки и безопасности. Обычно инженер подчиняется техническому лидеру или руководителю протокольной команды (protocol lead, head of cryptography) и работает бок о бок с инженерами смарт-контрактовСмарт-контрактСмарт-контракт — программа, которая хранится в блокчейне и автоматически выполняет заложенные в неё условия, когда они выполнены., нодами, командой аудита и исследователями. Senior-уровень предполагает самостоятельное ведение направления: от выбора доказательной системы до внедрения и сопровождения в продакшене. Часто senior сам ведёт код-ревью по схемам и помогает младшим коллегам разбираться в ограничениях.
В рисковых вертикалях, таких как криптовалюты, цена ошибки высока: уязвимости в доказательствах ведут к потере средств пользователей и репутационным и регуляторным последствиям. Поэтому компании ценят инженеров, которые пишут схемы с учётом атак, проводят формальную проверку и понимают, как их результаты интерпретируются на уровне продукта и регулятора.
Обязанности
- Проектирование ZK-схем (circuits) под конкретную задачу: выбор между SNARK, STARK и другими системами доказательств, оценка стоимости верификации и генерации доказательств.
- Реализация circuits на DSL (Circom, Noir, Halo2 и аналоги), написание тестов и генераторов входных данных для проверки корректности схем.
- Разработка и оптимизация on-chain верификаторов, как правило на Solidity или Cairo, с учётом газа и совместимости с контрактами протокола.
- Ведение аудита собственных и чужих схем: поиск underconstrained-сигналов, проверка soundness и zero-knowledge свойств, работа с внешними аудиторами.
- Оптимизация производительности доказательств: сокращение числа ограничений, работа с параллелизацией, подготовка к масштабированию генерации доказательств.
- Организация trusted setup или перехода на системы без доверенной настройки, документирование допущений и рисков для команды продукта.
- Интеграция доказательств в backend и SDK: прover-сервисы, API для фронтенда и кошельков, обработка ошибок и откатов.
- Код-ревью и менторинг инженеров команды, фиксация архитектурных решений и стандартов написания circuits.
- Коммуникация с продуктом, безопасностью и юристами о том, что именно доказывает система и каковы её границы.
Навыки
- Знание современной криптографии: эллиптические кривые, полиномиальные коммитменты, хэш-функции, схемы доказательств.
- Уверенное владение одним-двумя DSL для circuits и понимание их ограничений на уровне арифметизации (R1CS, PLONKish, AIR).
- Разработка на Rust или Go для прover-сервисов и вычислительно тяжёлых компонентов.
- Умение читать и писать Solidity и понимать ограничения EVM при on-chain верификации.
- Методичное тестирование: property-based тесты, фаззинг входов, сверка с эталонными реализациями.
- Понимание моделей угроз в блокчейн-системах: атаки на подделку доказательств, на приватность, на мошенничество с состоянием.
- Умение объяснить сложное non-technical стейкхолдерам: что доказывает система, что нет и какие допущения нужны.
- Навык работы с научной литературой и спецификациями, умение оценить зрелость новой схемы до внедрения.
- Ответственность за решения в условиях неопределённости и готовность брать на себя риск релиза.
Инструменты
- Circom
- snarkjs
- Noir
- Halo2
- Rust
- Foundry (тесты on-chain верификаторов)
- Git и CI-системы для автоматической проверки circuits
- Jira или Linear для планирования работ
Как оценивают работу: KPI
- Отсутствие критичных уязвимостей soundness и приватности в продакшене по итогам аудита.
- Время генерации доказательства и стоимость верификации в газе в пределах целевых значений, заданных продуктом.
- Покрытие circuits тестами и доля схем, прошедших внешний аудит до релиза.
- Срок от постановки задачи до работающей схемы в тестовой сети.
- Стабильность прover-сервисов: доля успешно сгенерированных доказательств и время восстановления после сбоев.
- Качество код-ревью и доля изменений, возвращённых на доработку из-за ошибок в ограничениях.
- Вклад в развитие команды: число проведённых сессий по криптографии и внутренних документов по стандартам.
Особенности по вертикалям
Crypto
В криптовалютных проектах ZK-доказательства используются для масштабирования (rollup, проверка состояния сети), приватности транзакций и доказательства резервовРезервЧасть выручки, которую PSP удерживает на случай чарджбэков и возвратов.. Senior-инженер здесь отвечает за то, чтобы доказательство не позволяло подделать состояние и не раскрывало лишних данных, а верификатор был дешёвым в газе. Дополнительно важно понимать требования к аудиту смарт-контрактов и к прозрачности резервов для пользователей и регуляторов.
Грейды: чем отличается уровень
Senior
Senior-уровень означает самостоятельное ведение криптографического направления: выбор доказательной системы, проектирование схем, ответственность за их безопасность в продакшене. Senior отвечает за решения, которые сложно откатить (например, trusted setup или формат верификатора), и менторит middle- и junior-инженеров. От него ожидается, что он заранее видит риски, согласовывает допущения с продуктом и инициирует внешний аудит.
Как стать Senior Zero-Knowledge Proof Engineer
Обычно в профессию приходят из смежных областей: разработки на Rust, C++ или Go с интересом к криптографии, из академической криптографии или из команд смарт-контрактов, которые хотят глубже понять доказательства. Важна математическая база: линейная алгебра, теория групп и полей, основы теории чисел. Без неё сложно понять, почему схема корректна, а не просто работает на тестах.
Практический путь начинается с небольших задач: написать простую схему на Circom или Noir, доказать корректность базовой операции, разобрать чужие аудиты и найденные в них underconstrained-ошибки. Полезно читать спецификации и исследовательские статьи по SNARK и STARK, разбирать открытые реализации протоколов. Работа в открытых проектах и участие в публичных аудитах помогает получить подтверждаемый опыт.
Рост к senior обычно идёт через переход от исполнения задач к владению направлением: инженер сначала реализует схемы по ТЗ, затем сам формулирует требования, проводит ревью и участвует в выборе архитектуры. Ключевой признак готовности — способность самостоятельно оценить безопасность чужой схемы и объяснить риск команде без участия лида.
Куда расти дальше: Staff или Principal ZK Engineer, Head of Cryptography или ведущий протокольный инженер, Engineering Manager (ZK или protocol), Security Researcher в области криптографических протоколов
Термины, которые нужно знать
- ZK-SNARK
- ZK-STARK
- circuit (ZK-схема)
- arithmetization (арифметизация)
- trusted setup
- rollup
- underconstrained (недоограниченная схема)
- on-chain верификатор
Частые вопросы
Чем Senior ZK-Proof Engineer отличается от обычного разработчика смарт-контрактов?
Смарт-контрактный разработчик пишет логику на блокчейне, а ZK-инженер отвечает за математическое доказательство того, что вычисления выполнены верно, без раскрытия входных данных. Работа требует криптографии, знания арифметизации и понимания ограничений генерации доказательств. Часто ZK-инженер и разработчик контрактов работают в паре, но их зоны ответственности различаются.
Нужно ли иметь степень в математике или криптографии?
Формальная степень не обязательна, но глубокое понимание математики и криптографии необходимо. На практике работодатели ориентируются на подтверждённый опыт: реализованные схемы, участие в аудитах, публикации или вклад в открытые проекты. Без понимания того, почему схема безопасна, senior-роль сложно выполнять.
От чего зависит доход в этой профессии?
Доход зависит от уровня ответственности, редкости экспертизы в конкретной доказательной системе, типа компании и стадии проекта, а также от того, ведёт ли специалист направление или только реализует задачи. Влияют также география и условия найма, включая удалённый формат. Конкретные цифры зависят от рынка и меняются, поэтому их лучше сверять с актуальными вакансиями.
Какие навыки важнее всего для первой senior-позиции?
Важнее всего уверенная криптографическая база, опыт написания и тестирования circuits и способность находить ошибки в ограничениях схем. Не менее важна умение принимать решения и объяснять риски команде и продукту. Опыт работы с продакшен-системами и аудитами обычно решает больше, чем количество пройденных курсов.