Seeking auditor with proven formal verification skills to work with @CyfrinAudits on a contract basis; please don't recommend alexzoid we are already engaging him. Will work alongside manual auditors to produce formal verification suits which clients can add to their repo and

Shout out @0xStalin @_0xarno_ @0xInAllHonesty great work auditing perpetual tranching protocol finding: * 1 Crit * 2 High * 6 Med * 5 Low * 12 Info, 2 Gas Protocol investors generate yield based on different risk profiles - now with improved security thanks to @CyfrinAudits

Stablecoins are now at $200b, Wall Street is ready, and trillions are waiting to come onchain, but they’re SCARED. This is why the Immunefi Foundation (@immunefiFdn) just launched today. Visit the Foundation site below to watch the upcoming livestream announcement that will

Couldn’t have asked for more, a great decision by the Cantina team

The Cantina Fellowship Program is evolving! We heard your feedback, and we’re making an important change: we’re removing the exclusivity clause from the Cantina Fellowship.

I always forget to reply to my DMs 🫠🫠🫠🫠

One of the biggest problems for people in ultra competitive fields is that they start to judge leisure activities based on the perceived time burden placed on their extremely important schedules. Getting coffee with a friend you haven't seen for years -> 1.5hrs Watching a movie

After getting inspired by Zigtur, BengalCatBalu, and Patrick Collins, I’ve started going to the gym and eating healthy. I realized that sitting at my desk for 12–13 hours a day wasn’t good for me, and I was slowly getting depressed, having a lot of mood swings, and even chest

Super excited to announce that I’ve joined @immunefi ’s All Star Program! 🚀 I’ve been wanting to dive into bug bounties for a long time, and now I finally can ,while also exploring private audits with firms! 🎉

🚨 Announcing: @_0xarno_ is joining the 💫 All Stars in Senior rank! He regularly scores in the top 10 on competitions and has a solid range of languages, including Solidity, Rust, and Golang. Now, he's ready to take his SR journey to the next level. Welcome @_0xarno_!

1. hey guys 👋 🛡️Introducing SoloAudit — a public-good platform to make solo audits accessible for every Web3 project. We’re live 👇 https://t.co/JEVFK26hAZ

One of the goals I had when I started out in web3 security 2 years ago was to earn big from bug bounties. I began with competitions as a way to explore and hone my skills. Now, I am finally ready to take on the challenge. I'm thrilled to be part of this group!

Your portfolio is a must in the Web3 space. VigilSeek now lets you track all your achievements in one place, from private audits to public contests and bounties, all on a single portfolio page. @0xarno already joined. Check out his exceptional expertise.

🚨🚨🚨

Stop interacting with that clickbait post.

While people were fighting over who hacked the Cork protocol, I was busy building this beast. Finally, I have completed my setup and it’s time to truly LOCK IN 🔒

New star on the rise ⬇️⬇️

Second attempt at speedrunning was a success. @cantinaxyz

If anyone knows SR from Japan, or if any of my followers are Japanese, please DM me.

In my opinion, DailyWarden (@GalloDaSballo) and VigilSeek (@lmanualm) should hold monthly voting on how security researchers feel about each contest platform, where each SR gets to vote once per day, so we can see real-time data on platform popularity.