Blockchain, Qtum, Deepsea, Formal Verification.
DAO might have deterred that. Unfortunately, we will never know with this case, and that was perhaps the most disheartening result of the DAO hack. Therefore, to get to the land of decentralization, we need to have more secure smart contracts, that work as planned and without unintended