100% agree
It's about time @immunefi started refunding submission fees for duplicates of valid findings.
@MitchellAmador, in your own words:
"Immunefi now prices out spam with pay-to-submit mechanics, so a junk report costs the sender something, and the flood thins out."
Fair point! But if a researcher submits a legitimate vulnerability and gets marked as a duplicate simply because someone else reported it first, where's the spam?
What's the justification for keeping the submission fee in this case?
xitter.cf/MitchellAmador/article…
👀
Daml takes a different approach to smart contracts. What does that mean for security?
We share insights from our @CantonNetwork audits: authorization checks, contract references, and how locks and accounting can break across workflows.
🔗 Learn more:
certora.com/blog/auditing-sm…
neumo retweeted
Can formally verified code still have bugs?
The answer is yes. A proof can pass, and the system can still be vulnerable.
Our latest article explores four ways formally verified code can still go wrong, with real-world examples and how to catch them before deployment.
certora.com/blog/formally-ve…
Awesome team indeed 🔥. Amazing experience visiting Sofia and meeting all these chads irl 🚀🚀🚀
The most elite whitehat team in existence. @Certora
It was an absolute pleasure having @SagivMooly and part of the team visit for ETHSofia.
Until next year.
@MartinMarchev @p_tsanev @arabadzhiev_ @nmirchev8 @0xnovaman33 @0xlemonaudits @xb0g0 @valuevalk @s4muraii77 @neumoXX @santipu_ @zhivkoto @zarkk01 @ilchovski98
neumo retweeted
AutoProver is coming to @solana, with support from @SolanaFndn.
We’re expanding Certora’s agentic formal verification platform to bring AutoProver to Rust developers building on Solana.
More details ↓
neumo retweeted
We spec'd the @aave v4 Hub by hand. Then we let AutoProver try.
See how far AutoProver got 👇
certora.com/blog/autoprover-…
🔥
Honored to team up with @ETHSpain_ as an official Community Partner for ETHSpain 2026! 🤝
ETHAck BCN has always been about bringing Barcelona's builders and hackers together.
See you September 17th in Barcelona!
neumo retweeted
we are looking for a Technical Account Manager to join @Certora
looking for someone who is strong technically, takes ownership, can work closely with protocols and security teams, and wants to help secure some of the biggest projects in web3
if this sounds like you, please check this
careers.certora.com/jobs/814…
neumo retweeted
hey chat, if you try the AI auditor inside @Certora's AutoProver, would love to hear your feedback.
we have been using it internally on all our audits over the last few months, and version after version it kept surprising us with the results, both in terms of coverage and finding interesting bugs.
even when it flags something that is not an actual bug, it often identifies a potential concern or design decision that is worth discussing and validating with the client.
now we are curious to see what the community thinks. try it and let us know what you find
app.certora.com/
neumo retweeted
Formal verification has never been more accessible:
- You don't have to be an expert in FV to write specs anymore - AutoProver will do it for you.
- It will read your code, generate the specifications and then verify them.
neumo retweeted
who better to build an AI formal verification system than a team with years of formal verification experience, countless audits, and kickass R&D, all coming together with AI
excited for everyone to finally see what AutoProver can do
neumo retweeted
I’m excited to democratize formal verification for the first time in history.
Couldn't be more timely in a bear market. This is the result of a huge joint effort by the Security Labs and R&D teams at Certora, with the support of our amazing clients.
Let’s go!
neumo retweeted
Introducing @hob_app - the independent workspace for serious agent work.
Run agents in parallel. Switch models without losing context. Trace every output back to the conversation that made it.
→ Launch offer: 2 months free, then a special price locked in👇
neumo retweeted
Spend as many tokens as you can while they're still subsidized and turn them into quick money.
Use the latest models and burn more tokens than everyone else. No fancy harness or skills.
But if you're in it for the long run, just read the code and improve your critical thinking.
neumo retweeted
Over 7 years auditing and formally verifying complex DeFi code, now we've built AutoProver, which leverage LLMs to automate security processes and produce mathematical proofs.
Devs will use it to secure code against LLM attacks. Premium audits continue full force🧵
neumo retweeted
So far, I assume there has been no success in breaking Aave V4. Did you mean "formally verified by Cantina"?
Most of us started our journey with you, and contest after contest we were shaped as the SRs we are today. You will be deeply missed @code4rena
Awards have been announced for the $40,000 USDC @GMX_IO Formal Verification competition in collaboration with @certora 🤝
Top 5:
🥇 neumo - $5,686.11 USDC
🥈 0xpoolboy - $5,336.17 USDC
🥉 @alexzoid - $5,076.76 USDC
🏅 jokr - $3,517.92 USDC
🏅 @twicek_k - $2,512.06 USDC (1/2)
Read more: code4rena.co/gmx-certora-fv