A Composability Treatment of Bitcoin's Transaction Ledger with Variable Difficulty.

Juan Garay, Yun Lu, Julien Prat, Brady Testa, Vassilis Zikas

Browse the full FC paper archive.