Argot Collective
@argot.org
Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications.
visit argot.org
visit argot.org
@kaanuzdogan.bsky.social will talk about 'Sourcify & Verifier Alliance: Open-source & open-data in source-code verification' (1:35PM). Followed by Mate who will talk about 'hevm, new frontiers in symbolic execution of EVM bytecode' (3:50PM)
📅 Date: 19.11.
🌐 Link: montyly.github.io/w3st/
📅 Date: 19.11.
🌐 Link: montyly.github.io/w3st/
What is it?
A highly technical seminar for builders of blockchain security tools during Devconnect 2025.
montyly.github.io
November 12, 2025 at 2:21 PM
@kaanuzdogan.bsky.social will talk about 'Sourcify & Verifier Alliance: Open-source & open-data in source-code verification' (1:35PM). Followed by Mate who will talk about 'hevm, new frontiers in symbolic execution of EVM bytecode' (3:50PM)
📅 Date: 19.11.
🌐 Link: montyly.github.io/w3st/
📅 Date: 19.11.
🌐 Link: montyly.github.io/w3st/
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/
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
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...
...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.org
October 20, 2025 at 2:52 PM
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...
...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...
Why this matters:
We can now automatically, formally, and at scale prove that a blockchain protocol’s incentives make cheating irrational - before deployment.
We can now automatically, formally, and at scale prove that a blockchain protocol’s incentives make cheating irrational - before deployment.
October 20, 2025 at 2:52 PM
Why this matters:
We can now automatically, formally, and at scale prove that a blockchain protocol’s incentives make cheating irrational - before deployment.
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.
October 20, 2025 at 2:52 PM
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.
It’s the “economics” of security.
October 20, 2025 at 2:52 PM
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.
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.
• 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.
October 20, 2025 at 2:52 PM
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.
• 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.
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.
By funding Argot, you're funding the longevity and security of Ethereum applications and the ecosystem as a whole.
October 16, 2025 at 9:35 AM
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.
By funding Argot, you're funding the longevity and security of Ethereum applications and the ecosystem as a whole.
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 ❤️
👉 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...
github.com
October 14, 2025 at 9:51 AM
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 ❤️
👉 github.com/argotorg/he...
Thanks to everyone who contributed and reported issues - your feedback drives these improvements ❤️
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.
• 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.
October 14, 2025 at 9:51 AM
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.
• 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.
• 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.
October 14, 2025 at 9:51 AM
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.
• 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.
• --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.
October 14, 2025 at 9:51 AM
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.
• --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.
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!
📝 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
October 2, 2025 at 12:22 PM
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!
📝 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!
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
September 23, 2025 at 8:07 AM
Find all details here: discuss.ens.domains/t/ens-public...