DeFi est une suite émergente d'applications pour la gestion décentralisée des actifs sur la technologie blockchain. DeFi devient un moteur économique majeur dans la société moderne. La blockchain Ethereum gère déjà à elle seule plus de 235 milliards USD d’actifs.
L'un des principes fondamentaux derrière DeFiLe fait est que le code est une loi et que des programmes informatiques appelés contrats intelligents qui s’exécutent sur la blockchain dictent les conditions et les effets des transactions d’actifs. Cette idée révolutionnaire présente de nombreux avantages souhaitables qui proviennent des aspects immuables et minimisant la confiance des blockchains publiques décentralisées. Cependant, les vulnérabilités des contrats intelligents et de leurs applications peuvent être exploitées pour voler ou refuser l'accès aux actifs qu'ils gèrent. L'atténuation et la prévention de tels dommages sont un défi et nécessitent de nouvelles méthodologies de développement de logiciels et de conception de sécurité. Des centaines de millions de dollars ont déjà été perdus en raison des vulnérabilités des contrats intelligents. Par conséquent, la sécurité des contrats intelligents est une préoccupation majeure pour DeFi applications.