Shane

0

2

56

DoD4uFN@DoD4uFN·27 Şub

@Certora Thanks for the shotout ! I'm currently deploying Certora's prover to uncover even more edge cases 👀

English

0

3

36

Certora@Certora·26 Şub

Announcing the first winner of Capture the Funds - Endless CTF! To win, someone needed to beat our target score by at least 25 points. @DoD4uFN beat it by 45 and set the new target score for everyone else 👀 Can you beat it and win the next $1,000 prize? 👇

DoD4uFN@DoD4uFN

Hey @Certora, there is a new #1 on Endless CTF leaderboard 👀 Smashed through the initial 347 target score, straight to 367 🔥 Higher 🚀

English

ETHDenver 🏔🦬🦄@EthereumDenver

8

11

878

Shane retweeté

ETHDenver 🏔🦬🦄@EthereumDenver·18 Şub

Safe Smart Contract Vibe Coding by @SagivMooly Chief Scientist of @Certora “Vibe coding” in web3 often fails due to missing guardrails. Full video below 👇🧵

English

4

3

53

2.7K

Shane retweeté

Certora@Certora·18 Şub

Today @SagivMooly is taking the stage at @EthereumDenver to present: “Safe Smart Contract Vibe Coding” If you vibe code, this one’s for you 👀 📅 12:40 PM 📌 Futurllama Stage

We’re thrilled to announce @SagivMooly, Chief Scientist at @Certora, as a speaker for ETHDenver 2026! Mooly Sagiv is a leading researcher in formal verification, applying mathematical rigor to smart contract security. In New BUIDL City, leaders like Mooly help show there’s somETHing for everyone to build and explore.

English

10

891

Shane retweeté

Mooly Sagiv@SagivMooly·18 Şub

Similar bugs already occur in web2, like the Cloudflare one: news.ycombinator.com/item?id=467815… This is a perfect introduction to my @EthereumDenver talk today, 'Safe Smart Contract Vibe Coding'

pashov@pashov

🚨Claude Opus 4.6 wrote vulnerable code, leading to a smart contract exploit with $1.78M loss cbETH asset's price was set to $1.12 instead of ~$2,200. The PRs of the project show commits were co-authored by Claude - Is this the first hack of vibe-coded Solidity code?

English

3

1

19

961

Shane retweeté

Certora@Certora·17 Şub

gm Denver! 🏔️ The Certora team has landed in the Mile High City and will be speaking today at darkMode 2026, organized by @_SEAL_Org. 🟢 14:35 — @tomer_ganor explores how @LidoFinance V3 combines security thinking with protocol design to reduce attack surfaces and prevent bugs. 🟢 16:00 — @SagivMooly joins @LewellenMichael, @AndrewMohawk, and @blocksec for a panel on Web3 security’s evolution toward mainstream adoption. See you there!

English

19

15

2.4K

Shane@ShaneRunquist·17 Şub

@DoD4uFN @Certora Nicely done! 👏 And fast too. Did you participate last year also or just started with the Endless CTF?

English

0

1

52

DoD4uFN@DoD4uFN·16 Şub

Hey @Certora, there is a new #1 on Endless CTF leaderboard 👀 Smashed through the initial 347 target score, straight to 367 🔥 Higher 🚀

We're live with a new CTF! 🏁💰 Certora's DeFi security challenge is back. An ecosystem of interconnected protocols is open for you to attack. Full details and exploits by previous winners in the blog post. 👇

English

9

0

28

2.7K

Shane retweeté

Mudit Gupta@Mudit__Gupta·12 Şub

One of the hardest and most interesting live DeFi CTF. Try it out if you haven't already!

We're live with a new CTF! 🏁💰 Certora's DeFi security challenge is back. An ecosystem of interconnected protocols is open for you to attack. Full details and exploits by previous winners in the blog post. 👇

English

3

16

2.7K

Shane@ShaneRunquist·12 Şub

@NalaZ0x @hibillh @caliber_tweets @0x_bob_0x @Sp1cyMe4tball That's the spirit! 👍

English

0

2

52

Nala@NalaZ0x·12 Şub

@ShaneRunquist @hibillh @caliber_tweets @0x_bob_0x @Sp1cyMe4tball Certora bringing back the pain (for protocols) with Endless CTF 🏴‍☠️💰 One local chain, six protocols, zero mercy. Previous winners already showed how ugly it can get, now it's our turn. Let's drain this thing properly.

English

0

3

85

Shane@ShaneRunquist·12 Şub

Thanks for the praise of Capture the Funds, @hibillh , @caliber_tweets , and @0x_bob_0x ... we quoted you in the new blog post 🙂 And thanks again for your great exploit write-ups, @hibillh and @Sp1cyMe4tball 🙏

We're live with a new CTF! 🏁💰 Certora's DeFi security challenge is back. An ecosystem of interconnected protocols is open for you to attack. Full details and exploits by previous winners in the blog post. 👇

English

6

261

Shane@ShaneRunquist·12 Şub

@NalaZ0x Well-said. Let's see those attacks!⚔️

English

1

11

Nala@NalaZ0x·12 Şub

If you're even slightly serious about DeFi security, you owe it to yourself to play Certora's new Endless CTF. Realistic protocol mess and real skill upgrade. Previous write-ups are gold. New leaderboard is waiting.

We're live with a new CTF! 🏁💰 Certora's DeFi security challenge is back. An ecosystem of interconnected protocols is open for you to attack. Full details and exploits by previous winners in the blog post. 👇

English

0

4

122

Shane retweeté

Sanford@0xiSanford·11 Şub

@_AlexBiryukov_ specially in the era of vibe-coded smart contracts, formal verification is no longer optional, it's mandatory. Fuzzing gets you to 99.999%, but the last 0.001% is where the $10M+ exploits live.

English

4

125

Shane@ShaneRunquist·11 Şub

See the repo link at ctf.certora.com to dive in

English

3

18

Shane@ShaneRunquist·11 Şub

If you missed it the first time around, take a look because its back! 👀🚀♾ The blog post details the vulnerabilities found so far (spoiler alert) - skip straight to the website to find them for yourself. 👇

We're live with a new CTF! 🏁💰 Certora's DeFi security challenge is back. An ecosystem of interconnected protocols is open for you to attack. Full details and exploits by previous winners in the blog post. 👇

English

ChaseTheLight@ChaseTheLight99

1

3

79

Shane@ShaneRunquist·11 Şub

So, ... about that next one @ChaseTheLight99 ... 👀🚀♾ x.com/Certora/status…

@Certora @hibillh @dodeedujack @Sp1cyMe4tball @aave @coinbase @ethereumfndn @LidoFinance Congrats to the winners. CTFs are very fun, maybe I'll join the next one 👀

English

0

4

220

Shane retweeté

alexzoid@alexzoid·10 Şub

For the past 2.5 years, I've watched the @Certora team hone their Prover - and the last year in open-source mode. It gets better every week without pause. This consistency is a key to success!

Shane@ShaneRunquist

Certora Prover v8.8.0 released 🎉 The @Certora Prover is an open-source formal verification engine that proves smart contracts can only behave as intended ... & finds real bugs, otherwise. And it keeps getting better. Here’s what’s new 👇

English

3

33

1.8K

Shane@ShaneRunquist·10 Şub

Certora Prover v8.8.0 adds new features to keep your formal verification accurate and reliable. 📖 More details, docs, & examples: certora.com/blog/prover_v8…

English

1

79

Shane@ShaneRunquist·10 Şub

Enhancements to Our Github App: • Added Solana, Sui, Soroban and Vyper support. • The GitHub action now replaces active reviews within the same configurations. • Added GitHub Actions API support for cancelling jobs and refreshing job status.

English

0

2

96

Shane@ShaneRunquist·10 Şub

Certora Prover v8.8.0 released 🎉 The @Certora Prover is an open-source formal verification engine that proves smart contracts can only behave as intended ... & finds real bugs, otherwise. And it keeps getting better. Here’s what’s new 👇

English