| Job Position | Company | Posted | Location | Salary | Tags |
|---|---|---|---|---|---|
Logos | New York, NY, United States | $90k - $190k | |||
Logos | Madrid, Spain | $90k - $190k | |||
Polygon Labs | Bengaluru, India | $72k - $102k | |||
NEAR | Amsterdam, Netherlands | $72k - $150k | |||
| Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
IntelliPro | United States | $72k - $95k | |||
Polygon Labs | APAC | $72k - $100k | |||
Polygon Labs | Remote | $45k - $62k | |||
Polygon Labs | APAC | $72k - $102k | |||
Base | Remote | $122k - $123k | |||
Copper.co | London, United Kingdom | $36k - $70k | |||
Polygon Labs | Remote | $72k - $77k | |||
Polygon Labs | Europe | $72k - $84k | |||
Consensys Mesh | New York, NY, United States | $72k - $75k | |||
Polygon Labs | New York, NY, United States | $63k - $120k | |||
Scroll.io | EMEA Region | $105k - $180k |
This job is closed
About Vac
Vacbuildspublic good protocolsfor the decentralized web.
We do applied research based on which we build protocols, libraries and publications.
This role is within the Vac Nescience unit, which developsNescienceA zkVM leveraging hiding properties.
The role
In this role, you will be responsible implementing and analysing components of zero knowledge argument systems and architectures for private computation.
The ideal candidate should be well-versed in zero-knowledge circuits written in Rust, with the ability to adapt to evolving research needs.
Your responsibilities will include implementing zero-knowledge circuits and writing comprehensive specifications.
Additionally, your role will involve measuring the performance of circuits, while also possessing the skills to debug and optimize as needed.
Join us in pushing the boundaries of private computation technology and contribute to groundbreaking advancements in the field of zkVMs.
Key responsibilities
- Implement and analyze components of ZK argument systems and architectures for private computation.
- Write specifications and communicate analysis results through write-ups.
- Break down complex problems, and know what can and what can’t be dealt with later.
- Measure performance of and debug circuits.
You ideally will have
- Very strong engineering background
- Very strong Rust skills
- Experience in implementing components of zero-knowledge argument systems and related technologies (zk-SNARK, circom, Nova, Plonk/Halo2, zk-STARK)
- Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers
- Experience in, and passion for, blockchain technology.
- A strong alignment to our principles.
Bonus points if
- Deep understanding of zero-knowledge argument systems and related technologies (zk-SNARK, circom, Nova, Plonk/Halo2, zk-STARK), elliptic curve cryptography, and circuit design.
- Experience with Open Source software.
[Don’t worry if you don’t meet all of these criteria, we’d still love to hear from you anyway if you think you’d be a great fit for this role. Just explain to us why in your cover letter].
Hiring process
The hiring process for this role will be:
- Interview with our POps team
- Interview with team member from the Vac team
- Pair programming task with the Vac team
- Interview withVac team lead
The steps may change along the way if we see it makes sense to adapt the interview stages, so please consider the above as a guideline.
Compensation
The expected compensation range for this role is $90,000 - $190,000 (negotiable, dependent on how we assess your skills and experience throughout our interview process. We are happy to pay in any mix of fiat/crypto.
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.