Research Summary: Dissimilar Redundancy in DeFi - Auditing and Security - Smart Contract Research Forum

(Joint work with @danhper) TL;DR The meteoric rise of decentralized finance (DeFi) has been accompanied by a plethora of frequent and often financially devastating attacks on its protocols. There have been over 70 exploits of DeFi protocols, with the total of lost funds amounting to approximately $1.5 billion USD. In this paper, we introduce the notion of “dissimilar redundancy” for smart contracts. The core idea is that a program logic is implemented more than once, ideally using different p...