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 ↓

There has been plenty of work coming out of the Argot Collective via hevm! This year, the focus was on shipping and hardening the tool, with two major releases landing over the past months 💫 Let's dive in ↓

2025 was a huge year for Sourcify! They shipped more than ever and laid down a rock solid foundation. Now it is time to look back 👇

As the year wraps up, we’re taking a moment to look back and highlight some of the work coming out of the Argot Collective - starting with Act ✨↓

This year's Solidity Summit brought 350+ builders during DevConnect Buenos Aires. 🎉 The session recordings are now live - perfect for catching up or revisiting your favorites. 💛 x.com/solidity_lan...

We’re gearing up for @EFDevcon in Buenos Aires and can’t wait to see you there! 🇦🇷✨ It’s going to be an action-packed week - here’s where you’ll be able to find us ↓

🔜 🇧🇷 🇦🇷 Argot is making a stop in São Paulo for #ETHLatam before heading to @devcon.org! Looking forward to seeing you there Nov 8-9!

Last week at OOPSALA '25, our Act developers presented an improved, scalable version of CheckMate, an automated prover for formally verifying the game-theoretic security of blockchain protocols. In short: the tool checks whether the incentives in a protocol make cheating not worth it.

Argot is participating in the Gitcoin GG24 Developer Tooling & Infrastructure QF round on Giveth! No donation is too small to make an impact - every dollar and every individual contribution make a dent in this round. Donate using the link below👇

✨ hevm v0.56.0 is out! ✨ This is a maintenance-focused release with a lot of under-the-hood work to make everything faster, more reliable, and easier to use. But we’ve also added new features that improve: 1️⃣ Information shown to users 2️⃣ Control over the analysis

⏳ Reminder: Solidity Summit attendee applications are still open. Here's how you can attend: 1. Click 'Attend' on soliditylang.org/summit/ 2. Verify (or buy if you haven't yet) your DevConnect ticket 3. Apply for a Summit ticket! 🎟️https://devconnect.org/calendar?event=soliditysummit

We are happy to announce that we have received a $75,000 USDC grant from the ENS Public Goods Working Group to support our work at Argot. An additional $25,000 USDC has been earmarked for future work. We are grateful to the ENS community for this early support! 🙏

This week we shared recent milestones across all Argot projects and provided an outlook on what's ahead through year-end. At Argot, we're committed to maximum transparency, and sharing our roadmaps regularly is one step in that direction. Happy reading! x.com/argotorg/st...

With Argot's incorporation complete and all projects consolidated under one umbrella, we turn our full focus back to what we do best: building infrastructure for Ethereum applications. Today we're sharing a 2025 roadmap update detailing what each team is working on until the end of the year.

This week, all eyes on Solidity! The project recently celebrated its 10 year anniversary and shared its development journey over the past decade. What started with a few lines of code is today’s backbone of smart contract development.

.@solidity_lang, @SourcifyEth, @official_fe, @ethdebug, Act and hevm will now be maintained under the Argot Collective umbrella. As part of this change, corresponding Github repositories will be migrated to github.com/argotorg on Wednesday, August 27th at 9AM CEST.

Argot just got a new logo and website ✨ While our website got a new look, we continue what we have been doing best: Building the critical infrastructure for Ethereum applications.

Excited to share that hevm is powering the new Echidna's symbolic execution capabilities! Echidna, a Haskell program designed for fuzzing/property-based testing of Ethereum smart contracts, is entering a new era of symbolic execution with the support of hevm. All details and link below 👇

Our weekly spotlight rolls on! Today we’re zooming in on sourcify.dev 🧿 They're on a mission to fix smart contract verification to uphold Ethereum's open-source core values, increase resilience and lay the groundworks for innovation. Here is why this is so important 👇

Today's spotlight is on Ethdebug 🪲 @ethdebug is an emerging standard debug‑info format for smart contracts. It lets compilers emit rich, language‑aware data so debuggers and explorers can map bytecode back to source with precision.

We’re thrilled to share a major milestone: Argot has secured foundational funding from the @ethereum.foundation! This significant support ensures we can sustain and advance critical open-source infrastructure for @ethereum.bsky.social. Find all details on our blog or follow the tl;dr here👇

In a new explainer post, Solidity shares its perspective on EOF and how it will benefit compilers, L2s, applications, and tooling. You can read the full post on the blog: soliditylang.org/blog/2025/03...

Argot is looking for an Ecosystem Liaison to help us manage ecosystem relations, public good fundraising, and communications. Read more about the role: → jobs.lever.co/ethereumfoun... If this sounds like you (or someone you know), we'd love to see you apply! ✦

Hello, world! We are the Argot Collective: A non-profit, democratically organized, research & development group focused on maintaining free and independent software related to Ethereum. Read the announcement on our blog for all details or follow this thread for a tl;dr ▾