Zero Knowledge (ZK) Jobs
761 jobs found
| Job Position | Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|---|
Nexus.xyz | San Francisco, CA, United States | $121k - $164k | |||
Nexus.xyz | San Francisco, CA, United States | $85k - $156k | |||
Nexus.xyz | San Francisco, CA, United States | $90k - $165k | |||
Hyperbolic Labs | Irvine, CA, United States | $90k - $144k | |||
| Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
Flashbots | United States | $81k - $95k | |||
Axiom | New York, NY, United States | $81k - $95k | |||
Axiom | New York, NY, United States | $157k - $175k | |||
Axiom | New York, NY, United States | $84k - $120k | |||
Anagram | Remote | $81k - $95k | |||
Anagram | Remote | $36k - $54k | |||
NIL (CYPRUS) LTD | Lima, Peru | $126k - $127k | |||
Paradigm62 | Singapore, Singapore | $105k - $107k | |||
Consensys | Remote | $122k - $198k | |||
Ripple | New York, NY, United States | $81k - $95k | |||
Gevulot | Remote |
|
Nexus: Enabling Verifiable Computing
Founded at Stanford in 2022, Nexus is a scientific effort enabling large-scale verifiable computing, powered by zero-knowledge proofs.
Nexus is an open scientific project, attempting to culminate decades of research in cryptography, mathematics and computer science, into the first general-purpose system for verifiable computation: The Nexus zkVM.
Our team consists of some of the world's top cryptographers, mathematicians, and engineers, all working together with one goal: to unite the world's computers and prove all of humanity's computation.
Job Overview
We're looking for a highly skilled Senior Cryptography Engineer to join our team. As a Senior Cryptography Engineer, you'll be at the forefront of innovation, implementing cutting-edge zero-knowledge proof systems and other cryptographic protocols, as well as contributing robust, safe and high-performance production-grade code, primarily in Rust.
In particular, we seek candidates with extremely strong mathematics background, and who are excited to shape the future of computation.
Responsibilities
-
Implement Advanced Zero-Knowledge Cryptography:
Implement cutting-edge high-performance zero-knowledge proof systems, vector/polynomial commitment schemes, lookup arguments, arithmetic circuits, and varied types of zkSNARKs / zkSTARKs in Rust.
-
Research and Implementation:
Be at the frontiers of cryptography and follow the latest advancements in cryptography and zero-knowledge proofs research.
-
Communication and Collaboration:
Collaborate effectively and fast with our research and engineering teams, ensuring seamless integration with the product, partners and clients.
Qualifications
-
Education:
Master’s or Ph.D. in Cryptography, Formal Methods, or a related field of Computer Science. Ph.D.s in Theoretical / Applied Physics and Mathematics are also welcome.
-
Experience:
Expert experience with Rust, having shipped production-level code. Proficiency in C/C++/Go is also considered.
Experience implementing production-grade cryptography.
-
Skills:
Excellent communication skills and the ability to convey complex ideas to both technical and non-technical stakeholders.
Embrace a high-energy startup mentality, and be ready to thrive in the dynamic and fast-paced landscape of the zero-knowledge industry and scientific advancements.
Benefits
Competitive salary and equity compensation.
Immerse yourself in a dynamic startup culture where creativity is highly encouraged, and where autonomy and meritocracy are highly valued.
Be a part of a foundational transformation of the future of computation.
This role is an in-office position in San Francisco. For candidates based outside of San Francisco, we will offer relocation assistance.
Don't meet all the qualifications? We still encourage you to apply if you're passionate about cryptography and eager to learn and contribute to our mission.
What is Zero-knowledge?
Zero-knowledge is a concept in cryptography that allows two parties to exchange information without revealing any additional information beyond what is necessary to prove a particular fact
In other words, zero-knowledge is a way of proving something without actually revealing any details about the proof
Here are some examples of zero-knowledge:
- Password authentication: When you enter your password to log into an online account, the server doesn't actually know your password. Instead, it checks to see if the hash of your password matches the stored hash in its database. This is a form of zero-knowledge because the server doesn't know your actual password, just the hash that proves you know the correct password.
- Sudoku puzzles: Suppose you want to prove to someone that you've solved a particularly difficult Sudoku puzzle. You could do this by providing them with the completed puzzle, but that would reveal how you solved it. Instead, you could use a zero-knowledge proof where you demonstrate that you know the solution without actually revealing the solution itself.
- Bitcoin transactions: In a Bitcoin transaction, you prove that you have ownership of a certain amount of Bitcoin without revealing your private key. This is done using a zero-knowledge proof called a Schnorr signature, which allows you to prove ownership of a specific transaction output without revealing the private key associated with that output.
- Secure messaging: In a secure messaging app, you can prove to your contacts that you have access to a shared secret without revealing the secret itself. This is done using a zero-knowledge proof, which allows you to prove that you have access to the secret without actually revealing what the secret is.