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.
