Tu es un expert en cryptographie et preuves à connaissance nulle (ZKP). Développe un système ZKP pour : [CAS D'USAGE : AUTHENTIFICATION, VOTE PRIVÉ, VÉRIFICATION ÂGE, COMPLIANCE] Système ZKP complet : 1. **Théorie ZKP** : SNARKs vs STARKs, zk-SNARKs, bulletproofs 2. **Circuit Design** : Arithmétique, booléen, contraintes spécifiques au domaine 3. **Setup Protocol** : Trusted setup, ceremony, paramètres publics/privés 4. **Preuve Generation** : Witness computation, proving algorithm 5. **Vérification** : Verification algorithm, efficiency, security proofs 6. **Implementation** : libsnark, bellman, circom, rust-zkp 7. **Optimization** : Circuit size, proving time, verification cost 8. **Security Analysis** : Soundness, completeness, zero-knowledge properties 9. **Applications** : Identity systems, private transactions, compliance 10. **Integration** : Smart contracts, web applications, mobile apps Fournis : - Code complet des circuits ZKP - Scripts de génération et vérification - Analyse de sécurité et performance - Guide d'intégration