We are looking for a zkSNARK circuit engineer to help build and optimize zkSNARK circuits for proof of consensus for various chains. The Succinct founders (Uma and John) have deep expertise in zkSNARKs and have built out an implementation of proof of consensus for Ethereum. There will be an opportunity to collaborate closely with them as the team builds out circuits for proving the consensus of other blockchains. We are working on some very exciting core primitives with a chance to do legendary, career-defining work--we can share more on a call. Proof of consensus is an underexplored and interesting niche in the zkSNARK ecosystem with different performance considerations and tradeoffs compared to zkEVM or zk VM implementations. As a result, our optimizations and circuit architecture will be quite novel and ground-breaking. The circuits and work will all be open-source and this will be a great chance to contribute and collaborate deeply with various different proving ecosystems. Qualifications Prior experience developing zkSNARK circuits OR Extremely strong problem-solving and engineering fundamentals A strong knowledge of algorithms or prior competition programming or competition math experience is a good sign Detail oriented, security is paramount Ownership mindset Strong communication and collaboration skills Nice to have Strong math and/or cryptography background Strong knowledge of algorithms or optimizations Familiarity with optimized systems programming Familiarity with Rust Even if the listed qualifications don't seem like an exact match, passionate and enthusiastic people who love to quickly learn are always welcome! Feel free to reach out or apply regardless and we would love to chat.