Les preuves à divulgation zéro et le chiffrement entièrement homomorphe sont des solutions de confidentialité prometteuses, mais elles rencontrent de véritables obstacles techniques. Avec les systèmes ZK, le goulot d'étranglement réside dans l'efficacité du prouveur — la génération de preuves étant computationnellement lourde. Par ailleurs, les coûts de vérification doivent rester compétitifs. L'espace crypto s'attaque activement à ce problème grâce à des approches de preuves récursives et des avancées dans l'accélération matérielle. Le FHE a ses propres défis : le calcul chiffré devient plus lent à mesure que le bruit s'accumule dans les textes chiffrés, et la gestion sécurisée des clés de chiffrement à grande échelle reste complexe. Les deux technologies mûrissent rapidement, mais résoudre ces problèmes d'efficacité est crucial avant que leur adoption généralisée ne devienne réaliste.