Provas de conhecimento zero e encriptação totalmente homomórfica são soluções promissoras de privacidade, mas enfrentam obstáculos reais de engenharia. Com os sistemas ZK, o gargalo está na eficiência do provador—gerar provas é computacionalmente pesado. Entretanto, os custos de verificação precisam manter-se competitivos. O espaço cripto está a abordar ativamente isso através de abordagens de provas recursivas e avanços em aceleração de hardware. A FHE tem o seu próprio desafio: o cálculo encriptado fica mais lento à medida que o ruído acumula-se nos textos cifrados, além de que gerir chaves de encriptação de forma segura em escala continua a ser complicado. Ambas as tecnologias estão a evoluir rapidamente, mas resolver esses problemas de eficiência é fundamental antes que a adoção generalizada se torne realista.