> that formal proofs are not mandatory tools in this space The stakes are extraordinarily low relative to situations where formal proofs are mandatory. For ref

> that formal proofs are not mandatory tools in this space The stakes are extraordinarily low relative to situations where formal proofs are mandatory. For references, the list price of a single new 737 runs in the 50 million range, and the cost of the software for the 737 is amortized across many thousands of planes. 1. That's actual hard money. Real US dollars you can use to buy yachts and houses and avocado toast. Given the level of hype and amount of speculation, the true value of all the ether in the world is obviously considerably less than Ethereum's market cap. The hacker stole $30M 'worth' of ether, not 30M actual dollars 2. The cost of a plane crash is easily 10x the price of the plane, and of course you can't put a price on the lost souls.