zanderbyte @zanderbyte
Security Researcher at @CertoraInc https://t.co/Nlm6dLuIBt Joined June 2023-
Tweets208
-
Followers585
-
Following480
-
Likes1K
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…
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…
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…
I'm happy to share that I’ve joined @CertoraInc 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. 🫡
Thoughts on bounty hunter life in light of this finding. To find this mainnet critical, 2 auditors spent 5 weeks doing nothing but auditing Bunni until in the 5th week they found a beautiful exploit which could drain user funds. This was psychologically "easy" because the…
Thoughts on bounty hunter life in light of this finding. To find this mainnet critical, 2 auditors spent 5 weeks doing nothing but auditing Bunni until in the 5th week they found a beautiful exploit which could drain user funds. This was psychologically "easy" because the…
When the whole warden calendar looks like a desert… but @cantinaxyz goes brrrrrr
When the whole warden calendar looks like a desert… but @cantinaxyz goes brrrrrr https://t.co/A73FLUYNEu
Secured 4th place in the @BitVaultFinance contest on @code4rena . It was a Liquity V2 fork with custom added logic. I focused on key parts the sponsor wanted to emphasize, with some of my findings directly addressing those areas. Despite providing extensive additional…
Another day in Wardens Twitter
PSA: If you're using `tx.origin == msg.sender` to prevent smart contracts from interacting with your contracts, please read this. The next Ethereum hardfork (Pectra on May 7th) includes a change that allows you to work around this check (EIP-7702). If you built your smart…
If you ever struggle with fixed-point numbers while building or auditing smart contracts, this tool from @ABDKconsulting helps convert 64.64 or 128.128 HEX values into human-readable decimals: toolkit.abdk.consulting/math#convert-n… Bookmark it and use it next time you're facing some weird…
Just found a protocol where users have to request withdrawals. And the owner can cancel them whenever they want. First time I’ve seen that. Truly the Satoshi vision 🤣
just launched a new podcast where I will be discussing all things related to bug hunting with the top bounty hunters in the space first episode feat. the prodigy @deadrosesxyz !! next guest is @1_00_proof 👀 who should we get up next? tag 'em and lmk in the comments
just launched a new podcast where I will be discussing all things related to bug hunting with the top bounty hunters in the space first episode feat. the prodigy @deadrosesxyz !! next guest is @1_00_proof 👀 who should we get up next? tag 'em and lmk in the comments
Starting 2025 with a private audit. A bright year is ahead of us. Ready to take on more private work. I can start the same day - DMs are open!
Closing the year with 1st place in @sherlockdefi @machfi_xyz audit contest. 2024 pushed me through many challenges, big opportunities, tough lessons, and complex projects. I aim high, sometimes higher than I should, and this helps me grow. It wasn’t easy at all, but the…
ElmaOnions @3950191Vd9F3b
1 Followers 193 Following You are never too old to set another goal or to dream a new dream.
XavieraLeighton @4rE7SHCu01xBN0
13 Followers 700 Following
RedTsunami @RedTsunamiSir
0 Followers 426 Following
GenevieveMarjory @61ha4I3156r79
17 Followers 2K Following
PatriciaSarah @QwE8u1548a10uw
8 Followers 560 Following
Lorine Macejkovic @macejkovic69866
86 Followers 3K Following
nemveer @nem_veer
2K Followers 878 Following SR @CertoraInc | Associate All-Star @immunefi | ex-triager @immunefi
LISA @AgentLISA_ai
12K Followers 1K Following #AgentLISA:LLM-powered Intelligent Security Agent. #BlockchainDev #DeFiProtection #LLMSecurity #SmartContract #Web3Security #Web3Dev #AIAudit #AuditAgent
Goalxu @Goalxu22286
25 Followers 1K Following
wispy @wispyiwnl
260 Followers 972 Following auditing, researching, building | @CyfrinUpdraft alumni
Rhikap @Rhikap989
95 Followers 1K Following
odessos42 @odessos42
5 Followers 148 Following
Riyuzaki @Riyuzaki_19
35 Followers 422 Following Work hard, be kind and don't care about what other people think.
aj @aldrin57464827
41 Followers 1K Following
Sidarth S @sidarthx0
208 Followers 1K Following Smart Contract Security Researcher | Web3 Security tooling | Solidity | Cairo Lang | Solana | Data scientist | AI x Blockchain | 🎹 🎸🎙️
Web3Tycoon @BENSONMUNYIRI0
142 Followers 866 Following Security Researcher, youtuber, Software Engineer@CodeHawks
Riley Holterhus @rileyholterhus
3K Followers 734 Following
silentwarrior60 @silentwarrior60
132 Followers 5K Following
RG @RGarodn
2 Followers 1K Following
Perfectly Insane.eth @WinstoneKabaka
313 Followers 3K Following All about Web 3, Smart Contracts, Solidity, Foundry, Eth ecosystem and Security Research. Learning .sol and Rust
Hector @YGarlly
31 Followers 1K Following
Bube @0xbube
554 Followers 297 Following
milad @sg_milad
198 Followers 370 Following Sleepy Back-end Developer, becoming smart contract auditor
Bernhard Mueller @muellerberndt
14K Followers 1K Following Whitehat since 1997 • @PwnieAwards winner (2 noms) • Created Mythril • Hunting bugs for @Spearbit
naman @namx05
1K Followers 352 Following Security Researcher @CredShields | EVM (Solidity), Rust 🦀 (Solana, CosmWasm) | 210+ Critical/High Found
syed salik hussain @syedsalikhussai
33 Followers 917 Following
Ohm Oudits @OhmOudits
14 Followers 81 Following We believe your protocol is our sacred mantra. Rust/Move/Go/ZK Solana/Aptos/Sui/Circom/CosmosSDK/Steller/Polkadot
24p30p @24p30p
681 Followers 1K Following Christian | Realist| Web 3 enthusiast| Manchester United and Blockchain Lover ❤|smartContract AJIGIJAGA
0x_Ryker.web3 @0x_Ryker
238 Followers 681 Following #web3 developer in training • #tech freak • #blockchain lover • Entry-level frontend dev • Tweeting my daily journey and discoveries.
Misac @misac0x0
345 Followers 1K Following Aspiring Solana Security Researcher | guess what? obsession beats talent || INFJ || 19
Ivelin @ivcho332
10 Followers 79 Following
Yswauikui @Yswauikui2309
104 Followers 3K Following
kranthi kandukuri @KrantiKandukuri
71 Followers 728 Following Senior Cybersecurity Analyst at Factset Research Systems
Rajath Alex @0xrajath
951 Followers 3K Following Protocol Engineer @eigenlayer • Previously founding team @ llama, engineering @chainalysis @Fidelity • Smart contracts and offchain infrastructure.
nemveer @nem_veer
2K Followers 878 Following SR @CertoraInc | Associate All-Star @immunefi | ex-triager @immunefi
mert | helius.dev @0xMert_
255K Followers 2K Following ceo @heliuslabs, ex @coinbase — Solana RPCs, APIs, trading infra: https://t.co/J2To2Mz9GF — the best crypto pod: https://t.co/87uPmEFrEL
Timur Guvenkaya @timurguvenkaya
2K Followers 407 Following Founder of @guvenkaya_sec | We find vulnerabilities others miss | Security Training | Trusted by Fortune 500s & Leading Web3 Companies | TG: timurguvenkaya
Bernhard Mueller @muellerberndt
14K Followers 1K Following Whitehat since 1997 • @PwnieAwards winner (2 noms) • Created Mythril • Hunting bugs for @Spearbit
naman @namx05
1K Followers 352 Following Security Researcher @CredShields | EVM (Solidity), Rust 🦀 (Solana, CosmWasm) | 210+ Critical/High Found
DemoreXTess @demorextess
397 Followers 223 Following LSW in @sherlockdefi 15+ Top 5 in Audit Contests Portfolio: https://t.co/HeLYSWtZTI
BΞrnd @bernd_eth
3K Followers 2K Following I hunt bugs on/off-chain. Mostly EVM (Solidity), Cosmos SDK + cosmwasm, Rust, Go, Move,..
deebeez @deeberiroz
1K Followers 405 Following Security researcher, Solidity developer, auditor, autistor, researchoooor @VennBuild
Defi Security Summit @summit_defi
4K Followers 20 Following A unique annual event for education and technical advances in securing blockchain decentralized applications. Nov 20-21, 2025 📍La Rural, Buenos Aires
RareCode.ai @RareCodeAI
501 Followers 0 Following Write your first 1,000 lines of Rust with https://t.co/w50EcsJlD9 | We use AI to explain concepts and expert-crafted exercises for practice.
Thogard | Holistic Ar... @ThogardPvP
11K Followers 2K Following Making Monad faster @0xFastLane. We make smart contracts that help apps and validators with sequencing, staking, and UX.
Robert Chen @NotDeGhost
6K Followers 614 Following founder @osec_io | web/pwn with @redpwnctf + @dicegangctf | prev @dfsec_com
PeckShieldAlert @PeckShieldAlert
92K Followers 1 Following Free Chrome Extension: https://t.co/yvXOjS8ZRI Telegram: https://t.co/qX5sVtdkFD
Haseeb ＞|＜ @hosseeb
125K Followers 1K Following Managing partner @dragonfly_xyz. Take a deep breath and let's think step by step.
DefiLlama.com @DefiLlama
352K Followers 22 Following Open and transparent DeFi analytics. @LlamaFolio & @DLNewsInfo DeFi Updates: https://t.co/aaN9I6vDnd | Join the community: https://t.co/6eLY0pOKJX
Curve Finance @CurveFinance
383K Followers 320 Following Creating deep on-chain liquidity using advanced bonding curves, https://t.co/9tORoy8s9I
Liquity @LiquityProtocol
64K Followers 175 Following Be $BOLD • The best way to borrow with (staked) ETH Join us: https://t.co/bHDe84QcCK
Tim @0xTimofey
970 Followers 418 Following Leading Hacker Program Operations at @immunefi | Ex Customer Experience Team Lead | DM for an Audit Competition
Tenderly @TenderlyApp
17K Followers 150 Following Full-stack Web3 infrastructure – node RPC, dev environments & exploration tools. Build & scale with ease. Get started https://t.co/3BKmdIAflM
Av. Elif Hilal Kara @elifhilalumucu
12K Followers 388 Following 👩🏻💻@MIT🏛️ Bilişim Avukatı, Legal Engineer & Dev🌾 ⚖️ prev @chainlink @microsoft @CyfrinAudits @Togg2022 @tcbestepe Thoughts are my own📚
Web3 Security Summit @Web3SecSummit
719 Followers 62 Following A conference for web3 security professionals and researchers packed with expert talks, workshops, and networking. 📅 June 4 2025, Belgrade
Josselin Feist @Montyly
4K Followers 907 Following Working on blockchain security & program analysis. Ex @trailofbits. DM for security reviews.
0xBugSlayer @xBugSlayer
521 Followers 96 Following Found +60 H/M vulnerabilities in public audit contests🔴 Reach out for audits here: https://t.co/e35LOREC4l
Dan @TheWavexyz
919 Followers 771 Following Securing crypto 1 protocol at a time | 📈 Head of Sales @sherlockdefi
Ethereum Foundation @ethereumfndn
52K Followers 0 Following The EF is a non-profit that supports Ethereum. We work alongside the wider ecosystem to improve the protocol, grow our community, and advocate for Ethereum.
Catowice @thekmj_
491 Followers 56 Following Full-time cat. Audit contests:🥇x 6,🥈x 3,🥉x 2, Judge x 9.
ABDK @ABDKconsulting
628 Followers 66 Following Smart contract, ZK, & cryptography audits. 🔬 Securing the toughest Web3 projects since 2016. 💪 Request a quote today! ⬇️
elyx0 @elyx0
5K Followers 380 Following CoFounder @0xFastLane, @_SEAL_Org sentinel https://t.co/tuPYnAsSEs Views are my own and sometimes payable to save gas Discord ID: 131642188655362049
Araj @0xAraj
367 Followers 357 Following Solidity || Security Researcher || 60+ H/M Bugs Found || 🎖️x2 Top-3 || 4x1 Top-5 Results
Alchemix @AlchemixFi
71K Followers 46 Following Empowering you with Self-Repaying, interest-free, and non-liquidating loans | Unlock the potential of your Assets | Our links: https://t.co/ZObk6JBrg9
BitVault @BitVaultFinance
13K Followers 11 Following Institutional, BTC-backed money - https://t.co/Axq9Fy01DL Talk to us: https://t.co/S2klwfBH9Z
Ashcon Mohseninia (RA... @rndashm
5K Followers 120 Following 🇮🇷/🇬🇧 Car hacker | Rust Programmer | Youtuber https://t.co/IJ9x35NcJq
CharlesWang @0xCharlesWang
17K Followers 1K Following Securing web3 since 2020 | Over 400 audits conducted | Trusted by the largest protocols | Outperforming all competitors | Lead Auditor @bailsecurity
Tigran Piliposyan @tpiliposian
4K Followers 781 Following Hacker, Team Leader, LSR @CertoraInc, BJJ Purple Belt
ZoA 🦀 @zoasec
482 Followers 294 Following Breaking blockchains and smart contracts to make them unbreakable Resident and Judge @cantinaxyz TG: https://t.co/Gusj1GKKTx
Spearmint @0xSpearmint
1K Followers 650 Following securing smart contracts @ObsidianAudits | portfolio: https://t.co/Ur1bLKoKKj
Obsidian | DeFi Secur... @ObsidianAudits
468 Followers 10 Following Publicly proven, top-notch smart contract security. Trusted by @TenorFinance, @HyperdriveDefi, @withAUSD, and more. Led by @0xjuaan and @0xSpearmint
rootrescue @rootedrescue
387 Followers 366 Following Freelance whitehat. All things infosec. Mostly hunting on Immunefi: https://t.co/duhUXSblzK
Richard (buu arc) @Rodairos
4K Followers 710 Following Talent Partner @dragonfly_xyz | Previously @StellarOrg @Twitch | Finding the best talent in crypto / using this space to observe, learn, and help.
Tsvetomir Tsenov @TsvetomirT64188
4 Followers 7 FollowingTrends for United States
You might like
