零知识证明和全同态加密是有前景的隐私解决方案，但它们面临着实际的工程难题。在ZK系统中，瓶颈主要在于证明者的效率——生成证明的计算量很大。与此同时，验证成本需要保持具有竞争力。加密空间正通过递归证明方法和硬件加速突破积极应对这一挑战。FHE也面临自己的难题：随着密文中噪声的积累，加密计算变得更慢，而且在大规模环境下安全管理加密密钥仍然具有挑战性。这两项技术都在快速成熟，但在实现主流应用之前，解决这些效率问题至关重要。