Defining L1 DeFi