DougO🛡️

@dougo.eth

153 Following

48 Followers

DougO🛡️ pfp

My question now is whether to put time into Halmos or Certora? Which one will "win" in the Dev community? Halmos seems easier to use & learn, but at the cost of depth & breadth of features compared to Certora.

1 reply

0 recast

0 reaction

DougO🛡️ pfp

Kept rolling and finished MathMasters & Gas Bad NFT Marketplace to complete @Cyfrin Assembly & Formal Verification course. As usual with Updraft, I liked the detailed walkthroughs especially for Gas Bad. That section is an exercise of realizing how much is left to learn.

2 replies

0 recast

0 reaction

DougO🛡️ pfp

Wrapped the week by completing the HorseStore section of @Cyfrin Assembly & Formal Verification course! Great intro to Huff & Yul. Likely won't be doing much assembly coding, but gained the skills needed to read & understand it. On to MathMasters & formal verification !!!

0 reply

0 recast

0 reaction

DougO🛡️ pfp

Finished Part 1 of @cyfrin Security & Auditing course! Feeling equipped to start competing in audit contests. Great job and looking forward to Part 2... especially formal verification and Assembly/Yul/Huff!!

0 reply

0 recast

0 reaction

DougO🛡️ pfp

Grinding on @@Cyfrin Updraft's Security & Auditing course. Great resource overall. Got a lot out of the fuzzing content! Need to practice more & get it down. Also found a vault draining bug on the latest First Flight! https://www.codehawks.com/contests/clsathvgg0005yhmxmoe455mm

0 reply

0 recast

0 reaction

DougO🛡️ pfp

Back on here after awhile… continuing to progress with Solidity and smart contract auditing. Not into contests and bounties yet, but soon. For anyone traveling a similar path, JohnnyTime course is worth the money. @patrickalphac content is great as well.

0 reply

0 recast

0 reaction