Докази з нульовою правдоподібністю та повністю гомоморфне шифрування — перспективні рішення для забезпечення приватності, але вони стикаються з реальними інженерними перешкодами. У системах ZK вузьким місцем є ефективність довірителя — генерація доказів є обчислювально важкою. Тим часом, витрати на перевірку повинні залишатися конкурентоспроможними. У криптоспільноті активно працюють над цим за допомогою рекурсивних підходів до доведень та проривів у апаратному прискоренні. FHE має свої виклики: зазнає уповільнення обчислень у шифрованому вигляді через накопичення шуму у шифротекстах, а також залишається складним безпечне управління ключами шифрування у масштабі. Обидві технології швидко розвиваються, але вирішення цих проблем з ефективністю є критичним перед тим, як масове впровадження стане реалістичним.