4 ms·
Fixing the language is one step. It will still not prevent hax0rs from targeting the bytecode of the VM itself.
by arjo1 9y ago
Fixing the language is one step. It will still not prevent hax0rs from targeting the bytecode of the VM itself.
- lmm 9y agoPerfect is the enemy of good.
- pmarreck 9y agoIf that BS was true, we should all just switch to PHP right now
- lmm 9y agoOn the contrary. No other language is perfect, so if you can only think of perfect you would keep using PHP; it's only if you recognise the idea that a language can be better while still being imperfect that you can switch to a better language.
- naasking 9y agoThe EVM has been formalized in theorem provers [1], so they're already taking that threat seriously. One threat also mentioned in the above thread that is often overlooked are full abstraction failures, ie. exploitable mismatches between high level language constructs and the machine code to which it gets compiled. [1] http://lambda-the-ultimate.org/node/5003#comment-94646 http://lambda-the-ultimate.org/node/5003#comment-94646