Исследователь криптографии и математик — разработка криптографических протоколов@ Heliax

Что за роль

Компания Heliax — это удалённая компания, занимающаяся исследованием и разработкой открытых протоколов и продуктов, направленных на создание систем альтернативной координации и финансов, обеспечивающих конфиденциальность. Вам предстоит разработать новые криптографические протоколы и оценить существующие системы.

Чем вы будете заниматься

• Проектирование новых криптографических протоколов для достижения заданных целей по информационным потокам, безопасности и производительности.
• Оценка и анализ существующих систем zkSNARK/zkSTARK на предмет безопасности и производительности.
• Обновление и комбинирование криптографических протоколов для прототипов и производственных случаев использования.
• Создание технических спецификаций и сотрудничество с инженерами по реализации.
• Реализация и тестирование криптографических операций и протоколов, преимущественно на Rust.

Требования

• Сильный математический и криптографический бэкграунд (теория сложности, абстрактная алгебра, проектирование протоколов).
• Экспертиза в конструктивном проектировании протоколов и анализе распределённых криптографических протоколов.
• Опыт оценки безопасности и производительности систем доказательства (например, zkSNARKs/zkSTARKs).
• Опыт реализации или рецензирования криптографического кода (предпочтительно Rust).

Будет плюсом

• Публикации в области математики, теоретической информатики или криптографии.
• Опыт работы с распределёнными системами и/или архитектурой операционных систем.
• Опыт работы с Zerocash/Zexe/VeriZexe и связанными архитектурами.
• Соответствующие академические квалификации в области криптографии или математики.

Что мы предлагаем

• Удалённая работа.
• Помощь с релокацией в Германию (виза) и поддержка при поездках в Берлин для первоначального обучения.
• Высокая степень независимости в условиях работы и приоритизации задач.