¿Qué es una auditoría de contrato inteligente?

Una auditoría de contrato inteligente es un examen y análisis metódico extenso del código de un contrato inteligente que se utiliza para interactuar con una criptomoneda o blockchain. Este proceso se lleva a cabo para descubrir errores, problemas y vulnerabilidades de seguridad en el código con el fin de sugerir mejoras y formas de solucionarlos. Generalmente, las auditorías de contratos inteligentes son necesarias, porque la mayoría de los contratos tratan con activos financieros y / o artículos valiosos.

La importancia de las auditorías de códigos inteligentes se puede medir por el hecho de que la división de la cadena Ethereum en 2016 se debió a una vulnerabilidad de código explotada por un atacante, que puso en riesgo millones de dólares en fondos. Un «error de llamada recursiva» permitió al atacante drenar el fondo de cobertura democratizado «DAO» por valor de millones de dólares en ETH. Las acciones posteriores de la comunidad sobre la devolución de los fondos por la fuerza provocaron desacuerdos y dificultades.

Las auditorías de códigos inteligentes son cada vez más importantes en la floreciente industria de DeFi, donde los contratos inteligentes llenos de errores a menudo se apresuran para satisfacer la demanda de los inversores. Esto ha llevado a una serie de costosos trucos en 2020 por un total de millones, en particular Harvest, Yam Finance, bZx, Balancer y Eminence.