zanderbyte @zanderbyte
Security Researcher at @Certora https://t.co/Nlm6dLuIBt Joined June 2023-
Tweets222
-
Followers609
-
Following540
-
Likes2K
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 🫡
@amarfares_ Finally back! Congrats, boyzz 🙌🏻
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 🫡
@n4nika_ @citrea_xyz @cantinaxyz Congrats bro, impressive performance 🫡
@MartinMarchev @citrea_xyz @cantinaxyz @tqkve @AifosSi Congrats bro 🫡
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.
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?
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
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–?)
Emilie | ChainSecurit... @EmilieRaffo
2K Followers 742 Following Founding Partner @Chain_Security, but don't worry ... I'm not the one doing the audits!
TAHL🇵🇷🇨🇺 @TracyHoyosLopez
3K Followers 606 Following Head of Strategic Initiatives @KrakenInsto 🧡Fairy Godmother of Bitcoin🧡Orange Pilled Trump 🧡 John 3:16 🧡 Opinions are my own not my employer’s🧡
AleksandarK @Aleksandar76158
15 Followers 166 Following Claude, make no mistakes or you go to jail. Btw, I make web apps or something.
Lewis Strawbridge @S4W3Lewis
162 Followers 965 Following Cyber Security CISSP | Now Securing Web3 | helping Roundhouse kick smart contract vulnerabilities🦿
archethect 🏴 @archethect
2K Followers 444 Following Blockchain architect @hero_glyphs 𓂀, @soneta_xyz. Experience: ElizaOS @squidrouter plugin, co-founder @smolove__, @BattleFlyGame, @Nil__dao #ETH 🦇🔊
p0werfull321 @Chandshekha1221
17 Followers 680 Following
Emmanuel @emmanuelSR77
351 Followers 865 Following Web3 Security Researcher Portfolio: https://t.co/Hi3nwHLnO2
Perseverance @PerseveranceSu5
602 Followers 543 Following Web3 Security Researcher @Certora, @Immunefi Senior All Star, Rank Top 50 on All time Leaderboard @Immunefi https://t.co/nkU3fGQcbk
sherlockvarm @SherlockVarm
206 Followers 784 Following Security Researcher @QuillAudits_AI || Prev - @Kleros_io
al0x23 @al0x23
151 Followers 407 Following dream = securityResearcher && mathematician; // but life ain't a bool
t0x1388 @t0x1388
39 Followers 287 Following
sagar (security arc) @soarinskysagar
312 Followers 736 Following Smart contract engineer | web3 SR Making and breaking contracts for a living 1x🏅 in contests
Paolo Diomede | Certo... @pdiomede
5K Followers 3K Following TAM @Certora • Creator of https://t.co/tGEpZp5bVv • Past: Advisory Board @livepeer • Community Lead @graphprotocol • Founder @graphtronauts_c
Ivaylo @iivaylov_
0 Followers 90 Following
Tona @0xTona_
4 Followers 217 Following
DemoreXTess @demorextess
430 Followers 304 Following LSW in @sherlockdefi 15+ Top 5 in Audit Contests Portfolio: https://t.co/HeLYSWtZTI
Catowice @thekmj_
517 Followers 97 Following Full-time cat. Audit contests:🥇x 7,🥈x 4,🥉x 2, Judge x 10.
4ndr3w5zZz @Xiin0face
0 Followers 274 Following
Childof12fthMonth @08_RhkpjnDot1am
5 Followers 539 Following
Tomer Ganor @tomer_ganor
513 Followers 217 Following | read protocols so attackers don’t have to | Designed Aave V4, Lido DG + more | SR Tech Lead @Certora | ETHSecurity Badge holder | opinions are my own
Lilian @schulist19450
204 Followers 7K Following
Greed @0xGreed_
1K Followers 258 Following Professional Web3 memer🤡 Also a Security Researcher @Certora 🌐 Hacking Solidity & Move smart contracts🥷🏼
R1t41k @R1t41kPJa1n
0 Followers 153 Following
Cubist @cubistdev
3K Followers 4K Following The secure operating platform for internet capital markets. Powering digital asset operations with the rigor and accountability of modern finance.
AetherDev @Aether_Dev_
39 Followers 565 Following solidity | move | rust | evm ⚙️ protocol security & zk enthusiast ⛓️⚡ decentralization maximalist 🌐
Gin.AI @ginbitcoin
528 Followers 3K Following Build&Sell Run, don't walk, if you don't jump, your perish will never end 心存善念,每个人都在打一场人生硬仗
Raoul @RaoulSaffron
2K Followers 2K Following Head of Developer Tooling @rv_inc Creator of https://t.co/Dcto1PwaRD Building Simbolik: The Solidity Debugger EVM | Solidity | Debugging | Formal Methods
@georgibuilds @georgi91757
54 Followers 264 Following From Mechanical Engineer to Smart Contract Security Researcher. Starting from scratch. Building knowledge | @CyfrinUpdraft
Daphne @389c36uC6nt5e24
49 Followers 953 Following I am not a product of my circumstances. I am a product of my decisions.
ParlayIt @ParlayItGG
653 Followers 0 Following The First On-Chain Prediction Market With Built-In Parlays Discord: https://t.co/x1ZJStsqfl
Duo Nine ⚡ YCC @duonine
72K Followers 718 Following YCC Founder, grow with us → https://t.co/0K6JMgOCBV ⦁ Bitcoin since 2014 ⦁ Crypto Educator & Technical Analyst ⦁ Bestselling Author ↓
Emilie | ChainSecurit... @EmilieRaffo
2K Followers 742 Following Founding Partner @Chain_Security, but don't worry ... I'm not the one doing the audits!
TAHL🇵🇷🇨🇺 @TracyHoyosLopez
3K Followers 606 Following Head of Strategic Initiatives @KrakenInsto 🧡Fairy Godmother of Bitcoin🧡Orange Pilled Trump 🧡 John 3:16 🧡 Opinions are my own not my employer’s🧡
AleksandarK @Aleksandar76158
15 Followers 166 Following Claude, make no mistakes or you go to jail. Btw, I make web apps or something.
ross.wei @z0r0zzz
30K Followers 1K Following disintermediary @src_co_ | @z_fi_ | https://t.co/w7ElCOGDol | btc: @tacitfi
archethect 🏴 @archethect
2K Followers 444 Following Blockchain architect @hero_glyphs 𓂀, @soneta_xyz. Experience: ElizaOS @squidrouter plugin, co-founder @smolove__, @BattleFlyGame, @Nil__dao #ETH 🦇🔊
0xDjango @0xDjangoOnChain
3K Followers 547 Following Security Researcher/Bug Hunter Finding critical vulnerabilities before the bad guys do.
Claude @claudeai
1.5M Followers 2 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8d1e5 or download the app.
Paolo Diomede | Certo... @pdiomede
5K Followers 3K Following TAM @Certora • Creator of https://t.co/tGEpZp5bVv • Past: Advisory Board @livepeer • Community Lead @graphprotocol • Founder @graphtronauts_c
0xfirefist @0xFireFist
937 Followers 472 Following Open Source @PashovAuditGrp | @CyfrinUpdraft Alumni | @0xSimao Mentorship Series First Mentee | Ex. @HackenProof Security Analyst
Watcher.Guru @WatcherGuru
4.3M Followers 3 Following Watcher Guru gives you unparalleled, unbiased coverage of all-things crypto & finance in real-time | Posts Are Not Financial Advice | @BTCPrice
GregoAI @therealgregoAI
1K Followers 3 Following AI-driven deep security intelligence for complex systems.
Octane Security @octane_security
6K Followers 104 Following The AI-native security firm protecting mission-critical software.
Zero Cool @ZeroCool_AI
983 Followers 2 Following AI + human hybrid security systems for the cyborg era.
Perseverance @PerseveranceSu5
602 Followers 543 Following Web3 Security Researcher @Certora, @Immunefi Senior All Star, Rank Top 50 on All time Leaderboard @Immunefi https://t.co/nkU3fGQcbk
devtooligan (ai arc) @devtooligan
10K Followers 1K Following Resident @yAuditDAO 🤓 Building @zerocool_ai 🥶 CTO @round_ai_media 👁️ LSR @Spearbit 🧐 ETHSecurity Badge #51 @thedaofund
Kirill Firsov @k_firsov
4K Followers 375 Following Co-founder and CTO of @FearsOff | Protecting the World’s Top Crypto Exchanges & Financial Institutions | Cybersecurity Enthusiast
Jeff Schroeder @SEJeff
5K Followers 3K Following Linux and OSS Lover, breaker of distributed systems, OIF II Veteran, Security Engineer, Martial Artist, wannabe chef, and lifelong student. Tech is my passion
Benjamin Samuels @thebensams
6K Followers 921 Following I like cryptography, long walks on the beach, and novel testing techniques. Engineering Director of the Blockchain team @trailofbits.
a16z crypto @a16zcrypto
635K Followers 610 Following We back bold entrepreneurs building the next internet. Posts are not investment advice or an advertisement for investment services. See https://t.co/CrY32IX80W 👇
Vitto Rivabella @VittoStack
126K Followers 506 Following AI at @ethereumfndn | Ex @Cyfrin and @Alchemy | Created @cyfrinupdraft and @AlchemyLearn | Robotics | Prompts enchanter
ControlZ @ControlZ_1337
2K Followers 248 Following @immunefi Elite All Star | Security Researcher @_blockian | #21 all-time whitehat @immunefi | #8 all-time whitehat @hackenproof
WhiteHatMage @WhiteHatMage
2K Followers 244 Following Bounty Hunter Wizard - All Stars @immunefi. I cast Exorcise on vulnerabilities and Heal on protocols 🧙🏻♂️
Czar102 @Czar102
2K Followers 1K Following founder @bprintsfi @touch_market; prev. some "head of" roles; I like math. (triple olympiad medalist); @paradigm fellow
Drastic Watermelon @DrasticWM
506 Followers 90 Following core @yauditdao | SR @spearbit | cyborg @ZeroCool_AI | eth security badge @thedaofund
Trident @TridentSolana
3K Followers 96 Following Complete Solana security: open-source Trident Framework for fuzzing, Solana VS Code extension, Trident Arena for multi-agent AI audits. By @AckeeBlockchain
Wake @WakeFramework
2K Followers 138 Following Complete Solidity security: Wake Framework (open-source) for testing & fuzzing + Wake Arena for AI audits with graph-driven reasoning. By @AckeeBlockchain
@levelsio @levelsio
893K Followers 3K Following 📸https://t.co/lAyoqmSBRX $100K/m 🛰https://t.co/ZHSvI2wjyW $44K/m 🎮https://t.co/jFirUbDgtZ $39K/m 🏡https://t.co/1oqUgfD6CZ $35K/m 👙https://t.co/RyXpqGuFM3 + @X $14K/m 🌍https://t.co/UXK5AFqCaQ $10K/m 💾https://t.co/T74ZwJ1F0C $0/m
heavyw8t @heavyw8t_
305 Followers 228 Following Independent security researcher, focusing on EVM/Solana/Cosmwasm. Working with OakSecurity; Multiple top contest positions; Judge at Cantina.
Tomer Ganor @tomer_ganor
513 Followers 217 Following | read protocols so attackers don’t have to | Designed Aave V4, Lido DG + more | SR Tech Lead @Certora | ETHSecurity Badge holder | opinions are my own
Sorella Labs @SorellaLabs
9K Followers 15 Following Creating sustainable on-chain markets @angstromxyz
laurence @functi0nZer0
66K Followers 5K Following shoggoth interceptor @wildcatfi // if the rules we followed brought us to this, of what use were the rules?
Thinking Machines @thinkymachines
155K Followers 1 Following Thinking, beeping, and booping. @tinkerapi
AI Breakfast @AiBreakfast
236K Followers 609 Following The latest rumors and developments in the world of artificial intelligence. DM to include your AI project in the email newsletter with 100k subscribers!
Mira Murati @miramurati
633K Followers 617 Following Now building @thinkymachines. Previously CTO @OpenAI
Uttam @uttam_singhk
24K Followers 3K Following polymath @alchemy | crypto x ai | helping builders → https://t.co/1oeeLtL3zQ
Hyperliquid @HyperliquidX
407K Followers 9 Following The blockchain to house all finance. Trade, build apps, and launch tokens on the same hyper-performant chain. X by Hyper Foundation
Greed @0xGreed_
1K Followers 258 Following Professional Web3 memer🤡 Also a Security Researcher @Certora 🌐 Hacking Solidity & Move smart contracts🥷🏼You might like
