Zero-knowledge proofs và mã hóa đồng dạng hoàn toàn là các giải pháp bảo mật đầy hứa hẹn, nhưng chúng đang đối mặt với những trở ngại kỹ thuật thực sự. Với hệ thống ZK, điểm nghẽn chủ yếu là hiệu quả của prover—việc tạo chứng minh đòi hỏi tính toán nặng nề. Trong khi đó, chi phí xác minh cần phải duy trì tính cạnh tranh. Không gian crypto đang tích cực giải quyết vấn đề này thông qua các phương pháp chứng minh đệ quy và đột phá trong tăng tốc phần cứng. FHE gặp thách thức riêng của nó: tính toán mã hóa chậm lại khi nhiễu tích tụ trong các ciphertext, cộng thêm việc quản lý khóa mã hóa một cách an toàn ở quy mô lớn vẫn còn phức tạp. Cả hai công nghệ đều đang trưởng thành nhanh chóng, nhưng việc giải quyết các vấn đề về hiệu quả này là rất quan trọng trước khi việc áp dụng rộng rãi trở nên thực tế.