My EVMavericks NFT came to life 😮🦁 EVMavericks was born in r/ethfinance with the goal of advancing the decentralized Ethereum web3 ecosystem by providing funding, developing, and promoting public goods and education. Thanks EVMaverick392.eth for the dope artwork!

First audit of the year finished, managed to identify 3 mediums and 2 highs🙌 Up to the next one!

I’m quite sure formal verification is the next step in web3 audit contests. An audit only verifies a snapshot of the code, while a set of properly written rules can be verified upon each change in the code. I've been playing with ’s prover and it really blew my mind!

Huge pot of 720k led by the 2 OG auditors Trust and obront | eth/acc 😵 You shouldn’t miss this one, anon.

Would be nice if there's an app which shows you some interesting Code4rena & SHERLOCK statistics like the amount of contests a user participated in, amount and type of findings, payouts, ... A web3 auditor portfolio so to speak 👌🏽

Damn my head exploded doing all those bit shifting 🤯In the end, took a slightly different approach to solve the Curta CTF 😀 Thanks for the challenge ⁵⁄₉ !

The subtle, yet very important difference between EVM compatibility and EVM equivalence.. I'd reckon we will see these kind of vulnerabilities more and more in the future unfortunately..

See y'all there folks! 🫡

I'd like to level up my reverse engineering and EVM skills and what's better than learning by doing... 🤓Anyone knows any interesting or intriguing MEV bots worth reverse engineering? 🤖🔍 Lmk!