Vitalik Buterin: El código sin errores podría convertirse en realidad en la década de 2030

Vitalik Buterin opina que un código fuente realmente sin errores podría volverse factible en la década de 2030, al menos para los desarrolladores que priorizan la seguridad. Esta opinión la expresó tras la bifurcación dura controvertida de Gnosis Chain en diciembre de 2024 para recuperar 9,4 millones de USD perdidos en el ataque a Balancer.

Ante las críticas relacionadas con la inmutabilidad de la blockchain y la forma de construir smart contracts, Buterin enfatizó que “verificación formal” no significa “demostrar que no hay errores”. Él considera que un código completamente libre de errores puede ser algo inalcanzable, ya que los errores provienen de la brecha entre la intención humana y la forma en que se ejecuta el código—mientras que la intención en sí misma es muy compleja y difícil de captar.

Sin embargo, Buterin confía en que se puede reducir significativamente la cantidad de errores mediante la aplicación de múltiples capas de protección, como sistemas de tipos de datos fuertes, verificación formal selectiva, mecanismos de respaldo y pruebas rigurosas. Para los desarrolladores que priorizan la seguridad, un futuro “casi sin errores” está completamente al alcance.