ZK Proof Engineer
Axiom helps DeFi traders execute transactions by providing a comprehensive non-custodial trading platform.
Funding history
About Axiom
Axiom helps DeFi users trade memecoins, perpetuals, and earn yield by providing integrated access to multiple DeFi protocols. With it, users can execute rapid trades, avoid MEV attacks, and track wallet activity, all from a single platform. Axiom reduces fragmentation in the DeFi ecosystem through a unified interface.
Skills
Candidate Availability
Required and preferred rules are kept separate and reflect the wording in the original posting.
About the Role
You will implement and optimize cryptographic code for zero-knowledge proof generation. You will build systems that connect low-level computer systems such as the RISC-V ISA, compiler frameworks such as LLVM, and database backends with zero-knowledge proof systems. You will optimize ZK provers, implement novel ZK circuits, and make design choices that enable the rapid development of secure and efficient systems.
Requirements
- Strong background in mathematics or cryptography, or strong problem-solving skills and interest in zero-knowledge proofs
- Proficiency in Rust, C/C++, or a similarly performant backend language
- Strong attention to detail and a security mindset
- Experience working on challenging software projects
- Performance optimization skills
- Clear communication and collaboration skills
- Bias toward action
- Strong work ethic
- Experience with compiler frameworks such as LLVM or MLIR
- Experience with low-level computer architecture such as RISC-V
- Experience programming FPGAs or other custom hardware
- Experience with database backends, query planning, or low-level query engines
- Research experience in mathematics, theoretical computer science, or theoretical physics
- Experience with low-level Ethereum details
Responsibilities
- Implement and optimize cryptographic code for zero-knowledge proof generation
- Build systems that interface with the RISC-V ISA, LLVM compiler frameworks, and database backends
- Connect low-level computer systems and database backends with zero-knowledge proof systems
- Optimize zero-knowledge provers
- Implement novel zero-knowledge circuits
- Make design choices that enable rapid development of secure and efficient systems
Benefits
- Equity
- Remote work option