
web3roy.eth
458 posts

web3roy.eth
@web3roy
EVM Developer | Best Use of Polygon ID @ ETHGlobal Tokyo | Ethereum Foundation’s PSE Team Award @ ETHTaipei | ConsenSys Award @ ETHTaipei


We’ve completed full formal verification of all u256 math operations from integer-mate, the culprit in the recent Cetus hack. Next, we’re further enhancing Sui Prover’s ability to handle complex bitwise operations needed to complete the proofs for the remaining signed and unsigned operations. Once everything’s ready, we’ll open-source all specs. Big thanks to @bluefinapp for the joint effort in supporting this critical work.





ANNOUNCING: FOUNDRY v1.0! Every major DeFi protocol and smart contract developer who wants secure and gas-efficient code uses Foundry. Today, Foundry is officially stable, and here for the long run. Congratulations to everyone on today's huge milestone. `foundryup`! A lot of exciting updates in the thread.

Kyberswap & Indexed Finance exploiter apparently was a chess (and math) prodigy





Now that Ethereum's great $33.73 billion unlock is over. • What's next on vitalik's master plan? • What were hidden behind the scenes? • And what does it mean for 𝘆𝗼𝘂 & how will it affect 𝗲𝘃𝗲𝗿𝘆𝗼𝗻𝗲? Here's everything the insider dev 𝗿𝗲𝘃𝗲𝗮𝗹𝘀:





