The issue is that people do like tunnels because they feel safe, and empty voids are scary. This incentives to still build and use tunnels around this void, which makes “crypto”-ness just an implementation detail not worth using as is by the masses.
Afaiu, this happens for two reasons: 1, the usual, people tend to forget assertions. 2, the new one, crypto institutions who make contracts are incentivized to omit assertions because runtime now costs serious money. They are like factories where there is no rule of safety yet.
Is the above correct, or is it a true half a million dollars mistake? You can’t trust node_modules as it seems, how can you trust piles of contracts code when there is no support, no takedowns of bad versions and no easily accessible (and decentralized?) audit?
Also, could a type system help in this case?