이더리움 공동 창립자 비탈릭 부테린은 제로 지식 증명과 자동화된 스마트 계약 실행의 발전에 힘입어 2030년대에는 버그 없는 코드가 현실이 될 수 있다고 전망했습니다. 그는 결함 밀도가 1990년 1,000줄당 8~10건에서 2020년에는 거의 0에 가까워지는 등 크게 감소했다고 강조했습니다. 부테린은 이 중요한 이정표를 달성하는 데 있어 향상된 개발 도구가 매우 중요하다고 강조했습니다. 또한, c-node라는 이름의 zk 개발자는 장기적인 보안을 보장하기 위해 기본 계층에는 핵심 계약만 포함되어야 한다고 권고했습니다. 이 접근법은 블록체인 시스템이 진화함에 따라 견고성과 신뢰성을 강화하는 것을 목표로 합니다.