#以太坊 Al ver esta predicción de V神, inmediatamente me vinieron a la mente algunos hitos clave de estos años. Recuerdo el incidente de The DAO en 2016, esa controversia sobre la bifurcación dura que todavía se enseña en los libros de texto; y luego las diversas vulnerabilidades en contratos, cada una con su lección de sangre. Después de tantos años, desde la evolución del lenguaje Solidity, hasta la maduración progresiva de las herramientas de verificación formal, y ahora la mejora de varios marcos de auditoría, realmente se puede sentir que el ecosistema avanza hacia una dirección más rigurosa.

V神 dice que en la década de 2030 será posible tener código sin bugs, y esto no es una fantasía. Pensándolo bien, en su momento pensábamos que "la cadena de bloques debe ser descentralizada, y que demasiadas verificaciones son innecesarias", y ahora, todos buscan maneras de usar matemáticas e ingeniería para garantizar la seguridad. Desde el idealismo temprano de "el código es la ley", hasta la ruta pragmática actual de "el código necesita ser verificado", esto es una actualización en la percepción.

Pero lo crucial es—que el código sin bugs podría hacerse realidad, no significa que todo el ecosistema lo adopte. Aquellos proyectos que persiguen iteraciones rápidas y priorizan funciones, siempre tolerarán la existencia de bugs. Solo unos pocos están dispuestos a invertir en verificación formal, o a reescribir en lenguajes más seguros como Rust o Move. La historia me enseña que las buenas tecnologías y su adopción en el mercado nunca son una línea paralela. Por lo tanto, el valor de esta predicción quizás no radica en que el código esté libre de bugs en sí, sino en que esas infraestructuras clave y contratos financieros centrales, eventualmente, se verán obligados a seguir ese camino.