Thunderbolt: A Formally Verified Protocol for Off-Chain #Bitcoin Transfers


IACR Cryptology ePrint Archive
Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers
We present Bitcoin Thunderbolt, a novel off-chain protocol for asynchronous, secure transfer of Bitcoin UTXOs between uncoordinated users. Unlike p...



