Hiding in Plain Sight

Most people trust, but how many people verify?

I like challenging assumptions. I like trying to do the impossible, finding what others have missed, and blowing people's minds with things they never saw coming. Last year, I wrote a challenge for Paradigm CTF 2021 based on a very obscure Solidity bug. While one variation had been publicly disclosed, the vulnerability I exploited had never really been discussed. As a result, almost everyone who tried the challenge was stumped by the seemingly impossible nature of it. A few weeks ago, we were discussing plans around Paradigm CTF 2022 when Georgios tweeted out a teaser tweet. I thought it would

related reading

• Ethereum is a Dark Forest - Paradigmparadigm.xyz
• A shallow dive into formal verificationvitalik.eth.limo
• Escaping the Dark Forestsamczsun.com
• Two Rights Might Make A Wrong - Paradigmparadigm.xyz
• 0xPARC0xparc.org
• GitHub - stealthdrop/stealthdrop: Anonymous Airdrops using ZK-SNARKsgithub.com
• The Hitchhiker's Guide to Ethereum - Delphi Digitalmembers.delphidigital.io
• Escaping the Dark Forestsamczsun.com
• Should Ethereum be okay with enshrining more things in the protocol?vitalik.eth.limo
• The Compute Verification Postfirstscattering.com
• Earn $200K by fuzzing for a weekend: Part 1 | secret clubsecret.club
• Possible futures of the Ethereum protocol, part 2: The Surgevitalik.eth.limo