Argot Collective
banner
argot.org
Argot Collective
@argot.org
27 followers 1 following 79 posts
Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications. visit argot.org
Posts Media Videos Starter Packs
Pinned
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👇
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
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
. @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
🔜 🇧🇷 🇦🇷

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!
Why this matters:

We can now automatically, formally, and at scale prove that a blockchain protocol’s incentives make cheating irrational - before deployment.
CheckMate formally and automatically proves game-theoretic security using SMT solvers. The paper introduces a compositional “divide-and-conquer” algorithm that scales to millions of nodes, interleaving model generation and analysis for efficiency.
Game-theoretic security is about making sure that even rational, selfish actors prefer to follow the rules - because deviating costs more than it earns.

It’s the “economics” of security.
Protocols need 3 kinds of security:
• Cryptographic: Are your keys/passwords strong?
• Implementational: Are there bugs in the code?
• Game-theoretic: Are the incentives aligned so cheating doesn’t pay off?

That last one is crucial, yet often ignored.
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.
The tools Argot maintains sit at the very core of Ethereum: Solidity, Sourcify, Fe, ethdebug, hevm, and Act.

By funding Argot, you're funding the longevity and security of Ethereum applications and the ecosystem as a whole.
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👇
RPC & performance improvements

• Fixed issues and improved stability
• Performance boosts in both concrete and symbolic execution
• Fixed false positives thanks to improved Keccak modelling

Smoother, faster, and more accurate across the board.
Better user-facing output

• Warnings now map back to concrete lines in Solidity source code (if available)
• Counterexample validation info in 'hevm test' mode
• Fixed call data display in counterexamples

Understanding and fixing issues just got simpler.
More control for users

• --only-deployed: resolve unknown addresses only if already deployed
• better RPC caching framework via --mock-file FILE.json
• Geth-compatible JSONL traces for hevm exec with --json-trace

More flexibility, easier debugging, better integrations.
✨ 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
Seats at the Summit are limited. If you haven't yet applied, get your ticket before they run out.

📝 Note: You CANNOT get access to a Solidity Summit attendee ticket without a DevCon ticket
So make sure to get your Devconnect ARG ticket asap.
tickets.devconnect.org

See you in Argentina!
Devconnect ARG — Ethereum World's Fair
Nov. 17th – 22nd, 2025
tickets.devconnect.org
⏳ 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
Solidity Summit 2025 | Solidity Programming Language
La Rural, Buenos Aires, Argentina - 11/18/2025 - 11/18/2025
soliditylang.org
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.