Bringing DeFi on Bitcoin (3)