ZK Proof Engineer

About the role

Axiom is seeking a ZK Proof Engineer to implement and optimize cryptographic code for zero-knowledge proof generation. The role involves building systems that interface low-level computer systems, compiler frameworks, and database backends with ZK proof systems. You will contribute to the development of OpenVM and ZK-enabled products in a fast-paced, collaborative environment.

Responsibilities

• Implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation.
• Build systems to interface between low-level computer systems like RISC-V ISA and compiler frameworks like LLVM.
• Connect database backends with cutting-edge zero-knowledge proof systems.
• Optimize ZK provers and implement novel ZK circuits.
• Make design choices to enable rapid development of secure and efficient systems.

Required skills

• Rust
• C++
• C
• Cryptography
• Zero-knowledge proofs
• Software engineering

Nice to have

• LLVM
• MLIR
• RISC-V
• FPGA
• Database backends
• Query planning
• Mathematics
• Theoretical computer science
• Theoretical physics
• Ethereum

Qualifications

• Strong background in math or cryptography
• Strong problem-solving skills and interest in zero-knowledge proofs

Benefits

• Equity

About the Company

Axiom uses zero-knowledge proofs to enable new types of verifiable and private software applications, starting with crypto and fintech. The company is a small, strong team backed by top investors in the crypto space.