4 ms·
Haha, my issue with Ethereum has always been that, as a software engineer, I know it's impossible to write bug free code. It's a great idea to have a code drive
by zilchers 9y ago
Haha, my issue with Ethereum has always been that, as a software engineer, I know it's impossible to write bug free code. It's a great idea to have a code driven contract utopia, but our first experiment with that model proved we still need human intervention. If it were that simple, we would just have hyper formalized real world contracts (in an almost mathematical notation) - but that obviously never happened. Frankly, hand written contracts are already incredibly decentralized, it's only enforcement that is centralized.
- aaron-lebo 9y agoSlightly pedantic, but you and your parent did this, and people do it all the time. It's Ethereum, not Etherium.
- anothercomment 9y agoTrue, I worry about that, too. And in case of the DAO, that issue hit home big time. There are efforts under way to create contracts with formal verification, but I remain a bit skeptic. It is difficult to write complex software that way afaik. On the other hand, a lot of contracts are maybe not very complex. I thought about a bank account recently (receive and send money). That could perhaps be done in 100 lines of code? (I don't know the programming language yet, but their basic token creation example seems to be short, and it is kind of like a bank account). That seems impressive compared to the effort banks probably spend on IT.