@ShaneRunquist Avatar @ShaneRunquist Shane

Shane posts on X about verification, a new, book, in the the most. They currently have [--] followers and [--] posts still getting attention that total [-----] engagements in the last [--] hours.

Engagements: [-----] #

Engagements Line Chart

Mentions: [--] #

Mentions Line Chart

Followers: [--] #

Followers Line Chart

CreatorRank: undefined #

CreatorRank Line Chart

Social Influence

Social category influence finance cryptocurrencies exchanges stocks technology brands

Social topic influence verification, a new, book, in the, defi, contracts, blog, ai, engine, if you

Top assets mentioned Coinbase Global Inc. (COIN) Solana (SOL) Ethereum (ETH)

Top Social Posts

Top posts by engagements in the last [--] hours

"@caliber_tweets Thanks for doing the CTF and sharing your work 👏 Thanks to @Certora for creating a unique CTF with realistic setup and interconnected protocols. You're welcome"
X Link 2026-01-04T23:27Z [--] followers, [--] engagements

"@tomer_ganor @LidoFinance Looking forward to it"
X Link 2026-02-04T17:49Z [--] followers, [--] engagements

"Having seen behind the curtain and reviewed as @RareSkills_io made this book I can attest that this is the real deal. 👏 Anyone can crank out a guide w/ AI that looks reasonable at first glance but it doesn't hold up to scrutiny. This work does. After nearly a year of writing and revision were proud to finally present a new book from RareSkills created in collaboration with @Certora: Formal Verification with the Certora Prover Certora makes formal verification accessiblebut for newcomers theres still a large set https://t.co/OVlBiiLPqN After nearly a year of writing and revision were proud to"
X Link 2026-02-07T21:51Z [--] followers, [----] engagements

"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. Heres whats new 👇"
X Link 2026-02-09T22:50Z [--] followers, [----] engagements

"gm Denver 🏔 The Certora team has landed in the Mile High City and will be speaking today at darkMode [----] 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 securitys evolution toward mainstream adoption. See you there https://twitter.com/i/web/status/2023791854194430262 https://twitter.com/i/web/status/2023791854194430262"
X Link 2026-02-17T16:09Z 11.2K followers, [----] engagements

"RT @Mudit__Gupta: One of the hardest and most interesting live DeFi CTF. Try it out if you haven't already"
X Link 2026-02-12T23:26Z [--] followers, [--] engagements

"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. 👇 https://t.co/9xuga67ZsC 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. 👇 https://t.co/9xuga67ZsC"
X Link 2026-02-12T16:37Z 69.1K followers, [----] engagements

"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. 👇"
X Link 2026-02-11T17:29Z 11.2K followers, 11.3K engagements

"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. 👇 https://t.co/9xuga67ZsC 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"
X Link 2026-02-11T21:51Z [--] followers, [---] engagements

"@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"
X Link 2026-02-11T14:04Z [---] followers, [---] engagements

"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. 👇 https://t.co/9xuga67ZsC 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"
X Link 2026-02-11T18:51Z [--] followers, [--] engagements

"See the repo link at to dive in http://ctf.certora.com http://ctf.certora.com"
X Link 2026-02-11T18:51Z [--] followers, [--] engagements

"So . about that next one @ChaseTheLight99 . 👀🚀♾ https://x.com/Certora/status/2021637712328151455 @Certora @hibillh @dodeedujack @Sp1cyMe4tball @aave @coinbase @ethereumfndn @LidoFinance Congrats to the winners. CTFs are very fun maybe I'll join the next one 👀 https://x.com/Certora/status/2021637712328151455 @Certora @hibillh @dodeedujack @Sp1cyMe4tball @aave @coinbase @ethereumfndn @LidoFinance Congrats to the winners. CTFs are very fun maybe I'll join the next one 👀"
X Link 2026-02-11T18:30Z [--] followers, [---] engagements

"@Certora @hibillh @dodeedujack @Sp1cyMe4tball @aave @coinbase @ethereumfndn @LidoFinance Congrats to the winners. CTFs are very fun maybe I'll join the next one 👀"
X Link 2026-01-02T18:48Z [----] followers, [---] engagements

"RT @alexzoid: For the past [---] years I've watched the @Certora team hone their Prover - and the last year in open-source mode. It gets b"
X Link 2026-02-10T15:47Z [--] followers, [--] engagements

"For the past [---] 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 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. Heres whats new 👇 https://t.co/ogBGDn8ilr Certora Prover v8.8.0 released 🎉 The @Certora Prover is an open-source formal verification engine that proves smart contracts can only behave as"
X Link 2026-02-10T07:57Z [---] followers, [----] engagements

"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. Heres whats new 👇"
X Link 2026-02-09T22:50Z [--] followers, [----] engagements

"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"
X Link 2026-02-09T22:50Z [--] followers, [--] engagements

"Certora Prover v8.8.0 adds new features to keep your formal verification accurate and reliable. 📖 More details docs & examples: https://www.certora.com/blog/prover_v8.8.0 https://www.certora.com/blog/prover_v8.8.0"
X Link 2026-02-09T22:50Z [--] followers, [--] engagements

"Having seen behind the curtain and reviewed as @RareSkills_io made this book I can attest that this is the real deal. 👏 Anyone can crank out a guide w/ AI that looks reasonable at first glance but it doesn't hold up to scrutiny. This work does. After nearly a year of writing and revision were proud to finally present a new book from RareSkills created in collaboration with @Certora: Formal Verification with the Certora Prover Certora makes formal verification accessiblebut for newcomers theres still a large set https://t.co/OVlBiiLPqN After nearly a year of writing and revision were proud to"
X Link 2026-02-07T21:51Z [--] followers, [----] engagements

"After nearly a year of writing and revision were proud to finally present a new book from RareSkills created in collaboration with @Certora: Formal Verification with the Certora Prover Certora makes formal verification accessiblebut for newcomers theres still a large set of unfamiliar concepts to learn. Teaching a broad and unfamiliar field comes with pedagogical challenges. Dive into projects too early and youre forced to use syntax you dont yet understand. Delay compelling applications too long and readers lose interest. We worked carefully to balance showing cool examples without"
X Link 2026-02-06T15:31Z 14.3K followers, 49.3K engagements

"RT @guy_de: bear market or not were still dropping bangers like this. @Certora 📓 by @RareSkills_io enjoy anon"
X Link 2026-02-07T15:42Z [--] followers, [--] engagements

"bear market or not were still dropping bangers like this. @Certora 📓 by @RareSkills_io enjoy anon After nearly a year of writing and revision were proud to finally present a new book from RareSkills created in collaboration with @Certora: Formal Verification with the Certora Prover Certora makes formal verification accessiblebut for newcomers theres still a large set https://t.co/OVlBiiLPqN After nearly a year of writing and revision were proud to finally present a new book from RareSkills created in collaboration with @Certora: Formal Verification with the Certora Prover Certora makes"
X Link 2026-02-06T15:36Z [----] followers, [---] engagements

"RT @Certora: Open tools need open learning. This book walks through formal verification step by step from basic specs and CVL syntax to i"
X Link 2026-02-06T16:06Z [--] followers, [--] engagements

"Open tools need open learning. This book walks through formal verification step by step from basic specs and CVL syntax to invariants ghosts and real ERC-20 / ERC-721 contracts. Thanks to RareSkills for the collaboration 🫡 After nearly a year of writing and revision were proud to finally present a new book from RareSkills created in collaboration with @Certora: Formal Verification with the Certora Prover Certora makes formal verification accessiblebut for newcomers theres still a large set https://t.co/OVlBiiLPqN After nearly a year of writing and revision were proud to finally present a new"
X Link 2026-02-06T15:45Z 11.2K followers, [----] engagements

"RT @Certora: Certora is formally verifying @powdr_labs autoprecompiles supported by a grant from @ethereumfndn. All specs + proofs will b"
X Link 2026-02-05T16:16Z [--] followers, [--] engagements

"Certora is formally verifying @powdr_labs autoprecompiles supported by a grant from @ethereumfndn. All specs + proofs will be open-sourced for the ZK ecosystem 🫡 https://t.co/zDL8G2Zsvr https://t.co/zDL8G2Zsvr"
X Link 2026-02-05T16:01Z 11.2K followers, [----] engagements

"Securing zkEVM Optimizations Certora Receives Ethereum Foundation Grant to Verify Autoprecompiles DeFi and Ethereum scaling continue to evolve toward zero-knowledge execution models that demand provable correctness at every http://x.com/i/article/2014817421035765760 http://x.com/i/article/2014817421035765760"
X Link 2026-02-05T16:00Z 11.2K followers, [----] engagements

"AI coding has taken over. It writes code faster than humans but not always safely. LLMs are great at producing plausible code thats almost right. Which means today humans still have to double-check every line. But that doesnt have to be the case. 🧵 https://twitter.com/i/web/status/2017319898838667574 https://twitter.com/i/web/status/2017319898838667574"
X Link 2026-01-30T19:31Z 11.2K followers, [----] engagements

"A write-up for the recent @Certora Capture The Funds CTF: https://github.com/k4zanmalay/CaptureTheFundsSolution/tree/main https://github.com/k4zanmalay/CaptureTheFundsSolution/tree/main"
X Link 2026-01-18T16:53Z [--] followers, [---] engagements

Limited data mode. Full metrics available with subscription: lunarcrush.com/pricing