Martin Marchev (@martinmarchev) 's Twitter Profile
Martin Marchev

@martinmarchev

Security Researcher @CertoraInc

ID: 279687067

linkhttps://marchev.xyz calendar_today09-04-2011 20:07:15

3,3K Tweet

3,3K Followers

1,1K Following

Flint (@0xflint_) 's Twitter Profile Photo

This post of Martin Marchev reminded me of a quote: "For extreme outputs, extreme inputs are required." We all dream of making $1M a year, but most don't realise the sacrifice required or how hard it is. I'm working 40h web2, 30h auditing, 10h writing, 10h training for

Martin Marchev (@martinmarchev) 's Twitter Profile Photo

One of the best habits I’ve picked up as a security researcher: Start your day in the code — not on socials. Dive straight into the audit! It sets the tone for the entire day. And it makes a difference.

Martin Marchev (@martinmarchev) 's Twitter Profile Photo

If you want to really understand Ethereum, dive into inevitableeth.com I’ve never seen Ethereum’s mechanics and incentives explained this clearly!

n4nika (@n4nika_) 's Twitter Profile Photo

It feels crazy to say but today, exactly one year ago, I went into web3 security fulltime. The year since then has been one of the most eventful and overall best ones of my life. I worked my ass off, traveled to new places, met amazing people and couldn't be happier with how far

Uri Kirstein (@kirsteinuri) 's Twitter Profile Photo

Smart contract bug-finding tools all have shortcomings. Fuzzing misses input-specific bugs. Formal verification is powerful but slow and complex. At EthCC - Ethereum Community Conference, I’ll introduce Bounded Model Checking, an approach that finds realistic bugs by systematically exploring execution paths.

Smart contract bug-finding tools all have shortcomings. Fuzzing misses input-specific bugs. Formal verification is powerful but slow and complex.

At <a href="/EthCC/">EthCC - Ethereum Community Conference</a>, I’ll introduce Bounded Model Checking, an approach that finds realistic bugs by systematically exploring execution paths.
Martin Marchev (@martinmarchev) 's Twitter Profile Photo

Being at EthCC this week, one thing really stood out to me - the French web3 security community is strong. It got me thinking that strong local communities are still underrated in this space. They lower the barrier to entry. They accelerate learning. But more than anything -

Martin Marchev (@martinmarchev) 's Twitter Profile Photo

If you’re at EthCC and want to connect - I’ll be at the Certora booth today from 12:30 to 16:00. We’re on WAGMI Boulevard (Green floor). Swing by if you want to talk security, audits or just say hi 👋

Martin Marchev (@martinmarchev) 's Twitter Profile Photo

We’re hiring senior security researchers at Certora. If you want to be part of an S-tier team and work with top protocols like Aave, Lido, Uniswap, Euler, EigenLayer, Balancer (and many more) - this is your chance. If your portfolio is solid, DM me!

Martin Marchev (@martinmarchev) 's Twitter Profile Photo

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

Martin Marchev (@martinmarchev) 's Twitter Profile Photo

My DMs have been bombarded since this 🔥 I’ve also been traveling back from Cannes so apologies if I’ve been a bit slow to reply! Some very solid researchers have already reached out - but we’re still looking 💪 If you want to work with one of the most solid teams in the

Martin Marchev (@martinmarchev) 's Twitter Profile Photo

Hedging in a contest is when you submit two findings that contradict each other because the spec is vibes-based Let the judges decide I am just here to cover all bases 🥷

Martin Marchev (@martinmarchev) 's Twitter Profile Photo

One of the overlooked parts of the journey in web3 security is the feedback loop. Many aspiring SRs either skip it entirely or go through it without structure or focus. That’s how you hit the infamous plateau - stuck in contests, missing bugs and unsure why. Where real