📰 Vitalik Buterin acaba de proponer combinar la IA con la verificación formal para frenar los hacks de los contratos inteligentes.
En un artículo del 18/05, reconoció que la IA puede generar código de alta velocidad, pero carece de precisión, lo que supone un gran riesgo para los contratos inteligentes que gestionan miles de millones de USD. Enfatizó que la herramienta para demostrar el teorema de Lean es la clave, y que una vez que el código se ha verificado, la vulnerabilidad queda eliminada de forma permanente.
¿Por qué es relevante?
Buterin reveló que alrededor del 90% de su patrimonio neto lo tiene en $ETH , por lo que el impulso por asegurar este ecosistema no es solo académico.
En pocas palabras:
En lugar de solo probar algunos casos, una demostración matemática garantiza que el código es correcto en todos los escenarios; esto es especialmente necesario para las firmas resistentes a la computación cuántica y los ZKP de Ethereum.
#Ethereum #CryptoNews
🔗 Fuente: Crypto Briefing
⚠️ La información es solo de referencia y no constituye asesoramiento de inversión. Investiga por tu cuenta antes de tomar cualquier decisión (DYOR).
En un artículo del 18/05, reconoció que la IA puede generar código de alta velocidad, pero carece de precisión, lo que supone un gran riesgo para los contratos inteligentes que gestionan miles de millones de USD. Enfatizó que la herramienta para demostrar el teorema de Lean es la clave, y que una vez que el código se ha verificado, la vulnerabilidad queda eliminada de forma permanente.
¿Por qué es relevante?
Buterin reveló que alrededor del 90% de su patrimonio neto lo tiene en $ETH , por lo que el impulso por asegurar este ecosistema no es solo académico.
En pocas palabras:
En lugar de solo probar algunos casos, una demostración matemática garantiza que el código es correcto en todos los escenarios; esto es especialmente necesario para las firmas resistentes a la computación cuántica y los ZKP de Ethereum.
#Ethereum #CryptoNews
🔗 Fuente: Crypto Briefing
⚠️ La información es solo de referencia y no constituye asesoramiento de inversión. Investiga por tu cuenta antes de tomar cualquier decisión (DYOR).