Cryptography Engineer (ZKP)

Role overview Build zero-knowledge proof systems that let decentralized applications verify AI inference, model integrity, and credentials without exposing sensitive data or proprietary model weights. The work spans cryptographic circuit design, proof performance, and integration with on-chain compute.

Responsibilities - Design arithmetic circuits for neural network inference. - Improve proof generation speed and reduce verification costs for SNARK and STARK systems. - Develop cryptographic components for verifiable credentials and decentralized identity. - Review and formally verify cryptographic circuits and smart contracts.

Requirements - Strong grounding in abstract algebra, finite fields, and elliptic-curve cryptography. - Practical experience with zero-knowledge frameworks such as Halo2, Plonky2, Circom, Gnark, or RISC Zero. - Proficiency in Rust and/or Go. - Understanding of cryptographic security models and potential attack surfaces.

Nice to have - Experience building zero-knowledge machine-learning pipelines. - Familiarity with smart-contract environments such as EVM, Solana, or Cosmos.

Benefits and work setup - Remote-first, globally distributed team. - Emphasis on outcomes, open-source contributions, and end-to-end ownership.