Excited to announce the first release of EquiVM! ✨ EquiVM is a Lean 4 framework for formally verifying that deployed EVM bytecode faithfully implements a formal, human-readable specification, with machine-checked proofs guaranteeing the two behave the same.

Our second bi-annual transparency report is live, covering all spending from January 16 to July 2, 2026. As a collective committed to public-goods stewardship, we believe financial and organizational transparency is essential to accountability.

Our bi-annual roadmap update is here. H1 2026 highlights: stack-too-deep is fixed in the SSA-CFG pipeline (under --experimental), debugging infrastructure work has ramped up significantly, and both act and Fe shipped their first releases after extensive rewrites. More detail below↓

We are pleased to announce that the Argot Collective and the @ethereum.foundation have completed the final phase of our original five-year funding commitment. Approximately 4,938 stETH will be transferred into a multi-sig wallet, with phased unlocks on 1 July 2026 and 1 July 2027.

hevm v0.58.0 is out! Highlights: • Improved Osaka support • More cheat codes matching Foundry's docs • State merging for better exploration performance • Calldata concretization for dynamic array inputs • Rearchitected concurrent SMT solving Details below 👇

How has AI influenced developers and those who are working on language maintenance and designs already today? And what will its impact be in the future? Join Jacob from Solidity today on the Octant epoch 12 live stream alongside other amazing teams! x.com/OctantApp/s...

Octant (@OctantApp) on X

AI is changing how developers build on Ethereum. In our livestream tomorrow, we’ll explore how it's supercharging smart contract development, auditing, gas optimization, testing, and dApp creation. Hear from @EthereumRemix @solidity_lang @eas_eth and @etheconomiczone as they

x.com

Solidity is part of Octant's Epoch 12! If you are interested in supporting Solidity's work consider voting for us here: epoch.octant.app/rounds/0xf9... 🙏

It's a wrap on Berlin Blockchain Week! From Solidity developments to privacy, source code verification, and clear signing, the Argot Collective covered a lot of ground. ↓

We teamed up with Walnut to implement the ethdebug standard inside the Solidity compiler. The 2025 Solidity Developer Survey shows the demand clearly. This year we're tackling long-standing issues head on: alongside stack-too-deep, we're now taking on better debugging infrastructure.

Find us today at our booth at dappcon! x.com/dappcon/sta...

Dappcon (@dappcon) on X

── Dappcon 2026 Community Partner ── You can't fork the future without the tools. Argot Collective builds the tools. Argot Collective @argotorg started as the largest EF spin-off, initiated by Solidity, and is now forming an independent non-profit sister organization to

x.com

See you at Berlin Ethereum Day tomorrow! Start your day by learning what's coming up for Solidity, including a deep dive into how the team solves stack-too-deep, and say goodbye to YOLO-signing by lunch!

"Just formally verify everything!" Easier said than done. Zoe from the act team explains what's been holding back broader FV adoption and how she sees this changing with AI. Full conversation in the link below

Most people know Sourcify for source code verification. But the team has been an open source steward well beyond that. As part of the Clear Signing working group, they are going after blind signing, one of crypto's longest-standing UX failures. Check out what this means for the space 👇

Louder for everyone in the back: if your chain's data lives on a single database, its history can vanish! At EthPrague earlier this month Manuel from Sourcify showed how to prevent exactly that. Go watch the talk 👇

You still don't know what formal verification is and at this point you're too afraid to ask? Anja has got you covered. At EthPrague she gave a workshop explaining what FV is and how she and the rest of the act team approach it. Full talk in the link below 👇

The Solidity team is listening. At EthPrague, Jakob shared how developer survey feedback is driving what's next: fixing the biggest pain points and shaping the Core Solidity roadmap. Find the full talk in the link below 👇

2 hours left!

Prague, we're coming 🇨🇿 Argot will be at ETHPrague and we have a stacked weekend ahead: talks, a deep dive workshop, and hackathon bounties. Plenty of time to hang, hack, and build together. Find all the details below 👇

3 Argot projects are in the DAO Ethereum Security QF Round on Giveth : • Sourcify: the open source verification layer for Ethereum smart contracts • 𝗵𝗲𝘃𝗺: symbolic execution and equivalence checking for EVM bytecode • 𝗮𝗰𝘁: formal specification language & verification framework

What if a smart contract verification service just...disappears? Sourcify is built so that doesn't matter: open-source, public-good verification where anyone can self-host, the full dataset is published regularly, & is shared w/ the Verifier Alliance. 👇The TL;DR on what they do & why it matters.

Curious to hear what Sourcify has been up to? Tune in today 👇 x.com/ECHInstitut...

'Blind Signing' is Ethereum's biggest UX-security failure ✍️ Next week in Cannes, @kaanuzdogan.bsky.social will be joining the conversation on what it takes to finally move beyond. Catch him at WalletCon! Sign-up link below 👇 x.com/WalletConnec...

Have you ever stopped to think about who owns and controls Ethereum's source code verification data? Sourcify has thought about it - a lot. Manuel is bringing that conversation to EthPrague: the current state, what needs to change, and why it concerns all of us. → x.com/EthPrague/s...

We want to hear from you! Take 5 minutes to fill out Solidity's annual Developer Survey and help us shape its future! You might win a Devcon ticket ✨ ↓ x.com/solidity_la...

We're excited to announce the first official release of act (v0.2.0): a formal specification language and verification framework for Ethereum smart contracts, built within the Argot Collective. This is a major step in our research toward safer on-chain systems. ↓✨

Today, we are publishing our first Transparency Report. Financial and organizational transparency is a core value for us: public-goods stewardship must be grounded in openness, traceability, and clear responsibility.

Our bi-annual roadmap update is live: a recap of what Argot delivered across the collective in the second half of 2025, and a forward-looking outlook into the first half of 2026. ✨ Find the link below ↓

hevm is starting the year strong: v0.57.0 just landed 🚀 The release delivers meaningful improvements to the performance and reliability of symbolic exploration, with a clear impact on real-world contract analysis.↓

Time for a 2025 update on Fe! ⚡️ We believe language diversity & language research are essential to building safer systems. Fe is our exploration of that belief: a language that makes every side effect visible, prevents bugs before they happen, & pairs a modern DevX with a strict safety system.

What a year it’s been for @solidity_lang: a 10-year anniversary, the largest EF spin-off to date, a newly incorporated entity, and a roadmap that sets direction for the next decade. 🤩 Take a look at the most recent highlights with us ↓