Argot Collective

Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications.

[Argot Collective @argotorg]

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 ↓

[Argot Collective @argotorg]

See you soon!

[thedao.fund @thedaofund]

We’re starting in 1 hour!

Formal verification can get technical fast, so we brought the right people to unpack it.

Joining us:

@RaoulSaffron and Everett from @rv_inc
@Fricoben from @veritylab
@bennylada from @vyperlang
@zoep_42 and @clonker3141 from @argotorg
@vilhelm_sjoberg from @CertiK

Come listen in ↓
https://t.co/Tej8Sp3B6K

[Argot Collective @argotorg]

We'll be there! Tune in today ↓

[thedao.fund @thedaofund]

Ethereum security cannot only depend on finding bugs after the fact.

This Thursday, TheDAO’s Ethereum Security Space is back to talk formal verification, and how proving critical code behaves as intended can help make Ethereum safer.

Join us ↓
https://t.co/8LcX4MjD9d

[Argot Collective @argotorg]

New Fe release dropped ↓

[Fe Language @official_fe]

Fe 26.3 is here! 🧵

First-class memory pointers, new array and ERC-20 helpers, important compiler fixes, and foundations for source-level debugging.

Here’s what’s new 👇

[Argot Collective @argotorg]

Round Two of @thedaofund is live and it's never been easier to support Ethereum security!

Go check out all initiatives and consider contributing 🫡

[thedao.fund @thedaofund]

Onchain security is everyone’s problem and nobody’s job.

ETHSecurity Initiatives is how we are changing that.

Propose the work. Fund the work. Build the work.

https://t.co/3uj1FmFLNb

[thedao.fund @thedaofund]

Onchain security is everyone’s problem and nobody’s job.

ETHSecurity Initiatives is how we are changing that.

Propose the work. Fund the work. Build the work.

https://t.co/3uj1FmFLNb

[Argot Collective @argotorg]

New release out now ⬇️

[Solidity @solidity_lang]

Solidity 0.8.37 is out.

[Solidity @solidity_lang]

Solidity 0.8.37 is out.

[Argot Collective @argotorg]

See you in Mumbai!

[Kaan @kaanuzdogan]

I'm speaking at @EFDevcon 8!

"Goodbye YOLO Signing"

Join me in Mumbai 🇮🇳 November 3-6, 2026. https://t.co/uEmn9JH6xi

[Argot Collective @argotorg]

Want to try out solcore this Saturday in Amsterdam?

Make sure to reach out to @_czepluch!

[jacob @_czepluch]

I'll be presenting some of the exciting things we're working on for Solidity at @CryptoCanal on Saturday.

If you're hacking there and want to try some bleeding-edge things, let me know, and I'll set you up!

[L2BEAT 💗 @l2beat]

L2BEAT has verified ~1000 smart contracts on @SourcifyEth 🤝 The biggest Solidity contract open database just became richer with actual contracts used in L2 projects and bridges.

[Kaan @kaanuzdogan]

Do I know anyone here working on any Ethereum wallet?

We are working hard on ERC7730 Clear Signing. We need more eyes and feedback on what we are working on and see how it fits your wallet. Software or Hardware.

RTs and interactions appreciated 😇

[Argot Collective @argotorg]

If you want to get more insight into the work they've been doing on Clear Signing watch the full talk from BBW 2026 hosted by @BerlinMeetup here ↓ https://t.co/Ypf5ayYMPB

[Argot Collective @argotorg]

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.

Throughout the first half of the year they have been supporting the Clear Signing working group by building an SDK to help wallets fight blind signing, collaborating with @growthepie_eth on making ecosystem value flow easily visible, and more recently they've been supplying @ethlabs_org with data to assess how 'Quick Slots' would impact deployed contracts.

All of this builds on their consistent work of verifying and maintaining an open source database of currently 43.5M+ contracts across 260+ EVM chains.

[Argot Collective @argotorg]

Who will we meet in Amsterdam?

@_czepluch will talk all things @solidity_lang during Cypherpunk Week in Amsterdam in September and hopes to see many of you there! ↓

[CryptoCanal - Common S3nse @CryptoCanal]

What's next for Solidity?

@_czepluch from @solidity_lang, joins the Common S3nse stage to walk us through where the language has been and what's coming next.

Privacy • Security • DeFi
📍 Amsterdam
📅 September 4-5 (during Cypherpunk Week)

[Argot Collective @argotorg]

Two problems found across two compilers, both fixed and shipped.

Formal verification catching issues that testing alone could miss. 🤝

[Argot Collective @argotorg]

Formal verification is getting a lot of attention and there are many ways to approach it. Alongside the recent EquiVM release, there's other FV work happening at Argot, including act.

act is a formal specification language with a range of capabilities, one of which is proving that EVM bytecode matches a human-readable spec. Think of it as a way to mathematically guarantee that a contract does exactly what it claims to do.

Building under one umbrella means our work streams reinforce each other. We collaborate across teams from the start and apply our tools wherever they add value. Two recent cases with @solidity_lang and @official_fe show what that looks like in practice.

[Argot Collective @argotorg]

Example 2: Fe

Since Fe encodes storage similarly to Solidity, act can verify Fe compiled bytecode directly. We wrote a simple contract containing mappings and wanted to verify it against its act spec. act flagged a discrepancy in how Fe handled those mappings: dynamic sized copies were adding unnecessary complexity. The Fe team resolved it in their 26.2 release. Bytecode and spec are now equivalent.

🔗 https://t.co/S6LBBUZMN6

[Argot Collective @argotorg]

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 👇

[Argot Collective @argotorg]

https://t.co/TmHO7tbkJX

[Argot Collective @argotorg]

🔥 link to EquiVM in comment below ↓ 🔥

[Leo Alt @leonardoalt]

EVM formal methods are hot right now🔥just added multiple bangers here:

- equiVM by @argotorg
- evm-asm by @pirapira @dhsorens
- evm-sail by @TauLepton_
- {evm,yul}-semantics & verified yul-c by us @powdr_labs

https://t.co/Z7cjvSv7dd