Lea

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.

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.

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!

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 ↓

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 ↓

HBD @solidity_lang 🥳🎂

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 👇

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.

Mark your calendars for tomorrow's live stream! Three Argot projects have been selected for the @thedaofund Ethereum Security QF Round on @Giveth: 𝗵𝗲𝘃𝗺, 𝗮𝗰𝘁 and @SourcifyEth ✨ Tomorrow they will showcase how each of them is contributing to making Ethereum safer!

Our bi-annual roadmap update is live: a recap of what Argot delivered across the collective in the second half of 2025, and a forward-looking outlook into the first half of 2026. ✨ Find the link below ↓

Live now with @OctantApp 🫡 @solidity_lang showcasing how the team is solving stack-too-deep and planning to improve overall performance. Join us ↓

Time for an @official_fe 2025 update! ⚡️ We believe language diversity and language research are essential to building safer systems. Fe is our exploration of that belief: a language that makes every side effect visible, prevents bugs before they happen, and pairs a modern developer experience with a strict safety system.

Initial 3-4 years runway is secured, but independence also means diversifying funding to ensure long-term sustainability for the ecosystem as a whole. Solidity is critical infrastructure, underpinning billions of dollars in DeFi and Ethereum as a whole. There are several ways to support this work - one simple option is the current @OctantApp StreamVote pilot (streamvote.octant.build/) and the upcoming Octant Epoch 10 in January. For direct support and donations, feel free to reach out here or visit argot.org/donate Onto 2026! 💪

What a year it’s been for @solidity_lang: a 10-year anniversary, the largest EF spin-off to date, a newly incorporated entity, and a roadmap that sets direction for the next decade. 🤩 Take a look at the most recent highlights with us ↓