POPA Reconthe coming crisis: crypto, AI, and spaceflight
the coming crisis: crypto, AI, and spaceflight Crypto is entering the space age as immutable financial code akin to a spaceship with no further control. Like the 1960s software crisis, testing cannot prove absence of bugs - mathematical rigor and formal verification are required Most crypto has used sloppy standards despite handling billions adversarially and irreversibly. AI will streamline formal verification, leading to rigorous crypto that emerges stronger through trial by fire https://x.com/mert/status/2064334524436402246?s=20
The excerpt is quoted from a public Telegram channel, which owns its text.