iiinova — where your digital self keeps evolving

Argot Collective @argot.org · 29/09/2026

We have 2FA for email and banking but not for signing crypto transactions, the most sensitive step of all. Onay by Sourcify, featured in theDAO fund's second round, adds a local sanity check to every signing request.

100

Argot Collective @argot.org · 18/08/2026

Time for a Sourcify update because @SourcifyEth has been busy! Over the past months the team has turned into a true Swiss army knife, touching multiple corners of the Ethereum ecosystem at once.

110

Argot Collective @argot.org · 30/07/2026

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.

111

Argot Collective @argot.org · 06/07/2026

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.

110

Argot Collective @argot.org · 01/07/2026

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↓

110

Argot Collective @argot.org · 30/06/2026

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 👇

100

Argot Collective @argot.org · 19/06/2026

Solidity wasn't the only thing on the agenda. Kaan from Sourcify shared the journey toward finally providing a clear path forward for the ecosystem to combat one of crypto's biggest UX failures: blind signing.

A speaker presents on stage, showing a confusing interface with an overlay of a perplexed woman, highlighting crypto user experience issues.

100

Argot Collective @argot.org · 19/06/2026

The Solidity team had great conversations at both Ethereum Day and at @dappcon.bsky.social. Topics ranged from how the team is tackling long-standing issues like stack-too-deep to what's ahead for Solidity and how we want the community to be more involved in shaping its future.

100

Argot Collective @argot.org · 18/06/2026

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.

110

Argot Collective @argot.org · 14/06/2026

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!

100

Argot Collective @argot.org · 01/06/2026

"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

100

Argot Collective @argot.org · 28/05/2026

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 👇

100

Argot Collective @argot.org · 27/05/2026

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 👇

100

Argot Collective @argot.org · 19/05/2026

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 👇

100

Argot Collective @argot.org · 18/05/2026

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 👇

100

Argot Collective @argot.org · 15/05/2026

hevm enables rigorous analysis and uncovers edge cases in smart contracts through its symbolic execution engine and testing framework. →qf.giveth.io/project/hev...

000

Argot Collective @argot.org · 15/05/2026

act ensures smart contract safety by providing a formal specification language and verification framework for Ethereum smart contracts. →qf.giveth.io/project/act...

120

Argot Collective @argot.org · 15/05/2026

Sourcify keeps smart contract verification open, public, and decentralized →qf.giveth.io/project/sou...

100

Argot Collective @argot.org · 07/05/2026

𝟴 𝗠𝗮𝘆 𝗜 𝟭𝟯:𝟭𝟬 - 𝟭𝟰:𝟬𝟱 𝗜 𝗠𝗮𝘀𝗮𝗿𝘆𝗸 𝗦𝘁𝗮𝗴𝗲 Anja has explained math on Slovenian national television. Now she's bringing that same clarity to a hands-on workshop on act: a formal specification language and verification framework for Solidity & Vyper contracts.↓ x.com/EthPrague/s...

120

Argot Collective @argot.org · 07/05/2026

After that, it's over to you! Sourcify is offering $4,000 for the best use of their dataset. Time to get creative! x.com/EthPrague/s...

100

Argot Collective @argot.org · 07/05/2026

𝟴 𝗠𝗮𝘆 𝗜 𝟭𝟬:𝟮𝟱 - 𝟭𝟬:𝟱𝟬 𝗜 𝗚𝗿𝗲́𝗴𝗿 𝗦𝘁𝗮𝗴𝗲 Manuel from Sourcify breaks down the current state of source code verification and what needs to change before a verifier can truly pass the walkaway test. ↓ x.com/EthPrague/s...

100

Argot Collective @argot.org · 07/05/2026

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 👇

110

Argot Collective @argot.org · 27/04/2026

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

110

Argot Collective @argot.org · 14/04/2026

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.

100

Argot Collective @argot.org · 04/02/2026

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. ↓✨

110

Argot Collective @argot.org · 03/02/2026

And of course our budget and expenses: From July 1 to Dec 31, 2025, total expenditures were $2,443,067. Salaries represent the largest share of spending, reflecting our focus on direct contributor support. A detailed project-level breakdown is available on our website: argot.org/reports

110

Argot Collective @argot.org · 03/02/2026

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.

141

Argot Collective @argot.org · 15/01/2026

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 ↓

110

Argot Collective @argot.org · 08/01/2026

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.↓

110

Argot Collective @argot.org · 05/01/2026

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.

120

Argot Collective @argot.org · 30/12/2025

Talks to highlight 🔥 • From Classic to Core Solidity from Kamil Sliwak www.youtube.com/watch?v=pk7... 👉 He talked about how he envisions the language’s gradual transition and how breaking the changes will really be.

100

Argot Collective @argot.org · 30/12/2025

This year also saw the return of the Solidity Summit, hosted during DevConnect in BA. 🇦🇷 🌞 It was the perfect setting to bring these themes together: roadmaps, compiler internals, and the future of the language, drawing 350+ attendees and an excellent group of speakers from across the ecosystem. 💛

100

Argot Collective @argot.org · 30/12/2025

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 ↓

120

Argot Collective @argot.org · 29/12/2025

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 ↓

110

Argot Collective @argot.org · 25/12/2025

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 👇

100

Argot Collective @argot.org · 22/12/2025

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 ✨↓

110

Argot Collective @argot.org · 12/11/2025

Hang out with @lea.bsky.social and @kaanuzdogan.bsky.social at the Open Source Community Hub 📍 Location: La Rural 📅 Date: Monday, 17th 3:00 PM - Kaan & Thursday 20th 2:30PM, Lea 11:30AM 🌐 Link: devconnect.org/community-h...

111

Argot Collective @argot.org · 12/11/2025

On Tuesday we are hosting Solidity's 3rd edition of the Solidity Summit! A full-day event diving into the future of Solidity. 📍 Location: La Rural 📅 Date: Tuesday, 18 Nov 🌐 Link: www.soliditylang.org/summit/

110

Argot Collective @argot.org · 12/11/2025

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 ↓

142

Argot Collective @argot.org · 28/10/2025

Matheus will share insights on Custom Storage Layouts in Solidity and talk about the secrets to more efficient and economical smart contracts on Ethereum. 🗓 Date: November 8 ⏰ Time: 14:30–14:50 📍 Stage: Arquibancada Stage

000

Argot Collective @argot.org · 28/10/2025

Followed by @kaanuzdogan.bsky.social who will talk about the state of source code verification on Ethereum. He will showcase the reasons we’re not moving forward and what we can do about it! 🗓 Date: November 8 ⏰ Time: 12:40–13:00 📍 Stage: Arquibancada Stage

100

Argot Collective @argot.org · 28/10/2025

. @lea.bsky.social will kick things off with an inside look at the Argot Collective - who we are, what we have been up to and what's ahead! 🗓 Date: November 8 ⏰ Time: 11:00–11:20 📍 Stage: Arquibancada Stage

110

Argot Collective @argot.org · 28/10/2025

🔜 🇧🇷 🇦🇷 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!

110

Argot Collective @argot.org · 20/10/2025

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.

110

Argot Collective @argot.org · 14/10/2025

✨ 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

121

Argot Collective @argot.org · 01/09/2025

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.

132

Argot Collective @argot.org · 26/08/2025

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.

131

Argot Collective @argot.org · 21/08/2025

Our work is only possible thanks to the ecosystem we’re part of and the supporters who sustain it. Thanks to @ethereum.foundation‬, @octantapp.bsky.social‬ and Optimism who have contributed to Argot and its projects so far!

100

Argot Collective @argot.org · 21/08/2025

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.

121