Mooly Sagiv
@SagivMooly
CEO of @Certora and a chair of software systems at @TelAvivUni, Co-Founder of @Summit_Defi - Making Formal Verification Accessible with AI
3.7K Following 3.3K Followers
If you are at @Devcon, I am talking tomorrow at the Lotus stage at 12 on democratizing formal verification for Solidity. My talk should be accessible. Please come
This is something the industry hasn’t seen yet.
Certora is the pioneer in formal verification. FV + AI is our bread and butter and we’ve got something new coming soon.
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.
I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:
Show more
Jito Labs CEO, @buffalu__ on @jtx_trade:
"JTX is where smart money trades everything."
"We're targeting the pro retail, prosumer trading audience on Solana. We feel there's a gap there."
"A lot of the tools people use today are made for an older era on Solana. The assets people are trading are different now than what they used to be."
"We're trying to bring in traders from other chains using more pro products, and going after pro users on centralized exchanges."
Show more
second year in a row winning gold at the Abu Dhabi Grand Slam bjj championship 🫡
Throwback to exactly 5 years ago @RonConway @brian_armstrong @iampaulgrewal and I were in DC making the case for common sense crypto regulation. Today CLARITY cleared the Senate Banking Committee on a bipartisan basis. Patience pays –congrats to everyone who made this possible.
Show more
Ethereum security is not a solo mission 🤝
Huge respect to every team helping direct more support toward the projects protecting the ecosystem.
Final hours to join the push 👇
Show more
Met a lot of great people because of the C4 leaderboard like @zachobront and many others.
It is sad to see @code4rena shut down, thank you to the C4 team for all you brought to the space!
@SagivMooly Completely agree! Would add that offensive AI tooling is outpacing defensive.
We are working on vericoding tooling and guardrails that helps with this! Think there could some collab opportunities :)
Show more
Attackers are patience, AI-assisted, and thinking about your whole system. Developers are shipping on deadlines.
The asymmetry is structural. Shifting left isn't optional anymore.
A huge honor and responsibility for the ETHSecurity badge holders from Certora: @tomer_ganor @tpiliposian @MartinMarchev @seth_certora
Big news for the Ethereum Security QF round 🔥
@Certora is contributing $10K through their 4 ETHSecurity badgeholders, giving each one $2,500 to donate to projects in the round.
And because badgeholder donations count 4x in the QF calculation, this support goes even further in directing matching funds to Ethereum security projects.
Huge thank you to Certora 💙💚
Show more
The main role of the blockchain foundation is to spark vigorous debates about the role of the blockchain foundation every 6 months or so
C4 has been part of our journey promoting formal verification. We've partnered on contests, and some of our best security researchers have come through them. Their attitude toward researchers always stood out.
Respect and gratitude.
Show more
This morning at SAIR Science x AI Summit, @CarinaLHong spoke alongside Nobel Laureate Barry Barish, Fields Medalists @wtgowers, Terrence Tao, and @leanprover Founder @leodemoura on Frontiers of AI for Math.
Tune in at 2h34m30s for AxiomProver's results in its first 100 days! 💯
Show more
I'll be speaking at #STOC2026# on AI for theory, alongside industry pioneers @WittedNote (Chief Technologist, Google), David Woodruff (CMU), @SebastienBubeck (OAI), and my friend @MarkSellke (OAI) at the very kind invitation of the organizers.
See you in Salt Lake City on 6/27!
Show more
Cryptographic protocols should be formally verified
How do we do it in Lean, the fastest-growing proof assistant?
Introducing VCVio ( a base layer for crypto proofs in Lean
Joint work with @dtumad, @alexanderlhicks, James Waters & Nick Hopper
🧵/n
Show more
Day 2: Behind the Scenes at Solana Accelerate Miami 🌴
• @FortuneMagazine announced JTX first thing in the morning
• Jitoads swarmed the booth as soon as conference doors opened
• @jtx_trade officially announced on stage during Product Keynote
• JTX manifesto released on the Jito Network blog & X
• @buffalu__ interviewed by @paulbarrontv live at the conference
• wrapped up the night with a co-hosted "Liquidity After Dark" event at MILA with @DFlow, @Helius, @ellipsis_labs, and @SolanaFndn
Show more
