DoD4uFN

Smart Contract Engineer & Security Researcher. Focused on DeFi, NFTs, and protocol security. Always learning, always reviewing.

[DoD4uFN @DoD4uFN]

@0xStalin It was a nice read 👍 Hoping to have more of those in my timeline

[DoD4uFN @DoD4uFN]

@ShaneRunquist @Certora Yeah I know, It's more of a learning journey.
I've completed the prover's initial tutorial, and this CTF has enough complexity to stress test what I've learned :))

[DoD4uFN @DoD4uFN]

@0x00ffDa @Certora If there is an issue in the code, there is an invariant that doesn't hold.
You need to describe it correctly such that the prover proves that it doesn't hold.

[DoD4uFN @DoD4uFN]

@victorokpukpan_ @cyfrin Congrats victor ! 💪

[DoD4uFN @DoD4uFN]

@TrainTestToad It’s gonna be like that for a while, until one prevails.
But I believe we will end up somewhere in the middle. Time will tell I guess 😉

[DoD4uFN @DoD4uFN]

@crypticdefense Happy new year to you as well 🥂

[DoD4uFN @DoD4uFN]

@ShaneRunquist @Certora It was my first time on this CTF, I learned about it from Certora’s post :))

[DoD4uFN @DoD4uFN]

Hey @Certora, there is a new #1 on Endless CTF leaderboard 👀

Smashed through the initial 347 target score, straight to 367 🔥

Higher 🚀

[Certora @Certora]

We're live with a new CTF! 🏁💰

Certora's DeFi security challenge is back. An ecosystem of interconnected protocols is open for you to attack.

Full details and exploits by previous winners in the blog post. 👇

[DoD4uFN @DoD4uFN]

@mylifechangefa1 @Certora It’s a he 😅
I’m rocking this pfp because I like cryptocoven 😁

[DoD4uFN @DoD4uFN]

@victorokpukpan_ @Certora Nice man, keep up the grind, you will make it 💪

[DoD4uFN @DoD4uFN]

@victorokpukpan_ @Certora Haha, are you also participating in this challenge ?

[DoD4uFN @DoD4uFN]

@mylifechangefa1 @Certora Thanks mate 🙏

[DoD4uFN @DoD4uFN]

@ivcho332 @Certora Yup I didn’t find anything on lending, but the other protocols still have plenty of funds, I just didn’t manage to extract them (yet) 😜

[DoD4uFN @DoD4uFN]

@ivcho332 @Certora Yeah I believe 400 should be achievable, still need time to reach that though

[DoD4uFN @DoD4uFN]

@contractlevel @Certora Much appreciated 🙏

[DoD4uFN @DoD4uFN]

@NalaZ0x @Certora Thanks a lot 🙏

[DoD4uFN @DoD4uFN]

@pdiomede @Certora Thanks 🙏

[DoD4uFN @DoD4uFN]

@ciphermalware @Certora Haha I believe a requirement is to be a native NK so I’m not a great fit 😁

[DoD4uFN @DoD4uFN]

Interesting way to study, I’m definitely bookmarking for later.
From what I’ve read 100xp is quite some progress so if you do it for a month you definitely level up your math skills, although even if you don’t always manage 100xp don’t get discouraged keep grinding.
Will check back on you in a month 💪