Доказательства с нулевым разглашением и полностью гомоморфное шифрование — перспективные решения для обеспечения конфиденциальности, но они сталкиваются с реальными инженерными препятствиями. В системах ZK узким местом является эффективность доказателя — генерация доказательств требует больших вычислительных ресурсов. В то же время, стоимость проверки должна оставаться конкурентоспособной. В криптопространстве активно решают эту проблему с помощью рекурсивных подходов к доказательствам и прорывов в аппаратном ускорении. FHE имеет свою собственную проблему: за счет накопления шума в шифротекстах вычисления становятся медленнее, а также управление ключами шифрования в масштабах остается сложной задачей. Обе технологии быстро развиваются, но решение этих проблем эффективности является критически важным, прежде чем массовое внедрение станет реальностью.