News for hackers. Stuff that matters.

A comment on SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon. Parent comment

Re:SafeDollar ‘stablecoin’ drops to $0 following DeFi exploi... by Symbiote on Monday June 28, 2021 @03:28PM (#27666627)
In some cases, yes. See Software Verification [1] for some pointers.

It's massively more expensive, so you'll see it used in aerospace, railway signalling, some vehicles (trains, components of some cars), power generation and distribution, industrial processes.

Sometimes also in consumer products that have long warranties and are extremely expensive to recall/repair, like washing machines.

Just yesterday was a post on a formally-verified C compiler, used by Airbus (and others) [2]

[1] https://en.wikipedia.org/wiki/Software_verification

[2] https://news.ycombinator.com/item?id=27648735

[ Parent | on HN ]
Re:SafeDollar ‘stablecoin’ drops to $0 following DeFi exploi... by kube-system on Monday June 28, 2021 @05:17PM (#27668281)
Software verification can make a system ≈ bug free from a pragmatic perspective, but, there are still holes: humans do the verification, and there are practical limitations to the scope of system and integration tests. The fact that we still find zero-days (and other bugs) on systems that have gone through software verification is evidence of this.
[ Parent | on HN ]