Blockchain, Qtum, Deepsea, Formal Verification.
broken. Some stuck to the mantra, and it split the community into two opposing camps. One favored immutability, stating the code worked as written, while the other favored salvaging the project, noting it would harm everyone since a substantial sum of ether was now in the hands of a malicious