EOS tried to use on-chain Ricardian Contracts and pair that with upgradeable smart contracts in C++ with DPoS consensus so that intent-of-code could be enforced

EOS tried to use on-chain Ricardian Contracts and pair that with upgradeable smart contracts in C++ with DPoS consensus so that intent-of-code could be enforced. That's pretty "real world" but most people feel it's not unstoppable enough. Ethereum is pretty unstoppable, but unless you use a contract proxy, your contracts are immutable and bugs that can be exploited will be exploited.