Mooly Sagiv
@SagivMooly
3.5K Following 2.8K Followers
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
@SagivMooly "Write your invariants down"
Interestingly we have started to see this more frequently; one of the benefits of AI is devs using it to write formal specs about how the system is expected to behave, which can then be compared to actual implementation.
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
To my @code4rena people:
You’re always in my heart.
Thinking of all the centaur wolves, hms, and the absolute legends @CloudEllie1 and @itsmetechjay who carried the beautiful mess of C4 from the beginning. Unworkable without them and the great team I was priv’d to work with.
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
After careful consideration, we’ve made the decision to wind down @code4rena. This community has meant a great deal to everyone who has been part of building it, and sharing this news is not easy.
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
Science x AI Summit 2026 (Palo Alto) is LIVE NOW!
Watch live on X:
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
🎤 Keynote announcement:
@percyliang (Percy Liang), Professor of Computer Science at @Stanford, founding director of the Center for Research on Foundation Models, and co-founder of @togethercompute, is keynoting #CAIS2026#.
Percy's HELM framework set the standard for holistic evaluation of language models, and his Foundation Model Transparency Index (now in its third year) put every major AI lab on notice for what they do and don't disclose. His current work on Marin takes this further: an open lab where every experiment, successful or not, is public from day one.
This one's going to be good.
San Jose · May 26–29
Show more
Great to see @percyliang as a keynote speaker at #cais2026#!
Hi friends, last weekend I took part in the @EthPrague hackathon, and it was incredible.
Here’s my recap:
The venue was awesome a really beautiful building with a great atmosphere.
But I focused on the hackathon itself because we had a goal, and we achieved it at this hackathon we took first place from @SpaceComputerIO
For us, this is an excellent result. Thanks to the mentors for helping us throughout the entire hackathon!
We also received a custom reward from @ethswarm which we didn’t expect since we had applied for a different track.
Thanks to everyone who organized ETHPrague and everyone who helped make it happen. I hope to see you all next year!
And of course, our team you’re the best @tlukanie @morequetstions There’s more to come!!!
Show more
ETH Prague 2026 ✔️
A 100 year old palace, a thousand crypto people, and me trying to keep up with the zk rollup convos.
#ETHPrague# #Ethereum# #WomenInCrypto# #Web3# #Prague#
Today, May 12, we celebrate the birthday of Maryam Mirzakhani (1977–2017) - the first woman and first Iranian to win the Fields Medal.
Her groundbreaking work on Riemann surfaces and moduli spaces continues to inspire mathematicians worldwide.
May 12 is now International Women in Mathematics Day.
Show more
