= “FORMAL VERIFICATION” WOULD NOT HAVE PREVENTED ANY PART OF THE MANGO ATTACK

“Crypto incentives engineering”

“We’ve got idea how to create proper incentivization, so let’s just pretend that incentives attacks are too hard to pull off, and ignore the problem — Web3”

“Is web3 facing an unsolved existential problem that they refuse to admit?”