ZK Инженер по проверке

О нас

Axiom использует доказательства с нулевым разглашением для создания новых типов проверяемых и частных программных приложений, начиная с криптовалют и финансовых технологий. Мы небольшая, но невероятно сильная команда, поддерживаемая лучшими инвесторами в криптовалюту. Мы ищем исключительных людей, которые готовы работать над сложными и эффективными проблемами в быстро меняющейся среде. Наш офис находится в Нью-Йорке, и мы отдаем предпочтение личной работе в Нью-Йорке, но мы также открыты для удаленных кандидатов.

Недавно мы выпустили OpenVM, производительную и модульную структуру zkVM, созданную для настройки и расширения. OpenVM позволяет разработчикам гибко и эффективно проверять правильность выполнения произвольных компьютерных программ. Мы создаем продукты с поддержкой ZK с использованием OpenVM и поддерживаем команды, работающие на OpenVM.

Роль

Мы ищем ZK Proof Engineer, который будет внедрять и оптимизировать современный криптографический код для генерации доказательств с нулевым разглашением. Вы будете отвечать за создание систем для взаимодействия между компьютерными системами низкого уровня, такими как RISC-V ISA, платформами компиляторов, такими как LLVM, и серверными модулями баз данных, а также за соединение их с передовыми системами доказательства с нулевым разглашением. Эта роль будет включать как оптимизацию проверочных устройств ZK, так и внедрение новых схем ZK. Ваша работа потребует принятия решений по проектированию, обеспечивающих быструю разработку безопасных и эффективных систем.

Мы ищем человека с сильными навыками инженерного проектирования, способностью работать со всем стеком и мышлением в области безопасности. Мы также ценим возможность делать прагматичный выбор технологий, который расширяет возможности нашей небольшой команды, не увеличивая при этом слишком больших затрат.

Кто ты

•
У вас есть сильный опыт в математике/криптографии или сильные навыки решения проблем и интерес к доказательствам с нулевым разглашением.

•
У вас есть знание Rust, C/C++ или аналогичного по производительности серверного языка. Мы работаем в основном на Rust.

•
Вы чрезвычайно ориентированы на детали и обладаете мышлением в области безопасности.

•
Вы работали над сложными программными проектами и следите за производительностью.

•
Вы умеете общаться и цените сотрудничество.

•
У вас сильная склонность к действию.

•
У вас чрезвычайно сильная трудовая этика.

Бонусы

•
У вас есть опыт работы с такими платформами компиляторов, как LLVM или MLIR.

•
Вы работали с аспектами компьютерной архитектуры низкого уровня, такими как RISC-V, или программировали FGPA или другое специальное оборудование.

•
У вас есть опыт работы с базами данных, включая опыт планирования запросов или механизмов запросов низкого уровня.

•
Вы проводили исследования в области математики, теоретической информатики или теоретической физики.

•
У вас есть опыт работы с низкоуровневыми деталями Ethereum.

Мы приветствуем разное происхождение. Некоторые нетрадиционные профили, которые могут хорошо подойти, включают высокочастотную торговлю, математику/физику/компьютерные науки и разработку аппаратного обеспечения.

Зачем присоединяться к нам

•
Вы станете одним из первых сотрудников, способных принимать ключевые технические решения и решения по продукту.

•
Вы будете работать над революционной технологией, которая потенциально может стать ключевым элементом инфраструктуры криптоиндустрии.

•
Вы будете получать конкурентоспособную зарплату с долевым участием.

•
Вы будете работать и получать наставничество от исключительной команды.

Наша команда

Наши основатели И Сун и Джонатан Ван познакомились во время изучения математики в Гарварде и работали над ZK с 2021 года. Вместе они написали несколько наиболее производительных схем ZK для криптографии на эллиптических кривых и чтения данных Ethereum, прежде чем запустить Axiom.

До Axiom Йи был профессором Статистического университета Чикаго и защитил докторскую диссертацию по математике в Массачусетском технологическом институте. Ранее он был советником Gauntlet и работал в HFT-стартапе от его создания до прибыльной торговли. Джонатан публиковал исследования по теории чисел в ведущих математических журналах и защитил докторскую диссертацию по математике в Калифорнийском университете в Чикаго.

В остальную часть нашей небольшой, но невероятно сильной команды входят выпускники Applied Intuition, Coinbase, Color, Neon, Google и Perplexity, а также доктора наук по математике/компьютерным наукам и победители IMO/IPhO/Codeforces. Мы с нетерпением ждем возможности работать с вами!

Источник: Jobicy (https://jobicy.com/jobs/152237-zk-proof-engineer).