El cofundador de Ethereum, Vitalik Buterin, compartió recientemente una predicción tecnológica interesante: que las afirmaciones de que "las vulnerabilidades son inevitables y el código necesariamente contiene bugs" podrían dejar de ser válidas en la década de 2030.
Su punto de vista es muy realista: actualmente, en realidad existen muchos softwares con vulnerabilidades, pero esto no se debe a que la tecnología no pueda evitarlo, sino a que en muchos escenarios, la iteración rápida y la mejora de funciones son más importantes que perseguir una corrección absoluta del código. Las empresas y los desarrolladores a menudo deben hacer concesiones entre estos dos aspectos.
Pero, ¿qué pasa si alguna vez se requiere un código sin vulnerabilidades? Vitalik cree que las futuras tecnologías serán suficientes para lograr esto. Esto es especialmente crucial para el ecosistema Web3: los contratos inteligentes involucran la seguridad de fondos, y la confiabilidad absoluta del código ya no es un lujo, sino una necesidad.
Desde la verificación formal hasta auditorías asistidas por IA, desde la optimización de compiladores hasta la protección en tiempo de ejecución, el campo de la cadena de bloques está acumulando estas herramientas tecnológicas. Quizás para la década de 2030, realmente veamos cómo se redefine el equilibrio entre seguridad y funcionalidad.
Ver originales
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
9 me gusta
Recompensa
9
5
Republicar
Compartir
Comentar
0/400
WhaleWatcher
· hace22h
V哥 esta idea es bastante optimista, pero en la realidad... todavía quedan 10 años hasta 2030, y ahora mismo los fallos en los contratos siguen causando pérdidas a los inversores.
¿Crees que la verificación formal puede salvar el mundo? Es fácil decirlo, pero ¿quién paga los costes de auditoría?
¿Código sin vulnerabilidades? Je, primero estabilicen Ethereum antes de presumir.
Esta teoría la he oído muchas veces, la velocidad de avance tecnológico nunca iguala la creatividad de los hackers.
Es una visión interesante, pero todavía no me lo creo.
Ver originalesResponder0
OnlyOnMainnet
· hace22h
V神 vuelve a hacer promesas, ¿código sin bugs? Hablarlo con tanta facilidad, en realidad quizás en 2030 todavía estén arreglando cosas
Espera, espera, la verificación formal ya existía hace tiempo, ¿cómo es que ahora dicen que van a usarla...
Ya invertí en el fondo de compensación por bugs en contratos inteligentes, y todavía estoy esperando
Hermanos, no confíen demasiado en estas predicciones, todas las profecías de la última década han fallado
Cero vulnerabilidades es un sueño, tener dinero para arreglar bugs es la realidad
Ver originalesResponder0
GasGoblin
· hace22h
Vitalik vuelve a hacer promesas, pero esta vez tengo que admitir que son realmente tentadoras... cero vulnerabilidades para 2030, tenemos que llegar allí primero.
No parece correcto, ¿pueden la iteración rápida y la seguridad realmente ser perfectamente compatibles? ¿O está insinuando que algunos proyectos deberían desacelerar?
La verificación formal suena impresionante, pero en la realidad... ¿puede realmente soportar tantos tokens en funcionamiento? Es un poco dudoso.
Espera, ¿está parcheando los contratos que fueron hackeados antes... qué risa?
2030 todavía está lejos, primero terminemos de arreglar los bugs de este año.
Si los contratos inteligentes realmente llegan a tener cero vulnerabilidades, ¿qué comerán esas empresas de seguridad? No entiendo esa lógica.
Parece que está haciendo publicidad para auditorías de IA... pero realmente se necesita esa cosa.
Ver originalesResponder0
CryptoMotivator
· hace22h
¿Podrá hacerse realidad ese sueño de cero errores durante tantos años? 2030, ¿realmente será posible? Lo dudo.
Vitalik vuelve a hacer promesas, pero esta vez realmente no está exagerando.
La validación formal suena impresionante, pero en realidad solo significa gastar dinero y recursos humanos.
Si los contratos inteligentes siguen fallando, ya estamos hartos de ellos.
¿Y qué pasa con la auditoría de IA? Al final, todavía hay que depender de revisiones humanas.
¿2030? Para entonces, las nuevas criptomonedas habrán pasado por varias generaciones, quizás sea un poco pronto para decir eso.
¿Contratos sin errores? Sueña, siempre habrá vulnerabilidades que los hackers aún no hayan descubierto.
La seguridad en blockchain, al final, sigue siendo una cuestión de confianza.
Ver originalesResponder0
Fren_Not_Food
· hace23h
vitalik vuelve a lanzar sus teorías jaja, código sin errores para 2030... mejor ni escucharlo
las cosas malas pasan, pero hay que formalizar la verificación
un bug en un contrato inteligente puede costar millones de dólares, y tiene razón en eso
la verificación formal suena impresionante, pero ¿realmente se puede usar en un entorno de producción? Apuesto a que sigue siendo un montón de tonterías teóricas
En lugar de cero errores, ¿no sería mejor cero rug pulls? ¿Qué opinas?
El cofundador de Ethereum, Vitalik Buterin, compartió recientemente una predicción tecnológica interesante: que las afirmaciones de que "las vulnerabilidades son inevitables y el código necesariamente contiene bugs" podrían dejar de ser válidas en la década de 2030.
Su punto de vista es muy realista: actualmente, en realidad existen muchos softwares con vulnerabilidades, pero esto no se debe a que la tecnología no pueda evitarlo, sino a que en muchos escenarios, la iteración rápida y la mejora de funciones son más importantes que perseguir una corrección absoluta del código. Las empresas y los desarrolladores a menudo deben hacer concesiones entre estos dos aspectos.
Pero, ¿qué pasa si alguna vez se requiere un código sin vulnerabilidades? Vitalik cree que las futuras tecnologías serán suficientes para lograr esto. Esto es especialmente crucial para el ecosistema Web3: los contratos inteligentes involucran la seguridad de fondos, y la confiabilidad absoluta del código ya no es un lujo, sino una necesidad.
Desde la verificación formal hasta auditorías asistidas por IA, desde la optimización de compiladores hasta la protección en tiempo de ejecución, el campo de la cadena de bloques está acumulando estas herramientas tecnológicas. Quizás para la década de 2030, realmente veamos cómo se redefine el equilibrio entre seguridad y funcionalidad.