The Bitcoin Backbone Protocol: Analysis and Applications
how to play any mental game or a completeness theorem for protocols with honest majority .