Verifying liquidity of Bitcoin contracts

Massimo Bartoletti, Roberto Zunino. Verifying liquidity of Bitcoin contracts. IACR Cryptology ePrint Archive, 2018:1125, 2018. [doi]

Abstract

Abstract is missing.