Project Background This project involves the analysis of two proxy smart contracts, AdminUpgradeabilityProxy and FiatTokenProxy, which are part of an upgradeable proxy architecture for Ethereum-based applications. The primary aim is to allow the proxy contract to delegate calls to different…