Asegurando Contratos Inteligentes y el Futuro de DeFi

En diciembre de 2023, el valor total bloqueado en protocolos de finanzas descentralizadas (DeFi) alcanzó los 50 mil millones de dólares. Eso es mucho dinero, razón por la cual la seguridad de los contratos inteligentes sigue siendo un tema de gran interés. Entra Mooly Sagiv y Certora, una empresa de seguridad y auditoría de contratos inteligentes especializada en verificación formal. La experiencia de Certora radica en emplear un método matemático para probar rigurosamente que un diseño, especialmente en código, cumple con sus especificaciones.

Mooly Sagiv describe la evolución de la verificación formal desde una oscura búsqueda académica hasta convertirse en una piedra angular en el fortalecimiento de los contratos inteligentes. Se adentra en las complejidades de asegurar código compacto, por qué la verificación formal es la pareja perfecta y el futuro de los contratos inteligentes más allá de la Máquina Virtual de Ethereum (EVM).