The AI Works community logo The Blockchain Works community logo The Functional Works community logo The Golang Works community logo The Java Works community logo The JavaScript Works community logo The Python Works community logo The Remote Works community logo The WorksHub company logo

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through Functional Works average a 15% increase in salary 🚀

You will be redirected back to this page right after signin

Remote Zero-Knowledge Cryptographer & Protocol Developer

Remote | Worldwide

22 April, 2022

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Cryptography
  • zero-knowledge proofs
  • Applied Cryptography
  • discrete mathematics
  • encryption
  • Rust
  • homomorphic encryption

Benefits & perks

  • Remote working
  • Flexible working
  • Unlimited vacation
  • Team workouts
  • Conference tickets
  • Travel opportunities
Blockchains are not private enough for safe use by citizens, corporations, or dissidents.

Role overview

About Heliax

The primary project of Heliax is the Anoma protocol (implemented in Rust). Anoma is a sovereign, proof-of-stake blockchain protocol that enables private, asset-agnostic cash and private bartering among any number of parties. In addition to Anoma, Heliax works on open-source projects which are part of the Anoma ecosystem, including but not limited to research in cryptographic libraries such as the MASP or Ferveo (written in Rust), and tools for high assurance validity predicates and arbitrary zero-knowledge circuits (Juvix, written in Haskell).

Heliax is a remote-first team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with.

Overview

Blockchains are not private enough for safe use by citizens, corporations, or dissidents.

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.

Responsibilities

  • 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

Example projects

Qualifications

  • 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

Bonus Qualifications

  • 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

Misc

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 🏔️.

  • 10-49

Heliax is a public goods lab which researches, develops, deploys, and maintains protocols and mechanisms designed to serve the everyday needs of humanity. Using these protocols and mechanisms, we build vertically integrated products and networks that form coherent open systems which are capable of acting as an alternative to existing exploitative paradigms. Everything produced by Heliax is open-source and unencumbered by any form of IP law. Two of the most notable vertically integrated protocols are Anoma and Namada. Anoma is an intent-centric, privacy-preserving protocol for decentralized counterparty discovery, distributed solving,and atomic multi-chain settlement – a radically novel architecture for decentralized protocols marking the beginning of the third generation of architectures, the first new generation since the introduction of programmable settlement by Ethereum. Namada is Anoma’s first fractal instance: a proof-of-stake Layer 1 blockchain protocol designed to provide users with asset-agnostic, interchain privacy. The key innovations include Zcash-like shielded transfers for any assets (fungible and non-fungible), incentivised privacy sets, and interoperability with Ethereum via a custom bridge and with the Cosmos ecosystem and others via IBC. As components of these vertically integrated protocols, Heliax builds many modular components which can be used independently or jointly, such as the Juvix language, Typhon consensus suite, Taiga private state transition framework, and VampIR polynomial circuit compiler. Heliax is a remote-first (but not remotely-only) team, currently composed of +50 cross-disciplinary members located around the world.

View 16 jobs
Engineers who find a new job through Functional Works average a 15% increase in salary.

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Cryptography
  • zero-knowledge proofs
  • Applied Cryptography
  • discrete mathematics
  • encryption
  • Rust
  • homomorphic encryption

Benefits & perks

  • Remote working
  • Flexible working
  • Unlimited vacation
  • Team workouts
  • Conference tickets
  • Travel opportunities

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email
Remote Zero-Knowledge Cryptographer & Protocol Developer