Las finanzas descentralizadas (DeFi) están creciendo rápidamente. El valor total bloqueado, una medida del dinero gestionado por los protocolos de DeFi, ha pasado de 10.000 millones de dólares a algo más de 40.000 millones en los últimos dos años, tras alcanzar un máximo de 180.000 millones de dólares.
Valor total bloqueado en DeFi en noviembre de 2022. Fuente: DefiLlama¿El elefante en la habitación? Sólo en 2021 se perdieron más de 10.000 millones de dólares por hackeos y exploits. Alimentando ese elefante: Los lenguajes de programación de contratos inteligentes actuales no proporcionan características adecuadas para crear y gestionar activos - también conocidos como "tokens." Para que DeFi se convierta en la corriente principal, los lenguajes de programación deben proporcionar características orientadas a los activos para que el desarrollo de contratos inteligentes DeFi sea más seguro e intuitivo.
Los actuales lenguajes de programación de DeFi no tienen el concepto de activos
Las soluciones que podrían ayudar a reducir los perennes hacks de DeFi incluyen la auditoría del código. Hasta cierto punto, las auditorías funcionan. De los 10 mayores hacks de DeFi de la historia (más o menos), nueve de los proyectos no fueron auditados. Pero destinar más recursos al problema es como poner más motores en un coche con ruedas cuadradas: puede ir un poco más rápido, pero hay un problema fundamental en juego.
El problema: los lenguajes de programación que se utilizan hoy en día para DeFi, como Solidity, no tienen ningún concepto de lo que es un activo. Los activos como los tokens y los NFT sólo existen como una variable (números que pueden cambiar) en un contrato inteligente como el ERC-20 de Ethereum. Las protecciones y validaciones que definen cómo debe comportarse la variable, por ejemplo, que no debe gastarse dos veces, que no debe ser drenada por un usuario no autorizado, que las transferencias siempre deben equilibrarse y llegar a cero, todo ello debe ser implementado por el desarrollador desde cero, para cada contrato inteligente.
A medida que los contratos inteligentes se vuelven más complejos, también lo son las protecciones y validaciones necesarias. Las personas son humanas. Los errores ocurren. Los errores ocurren. El dinero se pierde.



