Argot Collective
@argot.org
Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications.
visit argot.org
visit argot.org
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👇
Find all details on our blog or follow the tl;dr here👇
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 ↓
It’s going to be an action-packed week - here’s where you’ll be able to find us ↓
November 12, 2025 at 2:21 PM
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 ↓
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!
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!
October 28, 2025 at 3:31 PM
🔜 🇧🇷 🇦🇷
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 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.
In short: the tool checks whether the incentives in a protocol make cheating not worth it.
October 20, 2025 at 2:52 PM
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.
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👇
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👇
October 16, 2025 at 9:35 AM
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👇
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
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
October 14, 2025 at 9:51 AM
✨ 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
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
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
October 2, 2025 at 12:22 PM
⏳ 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
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! 🙏
An additional $25,000 USDC has been earmarked for future work.
We are grateful to the ENS community for this early support! 🙏
September 23, 2025 at 8:07 AM
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! 🙏
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...
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...
September 4, 2025 at 9:23 AM
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...
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.
Today we're sharing a 2025 roadmap update detailing what each team is working on until the end of the year.
September 1, 2025 at 2:58 PM
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.
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.
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.
August 26, 2025 at 1:57 PM
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.
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.
As part of this change, corresponding Github repositories will be migrated to github.com/argotorg on Wednesday, August 27th at 9AM CEST.
Argot Collective
A Credibly Neutral Home for Ethereum Core Infrastructure - Argot Collective
github.com
August 26, 2025 at 8:16 AM
.@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.
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.
While our website got a new look, we continue what we have been doing best: Building the critical infrastructure for Ethereum applications.
August 21, 2025 at 10:37 AM
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.
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 👇
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 👇
August 20, 2025 at 12:29 PM
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 👇
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 👇
🧿
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 👇
August 11, 2025 at 12:06 PM
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 👇
🧿
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.
@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.
August 6, 2025 at 3:01 PM
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.
@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👇
Find all details on our blog or follow the tl;dr here👇
July 4, 2025 at 10:34 AM
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👇
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...
You can read the full post on the blog:
soliditylang.org/blog/2025/03...
The Case for EOF | Solidity Programming Language
Posted by Kamil Śliwak on March 27, 2025
soliditylang.org
March 27, 2025 at 3:22 PM
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...
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! ✦
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! ✦
Ethereum Foundation - Argot Collective Ecosystem Liaison
About Argot Argot is a democratically-organized research and development group focused on maintaining free and independent software related to Ethereum. We believe that Ethereum’s development requires dedicated people focused on its core infrastructure, working free from commercial pressures and supported by long-term funding. Our mission is to provide a positive environment for these individuals, fostering the sustainable maintenance of free, open software over an extended period. We specialize as compiler engineers, verification experts, and programming language theorists. Taken together, we have a long track record of delivering widely used free and open-source software in the Ethereum ecosystem. We are a lean organization with little formal process and very distributed authority. There are no managers or top-down hierarchy. A consent-based governance framework is in place and individuals are entrusted with significant decision-making power to act at their own discretion. This a
jobs.lever.co
March 11, 2025 at 10:19 AM
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! ✦
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 ▾
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 ▾
March 11, 2025 at 10:14 AM
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 ▾
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 ▾