I currently work in the crypto space (views are my own). For the life of me, I cannot understand why we do not have a foundation built on something like TLA+ or

I currently work in the crypto space (views are my own). For the life of me, I cannot understand why we do not have a foundation built on something like TLA+ or the Z3 theorem prover instead of paying another human to try and poke your code for thousands of dollars. Maybe formal methods wouldn't be a silver bullet, but it seems a lot better and less error prone than manual review. Or maybe adopt existing knowledge from safety critical environments (e.g. programming brakes on a locomotive). I always feel like we're making mistakes that tangential areas of software engineering must have already solved. I guess devs tend to also not like math or writing proofs either, which is ironic given this is "crypto" lol.