About the Role
You'll design and implement circuits for trustless market resolution, privacy-preserving proofs, and cryptographic primitives that make prediction markets provably fair. You will work closely with smart contract engineers to bring proofs onchain and contribute to the overall security architecture of the platform.
Requirements
- 3+ years working with zero-knowledge proof systems
- Strong experience with Circom, Noir, or similar DSLs
- Deep understanding of constraint systems, R1CS, and circuit optimization
- Familiarity with zkTLS, attestation protocols, or oracle design
- Solid foundation in cryptography and mathematics
- Experience with Solidity and EVM integration a plus
- Bonus: contributions to open-source ZK projects
Responsibilities
- Design and build ZK circuits for market resolution and verification
- Implement zkTLS and other proof systems for trustless data attestation
- Optimize circuit performance and proving times
- Work with smart contract engineers to integrate proofs onchain
- Research and prototype new cryptographic approaches
- Contribute to security architecture and threat modeling