ПЕРЕЕЗД В ГЕРМАНИЮ / БЕРЛИН | HELIAX
Исследователь в области криптографии и математик
Тип занятости: Полная занятость/Компания: Heliax
Heliax — это удаленная компания, которая исследует, разрабатывает, внедряет и поддерживает протоколы и механизмы с открытым исходным кодом для удовлетворения повседневных потребностей. Их работа включает Anoma (распределенную архитектуру операционной системы, ориентированную на намерения) и Namada, L1 для стейкинга с упором на конфиденциальность для межсетевой конфиденциальности, не зависящей от активов.
Кандидаты должны проживать в Европе (включая Великобританию) и быть готовыми к поездке в Берлин для первоначального онбординга.
Обязанности:
- Разрабатывать новые криптографические протоколы (например, shielded state sync) для достижения заданных целей по информационным потокам, безопасности и производительности.
- Оценивать и анализировать существующие криптографические протоколы и системы доказательств (например, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM) на предмет безопасности, выразительности и производительности.
- Обновлять, переimplementровать и комбинировать криптографические протоколы, адаптируя их для доказательства концепции (proofs-of-concept) и производственных сценариев использования.
- Создавать подробные технические спецификации для криптографических разработок и сотрудничать с инженерами по вопросам внедрения.
- Внедрять, проверять и тестировать криптографические операции и протоколы, в основном на Rust, и оценивать реализации на предмет корректности и производительности.
Требования:
- Математическая и/или криптографическая подготовка в соответствующих областях (теория сложности, абстрактная алгебра, проектирование криптографических протоколов).
- Экспертиза (формальная или неформальная) в конструктивном проектировании и анализе распределенных криптографических протоколов.
Желательно:
- Опубликованные работы по математике, теоретической информатике и/или криптографии.
- Опыт работы с распределенными системами и/или архитектурой/проектированием операционных систем.
- Опыт работы с Zerocash/Zexe/VeriZexe и связанными с ними архитектурами.
- Академическая квалификация в соответствующей области (криптография или математика).
Стек:
Rust, zkSNARKs, zkSTARKs, Halo2, ProtoStar, Risc0 zkVM, Arkworks, эллиптические кривые, хеш-функции, DKG, пороговая криптография
Преимущества:
- Помощь с переездом и визой для Германии.
- Высокая степень независимости в условиях работы и приоритизации задач.
- Тесное сотрудничество с небольшой междисциплинарной командой над проектами, основанными на исследованиях.
- Возможности для командировок, включая первоначальный онбординг в Берлине.
