DeFi é um conjunto emergente de aplicativos para gerenciamento de ativos descentralizado sobre a tecnologia blockchain. DeFi está se tornando um importante veículo econômico na sociedade moderna. Somente o blockchain Ethereum já gerencia mais de 235 bilhões de dólares em ativos.
Um dos princípios básicos por trás DeFiA questão é que o código é lei e programas de computador chamados contratos inteligentes que rodam no blockchain ditam as condições e os efeitos para transações de ativos. Essa ideia inovadora tem muitos benefícios desejáveis que se originam de aspectos imutáveis e minimizadores de confiança de blockchains públicos descentralizados. No entanto, vulnerabilidades em contratos inteligentes e nas suas aplicações podem ser exploradas para roubar ou negar acesso a ativos por eles geridos. A mitigação e prevenção de tais danos são desafiadoras e exigem novas metodologias de desenvolvimento de software e design de segurança. Centenas de milhões de dólares em valor já foram perdidos devido a vulnerabilidades em contratos inteligentes. Portanto, a segurança do contrato inteligente é uma preocupação significativa para DeFi aplicações.