Vitalik, AI + resmi doğrulamanın en önemli yazılım geliştirme desenlerinden biri haline gelebileceğini doğru şekilde belirtiyor. Blok zinciri endüstrisinde güvenlik önemli ölçüde artırılabilir. Ancak, hayır, bu kadar basit değil: “AI kod yazar, kanıtlar doğrular, bu yüzden Ethereum hata-free hale gelir.” Daha gerçekçi versiyon şu: AI, yüksek güvenirlikli mühendisliği daha ucuz ve ölçeklenebilir hale getirir. Takımlar hala neyin doğru olması gerektiğini belirlemeli, sistemi doğru şekilde modellemeli, kanıtları güncel tutmalı ve aslında doğrulanabilir sistemler tasarlamalıdır.