A bug in WETH:
Wrapped ETH is a smart contract that has been in over 125 MILLION Ethereum transactions. This year, 11.5% of all transactions used Wrapped ETH.
But is it secure? I formally verified two critical safety properties with a SMT solver, Z3.👇🧵
https://t.co/KH5vLjxwnm
The desire to be consistent with oneself is the source of poor decision-making.
The winners of the Big Short came to define themselves as bears and proceeded to underperform everyone for 13 years.
There's never a need to define yourself. The market does not care who you are.