PoW-based distributed cryptography with no trusted setup
completeness theorems for non - cryptographic fault - tolerant distributed computation ( extended abstract ) .