SoK: Uncentralisable Ledgers and their Impact on Voting Systems
how to play any mental game or a completeness theorem for protocols with honest majority .