Соучредитель Ethereum Виталик Бутерин прогнозирует, что безошибочный код может стать реальностью к 2030-м годам благодаря достижениям в области доказательств с нулевым разглашением и автоматизированного исполнения смарт-контрактов. Он отметил значительное снижение плотности дефектов, которая уменьшилась с 8–10 на 1000 строк кода в 1990 году до почти нуля к 2020 году. Бутерин подчеркнул, что улучшенные инструменты разработки будут иметь решающее значение для достижения этой цели. Кроме того, разработчик zk под псевдонимом c-node рекомендовал закреплять в базовом слое только основные контракты для обеспечения долгосрочной безопасности. Такой подход направлен на повышение устойчивости и надежности блокчейн-систем по мере их развития.