The Future of Programmable Bitcoin Finance