Bukti zero-knowledge dan enkripsi homomorfik penuh adalah solusi privasi yang menjanjikan, tetapi mereka menghadapi hambatan rekayasa nyata. Dengan sistem ZK, hambatannya terletak pada efisiensi prover—menghasilkan bukti memerlukan komputasi yang berat. Sementara itu, biaya verifikasi harus tetap kompetitif. Dunia kripto secara aktif mengatasi ini melalui pendekatan bukti rekursif dan terobosan percepatan perangkat keras. FHE memiliki tantangannya sendiri: perhitungan terenkripsi menjadi lebih lambat seiring akumulasi noise dalam ciphertexts, ditambah pengelolaan kunci enkripsi secara aman dalam skala besar tetap rumit. Kedua teknologi ini berkembang dengan cepat, tetapi memecahkan masalah efisiensi ini sangat penting sebelum adopsi arus utama menjadi realistis.