The Bitcoin Backbone Protocol with Chains of Variable Difficulty
Universally composable security: a new paradigm for cryptographic protocols