A few months ago. I got tired of manually calculating results in Cantina competitions before they actually ended. Competitions with complex results could take an hour to calculate. So I actually created a script to automatically do it for me. Here is the latest updated version…
I compiled the statistics of my web3 security journey over the past 10 months—$124,678 across five vulnerability classes. This includes both BBP and Audits.
A single accounting error yielded the largest individual payout ($50 k), but the headline for me is reentrancy: three…
I gave myself a challenge 1 month ago. Can I learn the Move Language and Aptos Framework from scratch and secure a Top 5 in this Move Competition all within a period of 15 days.
Well I didn't disappoint myself. I secured the #2 Position with a payout of 26k USD. @cantinaxyz@aave
I gave myself a challenge 1 month ago. Can I learn the Move Language and Aptos Framework from scratch and secure a Top 5 in this Move Competition all within a period of 15 days.
Well I didn't disappoint myself. I secured the #2 Position with a payout of 26k USD. @cantinaxyz@aave
Glad to secure the first place in Silo Finance Formal Verification contest. It was a great experience to both learn Formal Verification from scratch and secure the #1 spot in the period of 25 days. Hope to work on formal verification stuff in the future. @CertoraInc@cantinaxyz
Glad to secure the first place in Silo Finance Formal Verification contest. It was a great experience to both learn Formal Verification from scratch and secure the #1 spot in the period of 25 days. Hope to work on formal verification stuff in the future. @CertoraInc@cantinaxyz
This was a tough competition. In the end, I discovered 1 out of the only 2 medium vulnerabilities discovered in the contest and got #7/818
I learned a lot in this competition about the Liquity ecosystem. This was a really valuable contest to do.
@cantinaxyz@LiquityProtocol
For cantina, I created a script that fetches the current state of findings of a comp using API and automatically generates the leaderboard based on the prize pot provided. This is particularly useful when the leaderboard is not released. @cantinaxyzpastebin.com/VwDcJn7t
"Reentrancy doesn't happen in protocols anymore".
Apparently I didn't get the memo.
Got ranked 7/410 in @cantinaxyz Silo Finance competition with a solo medium reentrancy.
Here is what reentrancy can help you achieve:
I encourage all SR to participate in the contest regardless of your skill level. Don't doubt your own capabilities. I have seen SRs scoring top 5 positions in their very first contest. #cantinaeigenlayer
I encourage all SR to participate in the contest regardless of your skill level. Don't doubt your own capabilities. I have seen SRs scoring top 5 positions in their very first contest. #cantinaeigenlayer
Spent the past month learning about Formal Verification and Certora Prover for a cantina contest. It may or not may prove to be fruitful in the short term in the contest. But I am definitely glad I learnt a new skill. We SRs always need to keep upgrading ourselves.
5 Followers 49 FollowingA hacker in making,exploring the worlds of web2 & web3 security.
The Joseon King rules with dominion. Watch me as I make a name for myself in the security world
62 Followers 237 FollowingML, SW- Smart Contract learner 🔜 Developer - future employers I am a better Man than I was a second ago | @HackenProof Security Researcher
5 Followers 49 FollowingA hacker in making,exploring the worlds of web2 & web3 security.
The Joseon King rules with dominion. Watch me as I make a name for myself in the security world
6 Followers 231 FollowingPlaying Web3 - someone aware of the game, chooses adventures, knows endgame & ways to achieve it. Enhances skills/stats, learns more each play.
430 Followers 0 FollowingAmbassador : @neirylab ||software engineer || Project Researcher || crypto enthusiastic || content creator
Easy to vibe with.
Open to work as a Mod/Amb