About the company
Our mission is to empower developers to build novel decentralized applications with the power of ZK. We believe blockchains have an unlimited appetite for data and compute, and recent advances in zero-knowledge proofs are the key to providing it. We are tackling the hard research and engineering problems necessary to make ZK accessible to smart contract developers. Our first product, Axiom, allows smart contracts to trustlessly compute over the entire history of Ethereum. Like GPUs do for CPUs today, Axiom augments the capabilities of standard blockchain consensus with zero-knowledge proofs. Developers can query the history of Ethereum from Axiom using Solidity and Typescript alone, and integrate into their on-chain applications by adding a single smart contract callback function to ingest ZK-verified results from Axiom. We are hiring developers to join us in developing, scaling, and optimizing Axiom. We are a small, focused team taking cutting-edge research breakthroughs in ZKPs from academic papers to robust production systems. We care deeply about delivering a robust and easy-to-use experience for application developers, and we solve hard technical problems at scale to make that possible. We hope you will join us in our journey to unleash the power of ZK for crypto applications.
Job Summary
The Role
đź“ŤWe are looking for a Founding ZK Circuit Engineer who will implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation. You will be working on interesting and challenging problems necessary to make ZK accessible to smart contract developers. The role will involve both optimizing the prover and implementing novel ZK circuits. Your work will be critical in scaling Axiom to empower smart contract applications to trustlessly access more data and more diverse compute.
Who you are
📍You have a strong background in math/cryptography, or strong problem-solving skills and interest in zero-knowledge proofs 📍You have proficiency in Rust, C++, Golang, or Python. We work primarily in Rust, but prior experience is not mandatory 📍You are extremely detail oriented and have a security mindset 📍You’ve worked on challenging software projects and have an eye for performance 📍You’re a clear communicator and value collaboration 📍You have a strong bias towards action 📍You have an extremely strong work ethic
