О позиции
Компания Heliax — это удалённая организация, занимающаяся исследованием, разработкой, внедрением и поддержкой открытых протоколов и механизмов для удовлетворения повседневных потребностей. Они создают вертикально интегрированные открытые продукты и сети, включая Anoma (архитектура распределённой ОС, ориентированной на намерения) и Namada (уровень L1 с акцентом на конфиденциальность и proof-of-stake).
Чем вы будете заниматься
- Разработка новых криптографических протоколов для достижения заданных целей по информационному потоку, безопасности и производительности.
- Оценка и анализ существующих систем доказательства zkSNARK/zkSTARK (например, Halo2, ProtoStar, Risc0 zkVM) на предмет безопасности, выразительности и производительности.
- Обновление, повторная реализация и комбинирование существующих криптографических протоколов для создания прототипов и производственных случаев использования.
- Создание комплексных технических спецификаций для проектирования протоколов и сотрудничество с инженерами по их реализации.
- Реализация, проверка и тестирование криптографических операций и протоколов, в основном на Rust.
Требования
- Сильный математический и/или криптографический бэкграунд (например, теория сложности, абстрактная алгебра, проектирование криптографических протоколов).
- Экспертиза в конструктивном проектировании протоколов и анализе распределённых криптографических протоколов.
- Доказуемые примеры работы по проектированию протоколов (научные статьи, эксперименты, прошлые проекты или подробные описания).
- Опыт реализации или оценки криптографического кода, предпочтительно на Rust.
Будет плюсом
- Опубликованные статьи в области математики, теоретической информатики или криптографии.
- Опыт работы с распределёнными системами и/или архитектурой операционных систем.
- Опыт работы с Zerocash/Zexe/VeriZexe или связанными архитектурами.
- Академические квалификации в области криптографии или математики.
Что мы предлагаем
- Помощь с переездом в Германию (например, помощь с визой).
Кто здесь добьётся успеха
Глубокие знания в области криптографии, включая опыт работы с zkSNARKs и zkSTARKs, а также понимание работы с elliptic curves и hash functions.
Способность к самоуправлению и высокой самоорганизации, необходимая для эффективной работы в удалённой команде, где требуется проактивный подход к задачам.
Аналитическое мышление и опыт в разработке алгоритмов, таких как Halo2 и ProtoStar, что позволяет разрабатывать инновационные решения и улучшать существующие протоколы.
Знание и опыт работы с Risc0 zkVM и Arkworks, что позволяет интегрировать современные технологии в проекты компании и обеспечивать высокую производительность.
Ресурсы для обучения
Карьерный путь
Обзор рынка
Навыки и требования
Тренды отрасли
Новости Crypto & Web3
Загружаем новости отрасли...
Ищем релевантные статьи за последние 6 месяцев