Author | Lightnews

Argot Collective

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

Argot Collective @argot.org · Jul 4

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👇

Argot Collective @argot.org · 7d

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

Argot Collective @argot.org · 7d

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

Argot Collective @argot.org · 7d

. @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 Collective @argot.org · 7d

🔜 🇧🇷 🇦🇷

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!

Argot Collective @argot.org · 15d

Link to the paper here: dl.acm.org/doi/10.1145...

...and if you want to check out what Act is working on next to CheckMate read our recent roadmap updates: www.argot.org/blog/2025-r...

2025 Roadmap Update

This is a 2025 roadmap update detailing what each team is working on until the end of the year.

Argot Collective @argot.org · 15d

Why this matters:

We can now automatically, formally, and at scale prove that a blockchain protocol’s incentives make cheating irrational - before deployment.

Argot Collective @argot.org · 15d

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.

Argot Collective @argot.org · 15d

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.

Argot Collective @argot.org · 15d

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.

Argot Collective @argot.org · 15d

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 Collective @argot.org · 19d

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 Collective @argot.org · 19d

giveth.io/project/arg...

Project Argot Collective

The Argot Collective is a non-profit, independent research and development group

Argot Collective @argot.org · 19d

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👇

Argot Collective @argot.org · 21d

Explore hevm v0.56.0 now and check out the full changelog here:
👉 github.com/argotorg/he...

Thanks to everyone who contributed and reported issues - your feedback drives these improvements ❤️

Release 0.56.0 · argotorg/hevm

Changes since 0.55.1: Added Output geth compatible jsonl traces in hevm exec via --json-trace Allow dumping unsolved SMT files via --dump-unsolved Allow resolving unknown addresses to only those t...

Argot Collective @argot.org · 21d

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.

Argot Collective @argot.org · 21d

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.

Argot Collective @argot.org · 21d

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.

Argot Collective @argot.org · 21d

✨ 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

Argot Collective @argot.org · Oct 2

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

Argot Collective @argot.org · Oct 2

⏳ 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

Argot Collective @argot.org · Sep 23

Find all details here: discuss.ens.domains/t/ens-public...

ENS Public Goods Working Group: Funding Argot

Summary The next allocation of the ENS Public Goods (PG) Working Group Strategic Grants programme is an initial 75,000 USDC grant to support a new and independent collective for Ethereum application i...

discuss.ens.domains

Argot Collective @argot.org · Sep 23

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! 🙏

Argot Collective @argot.org · Sep 4

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

Argot Collective @argot.org · Sep 1

Visit our blog to read about recent milestones and upcoming work of Solidity, Sourcify, ethdebug, Fe, Act, and hevm: www.argot.org/blog/2025-r...

2025 Roadmap Update

This is a 2025 roadmap update detailing what each team is working on until the end of the year.

Argot Collective @argot.org · Sep 1

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.