Research Cryptographer & Mathematician

Company: Heliax

Employment Type: Full-Time

Location: Remote

About the Company

Heliax is a remote-first company which researches, develops, deploys, and maintains open-source protocols and mechanisms designed to serve the everyday needs of humanity. Using this, we build vertically integrated open-source products and networks that form coherent open systems which are capable of acting as an alternative to existing exploitative paradigms.

Heliax's work includes Anoma, a novel intent-centric distributed operating system architecture, and Namada, a proof-of-stake L1 for interchain asset-agnostic privacy, designed to bring the best privacy to the multichain and with the vision of building a portal between public and private worlds.

Overview

The systems of coordination and finance in our world today are not private enough for safe use by citizens, corporations, or dissidents. Heliax is looking for a research mathematician & cryptographer interested in working with us to design, evaluate, and implement zero-knowledge proof constructions such as zkSNARKs and zkSTARKs, distributed cryptographic protocols such as threshold encryption and distributed key generation, cryptographic primitives such as elliptic curves and hash functions, and multi-party protocols constructed with many of these primitives as components, then put this cryptography into practice in order to realize the information flow control and scalability capabilities required to realize the vision of Anoma.

This role offers the chance to work closely with a small team on compelling cross-disciplinary problems in theoretical computer science, cryptography, game theory, economics, and systems design, and enjoy a high degree of independence in working conditions and task prioritization.

Responsibilities

• Design new cryptographic protocols (e.g. shielded state sync) from first principles to achieve specified information flow topologies, external interfaces, security properties, and performance characteristics.
• Evaluate and analyze existing cryptographic protocols, often zkSNARK or zkSTARK proof systems (e.g. Halo2, ProtoStar, Risc0 zkVM) for security, expressivity, and performance.
• Update, alter, reimplement, and combine existing cryptographic protocols, customizing them for specific proofs-of-concept and production use-cases.
• Produce comprehensive technical specifications for designs & instantiations of cryptographic protocols and collaborate with engineers on implementations of these protocols.
• Implement, review, and test cryptographic operations & protocols, primarily in Rust, evaluate existing implementations for correctness and performance.

Example Projects

• Anoma resource machine in RISC0
• The Ferveo DKG & threshold decryption protocol
• Cryptography research on Anoma's blog, Zenodo, or the Anoma research forum
• Research into private solving

Requirements

• Mathematical and/or cryptographic background in relevant subfields, such as complexity theory, abstract algebra, and cryptographic protocol design
• Expertise (formal or informal) in constructive protocol design and analysis of distributed cryptographic protocols. This could be a protocol that you've designed in a research paper, an experimental project, a past work project, or even a system worked out (in detail) in a series of blog posts

Bonus Qualifications

• Published papers in mathematics, theoretical computer science, and/or cryptography
• Experience with distributed systems and/or operating systems architecture/design
• Experience with Zerocash/Zexe/VeriZexe and related architectures
• Academic qualifications in a relevant field (cryptography or mathematics)

Location

Ideally based in or willing to relocate to Berlin. Must be based in Europe (including UK) and willing to travel to Berlin for initial onboarding. Heliax can help with relocation to Germany (e.g. visa assistance).

Ideally someone who enjoys travel, nature and hiking.