zanderbyte

I'm happy to share that I’ve joined @certora as a Security Researcher. After a year and a half working mostly solo, joining such a talented team feels like the right next step in my journey. Grateful and proud to reach this point. 🫡

Every AI auditor now does the same boring thing. So I went and fused the 4 security pillars into a singular pipeline: - Static analysis - RAG vulnerability search - Recursive depth analysis - Fuzzing and testing Fully autonomous 🤖 Fully open-source 🔓 Going live tomorrow 🚨

@arturtoros @immunefi @AlchemixFi gg bro 🫡

Having a limit of 2 submissions was awful, but still, happy that I found a Solo Crit @immunefi @AlchemixFi

@amarfares_ Finally back! Congrats, boyzz 🙌🏻

win

30 EPISODES LIFE ... ON THE BLOCKCHAIN

I just saw a “We warned Balancer” post from a multifollower legitimate account. I hope someone finds the private key for the zero address and this circus ends.

@0xGivn @code4rena @FlareNetworks @alex0ppg Congrats 🫡

Got to 3rd place in the recent FAssets contest on @code4rena. I’m grateful for the opportunity to prove myself and stand beside elite researchers in a big and well written protocol like @FlareNetworks. Shoutout to @alex0ppg for judging - your efforts are seen and appreciated 🙏

@n4nika_ @citrea_xyz @cantinaxyz Congrats bro, impressive performance 🫡

Super happy to have provided real value to the team here finding important solo issues Congrats to anyone finding bugs in this as it was a real hard nut to crack💪 (probably the hardest one I’ve had a go at so far) Also a big thank you to @citrea_xyz and @cantinaxyz for the opportunity🙏

@MartinMarchev @citrea_xyz @cantinaxyz @tqkve @AifosSi Congrats bro 🫡

First Rust contest. First L1 contest. First place. I am really happy about this one! Tough competition, deep codebase and a lot learned along the way. Big thanks to @citrea_xyz and @cantinaxyz for the opportunity 🔥 And huge shoutout to @tqkve and @AifosSi for the solid judging 🫡

I miss the good ol CT with sick write ups, protocol break downs and tips, at the very least it was core protocol devs with near organ failure. These days it’s a bunch of whiny little cunts crying about their ai auditor had issues rejected, or some guy got sick with the flu.

man, Bulgarian aura not only helps auditing better, it helps grapple better. thanks for the cool rashguard, @zanderbyte.

@tpiliposian Smash ‘em, brother 🫡

web3 security Twitter lately: > Company A, B, C: Our AI tool outperforms all the bad security companies on the market > Pashov shows up at ETH Bulgaria in a Lamborghini > Certora onboarded the nation of Bulgaria to do audits for them crazy time to be alive

@MartinMarchev @0xAlexSR @0xT1MOH @KrisApost1 @AliX__40 @marcohextor @BowTiedDravee @abarbatei @xb0g0 @flack00n @timbata_00 How was the rakia?

The usual suspects at the usual spot

Hey chat, we’re hiring Formal Verification Engineers at Certora. I’ve noticed many security researchers in the space already use formal methods during audits, now it’s time to go deeper. We’re looking for solid professionals with backgrounds in math, computer science, or formal methods. If you want to work with a top-notch team and feel like this is for you, send me your CV, and please repost to help me find some legends.

Went sidequesting in Bulgaria and got to meet the boys. @nmirchev8 @n4nika_ @dethSCA @KrisApost1 @xb0g0 @zanderbyte @MartinMarchev

@coachPetrus The Equalizer

@zanderbyte What the movie name ?

I watched a movie yesterday, and one quote I've heard stuck with me: "Don't doubt yourself, son. Doubt kills." It's a powerful mindset, don't second-guess yourself. Doubting yourself and your abilities is like ignoring your instincts, convincing yourself that the code is perfect. What you really need is a shift. Instead of doubting your skills, doubt the code. Very often, the issues are in front of your eyes, and what you need is a little shift in your mindset and how you look at a certain function. Don't verify it works, find when it doesn't. Assume there are bugs - believe it. Because doubting the code is one of the most effective ways to find a helpful idea. And once you find one, you're already a step closer to the solution. More on that soon.

@MartinMarchev the web3 sec cold war (2025–?)

Not sure about you but the toxicity in the space lately feels a bit sad. One of the reasons I joined web3 was the culture. Open, collaborative and low on ego. No gatekeeping & no politics. Lately, it feels like there’s more drama than building. Companies and SRs taking public shots at each other. We’re still such a small space. Most of us know each other. We’re supposed to be building this industry, not tearing each other down. We don’t have to agree on everything. But we do need each other to make this thing work!