DougO🛡️ pfp

DougO🛡️

@dougo.eth

151 Following
58 Followers


DougO🛡️ pfp
DougO🛡️
@dougo.eth
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
DougO🛡️
@dougo.eth
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
DougO🛡️
@dougo.eth
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
DougO🛡️
@dougo.eth
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
DougO🛡️
@dougo.eth
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
DougO🛡️
@dougo.eth
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