Damn. I've been saying that writing correct software is almost impossible.

I suspect it's a matter of time before all mainstream blockchain projects are cracked. Many of those projects are hundreds of thousands of lines of code. There's no way they don't have vulnerabilities given that AI is now uncovering so many vulnerabilities in such high exposure projects.

I was a code minimalist before, now I'm a radical minimalist. We need to get the lines of code down to the absolute minimum.

Attack surfaces need to be clearly defined, enumerable and testable under all possible conditions.