Ethereum, Kvm, Formal Verification, Solidity, Smart Contracts.
Depending how you count, event over a half a billion dollars (by today’s Ethereum evaluation), was lost in a couple of biggest smart contract hacks. What about if behind every responsible piece of code stands pure solid mathematics instead of personal conviction of developers? With formal