Argot Collective
@argot.org
Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications.
visit argot.org
visit argot.org
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...
📍 Location: La Rural
📅 Date: Monday, 17th 3:00 PM - Kaan & Thursday 20th 2:30PM, Lea 11:30AM
🌐 Link: devconnect.org/community-h...
November 12, 2025 at 2:21 PM
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...
📍 Location: La Rural
📅 Date: Monday, 17th 3:00 PM - Kaan & Thursday 20th 2:30PM, Lea 11:30AM
🌐 Link: devconnect.org/community-h...
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/
A full-day event diving into the future of Solidity.
📍 Location: La Rural
📅 Date: Tuesday, 18 Nov
🌐 Link: www.soliditylang.org/summit/
November 12, 2025 at 2:21 PM
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/
A full-day event diving into the future of Solidity.
📍 Location: La Rural
📅 Date: Tuesday, 18 Nov
🌐 Link: www.soliditylang.org/summit/
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 ↓
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
🗓 Date: November 8
⏰ Time: 14:30–14:50
📍 Stage: Arquibancada Stage
October 28, 2025 at 3:31 PM
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
🗓 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
🗓 Date: November 8
⏰ Time: 12:40–13:00
📍 Stage: Arquibancada Stage
October 28, 2025 at 3:31 PM
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
🗓 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
🗓 Date: November 8
⏰ Time: 11:00–11:20
📍 Stage: Arquibancada Stage
October 28, 2025 at 3:31 PM
. @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
🗓 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!
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.
✨ 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
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.
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!
Thanks to @ethereum.foundation, @octantapp.bsky.social and Optimism who have contributed to Argot and its projects so far!
August 21, 2025 at 10:37 AM
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!
Thanks to @ethereum.foundation, @octantapp.bsky.social and Optimism who have contributed to Argot and its projects so far!
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.
User experience is equally vital. When verification fails, Sourcify provides byte-level diffs, detailed diagnostics, and streamlined issue reporting - closing the feedback loop between developers and verifiers.
August 11, 2025 at 12:06 PM
User experience is equally vital. When verification fails, Sourcify provides byte-level diffs, detailed diagnostics, and streamlined issue reporting - closing the feedback loop between developers and verifiers.
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👇
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 ▾