Remote ZK Cryptography Engineer – O(1) Labs - WorksHub - San Francisco, CA

About the job Position Description O(1) Labs is a blockchain technology company that has successfully incubated the Mina Protocol. Using Mina, we are now building a private and secure way to access Web3 as the world’s premier zero-knowledge application platform. We are looking for a talented and motivated cryptography engineer with experience in Zero-Knowledge Proofs technology to join our team at O(1) Labs. We are building on the first cryptocurrency protocol with a succinct blockchain, Mina Protocol. This is a chance to join a small, collaborative team and have a ton of independence while working on fascinating problems that span software engineering, systems design, cryptography, and computing. We also offer industry leading competitive compensation both in salary and equity as well as top-of-the-market benefits. You will be helping us to shape the future of our core zero knowledge protocols, improving the existing proving schemes we have, and suggesting innovative approaches to tackle performance bottlenecks. Responsibilities Implementing, optimizing, and reviewing code for Kimchi (our zero-knowledge proof system), Pickles (our recursion protocol), and cryptographic circuits. Writing technical specs for design and use of the crypto protocols. Writing high quality, performing, and well documented OCaml and Rust code. Clear communication and articulation of abstract ideas. Collaboration with the team of crypto engineers in a remote environment on a daily basis. Proposing new meaningful approaches based on novel cryptography research available in academia. Training new team members in zero-knowledge technology. Speaking in some ZK conferences around the world. Attending team offsites around the globe. Key Qualifications: Passion for creating effective and pragmatic cryptographic schemes Understanding of – or interest in being taught – fundamental cryptographic algorithms and underlying mathematics, such as finite field arithmetic, FFTs, polynomial commitment scheme