Zero Knowledge (ZK) Jobs

762 jobs found

web3.career is now part of the Bondex Logo Bondex Ecosystem

Receive emails of Zero Knowledge (ZK) Jobs
Job Position Company Posted Location Salary Tags

Scroll.io

Singapore, Singapore

$81k - $102k

Base

Remote

$175k - $206k

Codex

London, United Kingdom

$81k - $95k

Nexus.xyz

Remote

$86k - $112k

Avail

Remote

$68k - $148k

Prover Network

Remote

$85k - $112k

Open Systems Technologies

New York, NY, United States

$100k - $200k

Ripple

Lausanne, Switzerland

$18k - $81k

Paradex

New York, NY, United States

$72k - $77k

Nethermind

London, United Kingdom

$126k - $150k

Nexis Network

Remote

$132k - $500k

Manta Network, Powered by p0x labs

New York, NY, United States

$82k - $148k

Matter Labs

Remote

$81k - $95k

ZK Research Engineer

Scroll.io
$81k - $102k estimated

This job is closed

About the team

We are a team working on Ceno (paper link: https://eprint.iacr.org/2024/387), one of the cutting-edge ZKVM solutions. It is the first ZKVM that exploits the program structure and compiler techniques to improve the proof generation time. The project consists of three modules: GKR prover, ZKVM protocol, and recursive prover. Our whole team is working on the following tasks:

  1. The GKR prover acceleration.
  2. ZKVM infrastructure optimization, and opcode implementation.
  3. Recursive prover design and implementation.
  4. ZK research discussion.

Responsibilities:

  • Enhance performance through innovative optimization techniques.
  • Benchmark protocols, including different IOP protocols, polynomial commitments, and circuit designs.
  • Maintain and enhance the zk[E]VM architecture for optimal performance and reliability.
  • Implement opcode circuits, test, benchmark and optimize opcode design.
  • Design and implement recursive proof systems.
  • Analyze academic papers, design algorithms, and develop compiler systems to implement new solutions.

Requirements:

  • Proficient in Rust/C++, and experience with low-level optimizations.
  • Advanced degree in Computer Science, Mathematics, or a related field, In-depth understanding of algorithms and mathematical concepts.
  • Experience in designing and developing compilers and algorithmic systems.
  • Ability to read, understand, and implement ideas from academic papers.
  • Experience in MPI development.

Preferred Qualifications:

  • Strong algorithm or mathematics contest background.
  • Publications or contributions to ZK research.
  • Hands-on experience with ZKVM and recursive proof systems.
  • Experience in collaborative zkSNARKs, or decentralized provers.

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:

  1. 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.
  2. 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.
  3. 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.
  4. 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.