The EF has formalized its DeFi strategy for the first time ever.