Zero Knowledge (ZK) Jobs

704 jobs found

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

Serotonin

London, United Kingdom

$126k - $164k

Starkware

Remote

$63k - $106k

Polygon Labs

New York, NY, United States

$72k - $78k

Scrollio

Remote

$105k - $180k

Manta Network, Powered by p0x labs

New York, NY, United States

$45k - $55k

IO Global

Remote

$91k - $100k

NEBRA Labs

New York, NY, United States

$98k - $115k

Axiom

New York, NY, United States

$81k - $95k

Menyala

Remote

Figment

Remote

$81k - $91k

IO Global

Remote

$87k - $115k

IO Global

Remote

$86k - $117k

IO Global

Remote

$36k - $54k

IO Global

Remote

$86k - $117k

Serotonin
$126k - $164k estimated
London
Apply

Senior Compiler Engineer - Rust (External)

New York / London / Los Angeles
Recruiting Services /
Full-Time /
Remote

Apply for this job
Join our client as they accelerate the ZK revolution, supporting web3 networks with reliable and cost-efficient proof generation. They are a high-performance cryptography startup with an exciting hardware twist looking for a talented Compiler Engineer.

About the role: 
As a Senior Compiler Engineer, you will build tools to express computations on two types of novel machines, one digital and one virtual. The goals in these areas of our tech stack are:

Expression of verifiable programs with ZK constraint systems.
Translation of algorithms to target a custom cryptographic processor running on an FPGA.

You will work closely with the hardware and cryptography teams to define both the instruction sets and high-level program representations. The tools you build may be embedded programming languages, special-purpose compilers, and machine emulators. This work will have a direct impact on Irreducible’s success by improving the product’s developer experience, performance, and security.

Qualifications:

    • Proficiency in Rust
    • Functional programming
    • Experience writing CPU assembly code
    • Experience writing virtual machine interpreters or emulators
    • Strong written and verbal communications skills
    • Ability to think across layers of abstractions
    • Understanding of technology tradeoffs and a pragmatic approach to problem solving
    • Desire to work in a fast-paced startup environment

Bonus Qualifications:

    • Familiarity with WebAssembly or RISC-V
    • Experience writing compilers
    • Experience with non-standard ISAs
    • Experience with hardware accelerators for AI/ML
    • Understanding of formal verification techniques
    • Understanding of zero-knowledge cryptography

What We Offer:

    • Competitive salary and benefits package.
    • Opportunity to work with a passionate and innovative team.
    • Flexible working hours and remote work options (Relocation Support to Berlin)
    • Professional growth and development opportunities.
    • A collaborative and inclusive company culture.
Apply for this job

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.