About the Role
We're hiring a ZKP Engineer to build the zero-knowledge infrastructure behind Kash. You'll design and implement circuits for trustless market resolution, privacy-preserving proofs, and cryptographic primitives that make our prediction markets provably fair.
What You'll Do
- 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 our security architecture and threat modeling
What We're Looking For
- 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
Compensation
Solve the circuit. The salary range is encoded inside.
pragma circom 2.1.4;
template KashComp() {
signal input base; // base salary, USD
signal input tokens; // notional token allocation, USD
signal output total;
// Public constraints:
component lo = GreaterEqThan(32);
component hi = LessEqThan(32);
lo.in[0] <== base + tokens;
lo.in[1] <== 250000;
hi.in[0] <== base + tokens;
hi.in[1] <== 300000;
lo.out === 1;
hi.out === 1;
total <== base + tokens;
}
component main = KashComp();
// Public inputs hidden — solve to apply.Hint: total comp is bounded between 250,000 and 300,000 USD, split across base fiat and token allocations.