ZK Developer: Privacy-Preserving Verification Module (Circom/Solidity)

CSPDAO is developing a zero-knowledge proof system to allow users to verify membership status without revealing personal identity data. We require an experienced ZK engineer to design circuits, generate proofs, and integrate verification into our smart contracts.
This is a high-security project. Full technical specifications, architecture diagrams, and security requirements are confidential.

Technical Stack:
Circuit Development: Circom (preferred), Halo2, or Noir
Proof Generation: SnarkJS or equivalent
Verification: Solidity verifier contracts (EVM-compatible)
Testing: Hardhat/Foundry for integration tests
Security: Secure key management, trusted setup ceremony coordination

Scope of Work:
Design and implement ZK circuits for membership verification logic.
Optimize constraints for gas efficiency during on-chain verification.
Develop client-side proof generation script (Node.js/WASM).
Write and deploy Solidity verifier contract.
Conduct internal security testing and constraint analysis.
Provide documentation for integration and trusted setup procedures.

Deliverables:
Complete circuit code with comments.
Compiled verifier contract (Solidity).
Client-side proof generation library.
Technical documentation (architecture, setup, integration guide).
Test suite with sample proofs (valid and invalid cases).
Security report on potential constraint vulnerabilities.

Requirements:
Proven experience shipping ZK projects (GitHub links required).
Deep understanding of R1CS, QAP, and zk-SNARKs/STARKs.
Experience with Circom and SnarkJS is mandatory.
Knowledge of Solidity gas optimization for verifier contracts.
Understanding of trusted setup ceremonies and security implications.