Today, I spent hours testing Morpho Midnight's invariants. I ran 640,000 invariant checks across 128,000 protocol state transitions involving three actors. I can say the core accounting machinery is correct & consistent across 128,000 random multi-step interactions.๐
Found 10 valid bugs in Polygon Heimdall for @sherlockdefi. Earned hundreds of dollars in rewards with ~60% precision. I'm more proud of the bug quality than the payout itself. While I expected a bit more from the reward pool, the results are definitely enough to keep me motivated
New update on this weekโs activity.
Total submissions now at 20 issues:
- 9 Valid
- 4 Neutral
- 7 Invalid
Focused on cross-chain messaging, validator logic, and accounting risks.
Refining my invariant & adversarial approach with every contest.
Open to new audit & triage roles
I submitted 8 findings (2 Medium, 4 Low, 2 Info) this week.
5 accepted โ Secured 2 Mediums, 2 Lows & 1 Info.
Focused heavily on cross-chain messaging and validator logic.
Refining my invariant & adversarial approach with every contest.
Now, open to new audit & triage roles๐ซก
@_kujen5 Thanks, but we all applied under their pinned post, you can check and apply, there will maybe a next wave of accepting new applications - they said that yesterday on their discord.