O problema do orçamento de segurança do Bitcoin deve ser resolvido