@argotorg I previously: Scroll, Centrifuge
Joined July 2018
- Tweets526
- Following970
- Followers2.5K
- Likes4K
Lea retweeted
Sourcify taking @EFDevcon stages with two talks today:
- 15:30 Lotus Stage 1 @manuel_wedler will give a teaser to our new experiment onay.sh to finally know and verify what you are signing
- 16:00 Jasmine Stage 4 @kaanuzdogan to bring everyone up to speed to ERC7730 Clear Signing: where we are and how it works
Lea retweeted
New blog post out!
@ethdebug is an open format for compilers to explain their output in a developer's own language.
Our first post about it on the Argot blog covers this year's progress, with interactive visuals that run on actual compiler output.
Lea retweeted
New frontend, same backend
Core Solidity is a new frontend for solc. It lowers to Yul and shares the optimizer and code generator with @solidity_lang today, so backend work on stack-too-deep and compile times helps both.
Link to the playground in the comment below.
Lea retweeted
Where is Core Solidity at today?
The @solidity_lang team's new post covers what works in the prototype, what is still missing, and what 18 interviews with developers, auditors and tool builders taught us.
Give it a read now!
Lea retweeted
Open data, better decisions.
@ethlabs_org ran a preliminary analysis on how 'Quick Slots' could potentially impact already deployed contracts using @SourcifyEth's dataset to inform the proposal with real data ↓
With @barnabemonnot of @ethlabs_org we ran a preliminary analysis on our open dataset of verified contracts for the "Quick Slots" proposal
A very good example of what open datasets enable
20.6K of 7.7M Mainnet contracts (0.27%) were found relevant
🧵
xitter.cf/barnabemonnot/status/2…
Lea retweeted
Excited to announce the first release of EquiVM! ✨
EquiVM is a Lean 4 framework for formally verifying that deployed EVM bytecode faithfully implements a formal, human-readable specification, with machine-checked proofs guaranteeing the two behave the same.
The proofs are generated by autonomous LLM agents and checked by the Lean kernel, so nothing about the agent has to be trusted.
The important part: you can audit a contract by reading the spec instead of the bytecode, and reason formally about its behavior through the high-level representation alone.
This research direction grew directly out of community feedback on act, and we're excited to see it take shape.
The 0.1.0 release ships proofs for real deployed contracts: WETH9, MakerDAO Dss contracts, OpenZeppelin contracts, and more, across a range of solc versions and optimizer settings.
We'd genuinely value your input at this stage. If you work on verification, security, or tooling, take a look at the examples and the trusted-base section of the README. Tell us what’s unclear, what do you think is missing, or what you’d implement differently. Suggestions for meaningful next target contracts are very welcome.
Link to the release below ↓
Found out that there’s no way for me to go to my office without being captured on camera
Surveillance is creeping into everyday life. Even in Berlin, police are pushing for broader camera powers, and new surveillance laws are being rushed through.
So I built 𝐤𝐚𝐦𝐞𝐫𝐚𝐟𝐫𝐞𝐢 (dot com): a walk/bike route planner that avoids cameras, fully offline on your device!
3
7
632
After sharing our roadmap updates last week we are publishing our transparency report today.
We’ll keep doing this every 6 months.
Our second bi-annual transparency report is live, covering all spending from January 16 to July 2, 2026.
As a collective committed to public-goods stewardship, we believe financial and organizational transparency is essential to accountability.
1
16
892
Today we are publishing our bi-annual update on the work that has been coming out of the collective so far in 2026 and an overview of what’s planned for the rest of the year.
This thread highlights some of the work. For more details check the link at the end 🤝
Our bi-annual roadmap update is here.
H1 2026 highlights: stack-too-deep is fixed in the SSA-CFG pipeline (under --experimental), debugging infrastructure work has ramped up significantly, and both act and Fe shipped their first releases after extensive rewrites.
More detail below ↓
1
8
576
Argot was one of the first and largest spin-offs from the EF with the purpose to create an independent, neutral sister organization to maintain critical infra for the Ethereum application layer, most notably Solidity.
When we spun out the EF gave us a five year funding commitment as a head start and today we announced the final phase of this original agreement.
Thankful to everyone involved!
We are pleased to announce that the Argot Collective and @ethereumfndn have completed the final phase of our original five-year funding commitment. Approximately 4,938 stETH will be transferred into a multi-sig wallet, with phased unlocks on 1 July 2026 and 1 July 2027.
3
47
3,455
Lea retweeted
4/ @argotorg, incorporated in 2025, is a self-governed collective of engineers and researchers that maintains Solidity and open-source compiler tooling the Ethereum ecosystem depends on.
Alongside that core maintenance work, it's a research home for more experimental work on programming languages and developer tools. Since formation, Argot has shipped releases, maintained compiler infrastructure, and supported research & tooling.
xitter.cf/argotorg/status/185194…
🪲🐞
We teamed up with @walnut_dev to implement the @ethdebug standard inside the @solidity_lang compiler.
The 2025 Solidity Developer Survey shows the demand clearly.
This year we're tackling long-standing issues head on: alongside stack-too-deep, we're now taking on better debugging infrastructure.
4
118
Lea retweeted
Let's be clear that core is not a new language. It's an incremental upgrade to the existing language. We have a long history of breaking backwards compatibility to push Solidity forwards and core is a continuation of that tradition.
Lea retweeted
You still don't know what formal verification is and at this point you're too afraid to ask?
Anja has got you covered. At @EthPrague she gave a workshop explaining what FV is and how she and the rest of the act team approach it.
Full talk in the link below 👇
everything?
The @solidity_lang team is listening.
At @EthPrague, @_czepluch shared how developer survey feedback is driving what's next: fixing the biggest pain points and shaping the Core Solidity roadmap.
Find the full talk in the link below 👇
1
8
560
Lea retweeted
Blind signing was how billions get stolen. Today the Ethereum ecosystem ships the fix: an open standard, a neutral registry, and real developer tooling.
Proud that @SourcifyEth is helping build the open-source libraries for the best developer experience and contributing with their 28M+ verified contracts across 180+ chains.
Make clear signing the default.
