Provably Secure Bitoicn Escrow