The Bitcoin Backbone Protocol with Chains of Variable Difficulty
Theoretical Bitcoin Attacks with less than Half of the Computational Power (draft)