Smart contracts in DeFi