OMG WTF

Dec 1, 2022 · 12:00 AM UTC

155
1,178
386
9,449
bro wtf...
11
80
28
1,139
More cool Eth security stuff:
cts🌸 @gf_256
19 Nov 2022
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.👇🧵 zellic.io/blog/formal-verifi…
5
9
1
130
More cool eth security stuff:
cts🌸 @gf_256
19 Nov 2022
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.👇🧵 zellic.io/blog/formal-verifi…
2
1
19
Replying to @gf_256
AI is overtaking all the jobs now
2
1
89
Replying to @gf_256
what interface is this?
Replying to @gf_256
Not actually vulnerable in 0.8+ bc underflow of balance will cause revert
1
Replying to @gf_256
Bruh - about to bot all of the NFT drops using this! 🤣
2
Replying to @gf_256
@scott_lew_is any idea about ChatGPT's code4rena score?
Replying to @gf_256
I wonder the reach GPT4 will achieve. GPT3 has already shown it's potential. Will be fun to see it's next evolution.
Replying to @gf_256
😳
Load more