Bitcoin DeFi protocol vulnerabilities