Heliax is looking for a cryptographer & researcher interested in zero-knowledge cryptographic protocols and their application to distributed ledger technology to work 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, and cryptographic primitives such as elliptic curves and hash functions, then put this cryptography into practice in order to realise privacy and scalability capabilities required by the next generation of blockchain networks.
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.
- Evaluate and analyze existing zkSNARK and zkSTARK proof systems such as Groth '16, Ben-Sasson '18, and PLONK for security, expressivity, and performance; monitor the state of the research field for compelling new theoretical advances
- Update & alter existing cryptographic protocols, customize them for specific proof-of-concept and production use-cases
- Produce technical specifications for designs & instantiations of cryptographic protocols and assist with implementation in coordination with team members
- Implement, review, and test cryptographic operations & protocols, primarily in Rust, evaluate existing implementations
- The Multi-Asset Shielded Pool (to be published soon)
- PLONK & plookup (in progress)
- The PLONK by hand series
- The Demystification series (Supersonic, Fractal)
- Prior experience with cryptographic protocols, especially zkSNARKS or zkSTARKs (though not specifically required)
- Prior experience in low-level systems programming, ideally in Rust
- Self-motivated & self-organized
- Academic research background in mathematics, computer science, economics, and/or game theory
- Prior experience with distributed ledger (blockchain) technology
- Experience in a functional programming language such as Haskell or Ocaml
- Experience with a proof assistance such as Idris, Coq, or Agda||
- Remote or local (Zürich/Zug, Berlin). When remote, preferred if mostly located within (+/- 7 hours) Central European time zones. North America is fine.
- Ideally someone who enjoys travel, nature and hiking. Often we find that protocols are best designed not in a meeting room but rather on a trail