kuprum

I am a security and formal methods researcher with expertise in security audits, protocol and architecture analysis, testing and verification. Get in touch!

[kuprum @kuprumion]

I am posting from @kuprumxyz; stay tuned!

[kuprum @kuprumxyz]

Extremely proud to share that I came 1st in Sherlock's Flayer audit contest! It was tough: lots of great researchers, lots of findings; only my solo High helped to achieve that ranking. Congrats to all fellow SRs who participated! My next personal goal: Senior Watson at Sherlock.

[kuprum @kuprumion]

@noah_eth Any codes left? I would highly appreciate one!

[kuprum @kuprumion]

@code4rena @0xleastwood Juhuuuu! really proud to get the legendary C4 merch box!!! This one did indeed require some🕵efforts; as @Cappai1844363 correctly pointed out, I have figured it out from https://t.co/VQX0jaBmnB. Good luck the next time to everyone who has been close!

[kuprum @kuprumion]

@certora @VitalikButerin @code4rena From the screenshot, $8,256 seem to come not only from Code4rena, but also Secure3... I would love to see the findings:) Code4rena ones should be public; could you please post the links?

[kuprum @kuprumion]

@code4rena leastwood

[Certora @Certora]

100 @cantinaxyz invite codes?! 🤯

Yes, it's real.

First 100 to register for the $100k formal verification part of the $1.25M @eulerfinance contest get a code.

✨ Retweet this tweet for bonus points.

It's that simple.

https://t.co/6BtFYqZY6m