Las pruebas de conocimiento cero y la encriptación completamente homomórfica son soluciones de privacidad prometedoras, pero enfrentan obstáculos reales de ingeniería. Con los sistemas ZK, el cuello de botella radica en la eficiencia del probador: generar pruebas es computacionalmente intensivo. Mientras tanto, los costos de verificación deben mantenerse competitivos. El espacio cripto está abordando activamente esto mediante enfoques de pruebas recursivas y avances en aceleración de hardware. La FHE tiene su propio desafío: el cálculo encriptado se vuelve más lento a medida que el ruido se acumula en los textos cifrados, además de que gestionar las claves de encriptación de manera segura a gran escala sigue siendo complicado. Ambas tecnologías están madurando rápidamente, pero resolver estos problemas de eficiencia es fundamental antes de que la adopción generalizada sea una opción realista.