zarf.eth ๐Ÿฆ‡๐Ÿ”Š (@zarfsec) 's Twitter Profile
zarf.eth ๐Ÿฆ‡๐Ÿ”Š

@zarfsec

Blockchain Security Researcher @OpenZeppelin
Opinions are my own

ID: 1437426586572238852

calendar_today13-09-2021 14:44:14

227 Tweet

1,1K Followers

321 Following

zarf.eth ๐Ÿฆ‡๐Ÿ”Š (@zarfsec) 's Twitter Profile Photo

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!

zarf.eth ๐Ÿฆ‡๐Ÿ”Š (@zarfsec) 's Twitter Profile Photo

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!

zarf.eth ๐Ÿฆ‡๐Ÿ”Š (@zarfsec) 's Twitter Profile Photo

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 ๐Ÿ‘Œ๐Ÿฝ

zarf.eth ๐Ÿฆ‡๐Ÿ”Š (@zarfsec) 's Twitter Profile Photo

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 โตโ„โ‚‰ !

Damn my head exploded doing all those bit shifting ๐ŸคฏIn the end, took a slightly different approach to solve the <a href="/curta_ctf/">Curta</a> CTF ๐Ÿ˜€ Thanks for the challenge <a href="/fiveoutofnine/">โตโ„โ‚‰</a> !
zarf.eth ๐Ÿฆ‡๐Ÿ”Š (@zarfsec) 's Twitter Profile Photo

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..

zarf.eth ๐Ÿฆ‡๐Ÿ”Š (@zarfsec) 's Twitter Profile Photo

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!