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.
  • Recompensa
  • 7
  • Republicar
  • Compartir
Comentar
0/400
ForkMastervip
· hace5h
Suena bien, pero en realidad los códigos de contrato de los proyectos actuales son como dados, los informes de auditoría son solo decoraciones. Esos tres chicos míos parecen ser más confiables que algunos contratos inteligentes.
Ver originalesResponder0
DataBartendervip
· hace12h
Veste que este tipo tiene un poco de idealismo, ¿cero errores para 2030? No te creo ni un poco Sueña demasiado... el capital y los plazos siempre ganan La validación formal suena impresionante, ¿pero en la práctica? Todavía hay que confiar en las auditorías Un cero de vulnerabilidades real no existe, mientras haya personas, habrá bugs ¿Este tipo está en serio...? Aunque en DeFi sí han perdido bastante dinero, tiene un aire de necesidad urgente Otra vez 2030, ¿por qué todas las predicciones se retrasan diez años? Quizá, pero me preocupa más cuándo podrán estos proyectos dejar de ser estafados
Ver originalesResponder0
WhaleWatchervip
· 12-24 13:29
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
OnlyOnMainnetvip
· 12-24 13:26
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
GasGoblinvip
· 12-24 13:21
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
CryptoMotivatorvip
· 12-24 13:17
¿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_Foodvip
· 12-24 13:03
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?
Ver originalesResponder0
  • Anclado

Opera con criptomonedas en cualquier momento y lugar
qrCode
Escanea para descargar la aplicación de Gate
Comunidad
Español
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)