— Разработка и оптимизация высокопроизводительных систем на Rust для генерации и верификации ZK-доказательств. — Проектирование архитектуры нод и сетевых протоколов Lagrange.
В рамках данной позиции предстоит создавать и совершенствовать высокопроизводительные системы на языке Rust, предназначенные для генерации и проверки ZK-доказательств. В задачи входит проектирование архитектуры узлов и сетевых протоколов платформы Lagrange, а также работа с криптографическими библиотеками, такими как arkworks и halo2 или их аналогами. Необходимо оптимизировать вычислительные процессы на уровне CPU и GPU для повышения эффективности ZK-сопроцессоров, а также участвовать в аудите безопасности кода и интеграции Rust-модулей с другими компонентами стека, включая Go и Solidity. Кандидат должен обладать не менее трех лет опыта коммерческой разработки на Rust, хорошо разбираться в управлении памятью, многопоточности и асинхронном программировании. Знания основ криптографии, включая поля и эллиптические кривые, приветствуются, равно как и умение писать эффективный и безопасный код для высоконагруженных систем. Важны навыки профилирования и отладки производительности, а также владение английским языком на уровне Upper-Intermediate и выше. Дополнительным преимуществом станет опыт реализации ZK-схем или работы с ZK-VM, понимание архитектуры модульных блокчейнов и участие в open-source проектах на Rust.
Контакты работодателя доступны по кнопке «Откликнуться» после входа.
Из чего сложилась оценка. Нажмите, чтобы узнать подробнее
Понятные задачи
Задачи подробно описаны: разработка систем на Rust для ZK-доказательств, проектирование архитектуры узлов и сетевых протоколов, работа с криптографическими библиотеками.
Из объявления
— Разработка и оптимизация высокопроизводительных систем на Rust для генерации и верификации ZK-доказательств. … — Проектирование архитектуры нод и сетевых протоколов Lagrange. … — Работа с криптографическими примитивами и библиотеками (arkworks, halo2 или аналоги).