Vitalik predice un futuro sin errores para los contratos inteligentes
- El fundador de Ethereum, Vitalik Buterin, predice que el código libre de errores será alcanzable en la década de 2030 gracias a los avances en herramientas de verificación y desarrollo.
- Gnosis Chain ejecutó una bifurcación dura controvertida para recuperar 9,4 millones de dólares robados en el hackeo de Balancer.
- Buterin afirma que la verificación formal por sí sola no puede crear código verdaderamente libre de errores, pero los sistemas de redundancia en capas pueden filtrar las brechas entre la intención del desarrollador y el código real.
Los desarrolladores que priorizan la seguridad pueden esperar que la codificación libre de errores se vuelva alcanzable en la década de 2030, según el cofundador de Ethereum, Vitalik Buterin.
Tras la controvertida bifurcación dura (hard fork) de Gnosis Chain para recuperar $9,4 millones del hackeo de Balancer, el cofundador de Ethereum, Vitalik Buterin, afirmó que la creencia de que «los errores son inevitables, no se puede hacer código libre de errores» dejará de ser cierta en la década de 2030.
¿Qué dijo Vitalik Buterin sobre la programación?
Vitalik Buterin ha hecho una predicción de que el código libre de errores se convertirá en una realidad en la década de 2030 a través de una interacción en la plataforma de redes sociales X.
La discusión comenzó cuando Gnosis Chain anunció que ejecutó una bifurcación dura (hard fork) el 22 de diciembre, como informó informó Cryptopolitan. La bifurcación dura recuperó $9,4 millones robados durante la explotación de Balancer en noviembre de 2024, que drenó más de $128 millones a través de múltiples blockchains. La recuperación requirió que la mayoría de los validadores adoptaran un nuevo software, y aquellos que no actualizaron se enfrentan a penalizaciones.
Esto, por supuesto, encontró cierta resistencia por parte de los partidarios de blockchain, quienes criticaron la medida porque va en contra del principio de inmutabilidad. Un usuario de X con el seudónimo 'colluding node' (nodo colusivo) dijo que el verdadero problema es cómo se construyen las aplicaciones de blockchain. Argumentó que utilizar contratos inteligentes en máquinas virtuales programables es el enfoque incorrecto.
«Solo hay 7 contratos que vale la pena escribir, y deberían estar consagrados en la capa base y obtener seguridad de la diversidad de clientes», escribió el usuario.
Buterin luego respondió aclaró que la verificación formal no es igual a ser demostrablemente libre de errores. Fue más allá y sugirió que el código demostrablemente libre de errores podría ni siquiera ser posible.
«Iria incluso tan lejos como para decir que 'demostrablemente libre de errores' no es posible, porque 'libre de errores' significa 'sin brecha entre la intención y la ejecución del código', y nuestra intención es un objeto extremadamente complejo al que tenemos acceso limitado.»
La verificación formal utiliza métodos matemáticos para verificar si los sistemas críticos para la seguridad funcionan correctamente. Esta técnica se ha utilizado desde la década de 1960 en campos como la ingeniería aeroespacial.
Cuando se utiliza en contratos inteligentes, la verificación formal puede demostrar que la lógica empresarial de un contrato cumple con una especificación predefinida; sin embargo, a pesar de que los contratos de Balancer fueron auditados 11 veces, realizados por cuatro firmas de seguridad separadas, aún se coló un defecto crítico.
¿Es posible un futuro con código libre de errores?
Buterin propuso que la solución es múltiples capas de redundancia para filtrar las brechas entre la intención y la ejecución. Señaló los sistemas de tipos como una forma de redundancia y la verificación formal de afirmaciones específicas sobre el código como otra capa.
La verificación formal puede detectar problemas como desbordamientos por exceso o por defecto de enteros, reentrancia y optimizaciones deficientes de gas que pueden pasar desapercibidos para los auditores y probadores. Mientras tanto, las pruebas tradicionales solo pueden verificar la presencia de errores en lugar de su ausencia.
Buterin señaló que algunos software seguirán teniendo errores porque las ganancias de funcionalidad importan más que la perfección en ciertos casos. Pero los desarrolladores que priorizan la seguridad tendrán las herramientas para lograr un código verdaderamente libre de errores.
Las mentes más inteligentes del mundo cripto ya leen nuestro boletín. ¿Quieres unirte? Únete a ellos.
Aviso de responsabilidad. La información proporcionada no es un consejo de trading. Cryptopolitan.com no asumimos responsabilidad alguna por las inversiones realizadas basándose en la información proporcionada en esta página. Recomendamos encarecidamente la investigación independiente y/o la consulta con un profesional calificado antes de tomar cualquier decisión de inversión.
Hannah Collymore
Hannah es escritora y editora con casi una década de experiencia en la redacción de blogs y la cobertura de eventos en el ámbito de las criptomonedas. En Cryptopolitan, Hannah contribuye a la página de noticias, informando y analizando los últimos avances en DeFi, RWA, regulación de criptomonedas, inteligencia artificial y tecnologías de vanguardia. Se graduó de la Universidad de Arcadia con una licenciatura en Administración de Empresas.
