40 contributors. $2.6k raised. Grateful to everyone who backed act in the last Ethereum Security QF Round 🙏 Thank you to @thedaofund and @giveth for putting this initiative together, and to @quantstamp and @wintermute_t for their support. act bridges the gap between human-readable specifications and EVM bytecode, proving their equivalence. The team kicked off the year with the first official v0.2.0 release, grounded in formalized semantics and proofs of type safety. Since the Security round ended, the team has channeled the momentum into community and researcher engagement, sparking new research directions shaped by stakeholder feedback: 🔬 EquiVM: Refinement proofs about EVM bytecode, inside the Lean proof assistant, to enable high-level mathematical reasoning about contact behavior - keep your eyes peeled this week 👀 🎯 CheckMate: formal verification of economic incentives in smart contracts Funding like this doesn't just support code. It supports the conversations and research that shape how formal verification evolves.

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.

An update on Solidity for the first half of 2026, across Classic and Core. Classic: the experimental SSA-CFG backend now fixes stack-too-deep and lays the groundwork for faster compile times. Core: real contracts now compile and run end-to-end. More on both below.

👀 @clawdbotatg just one-shot "clear signing" into slop computer 🫡 it's really that easy with @SourcifyEth's lib + the EF registry 👉 your dapp/wallet should too:

EVM compiler bench by @banteg is an excellent tool for comparing different EVM languages. We are excited to announce that Fe has just been added to the comparison! 🚀 Check it out here: 👉

Sourcify mid-2026 recap & roadmap. 🧵 The first half of the year: 38.5M verified contracts, parallel verification implemented in Foundry & Hardhat, and a new front in the fight against blind signing. Here's where we are and where we're headed. 👇

Fresh off Fe 26.2, here's the road ahead for the rest of the year. Most of it comes down to production-readiness: correctness, security, developer experience. Let's dive in 👇

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 ↓

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.

This is a great achievement by all involved -- and many have been involved: Gustavo and Emilio from the Echidna team (part of @trailofbits), @big_tech_sux from @vyperlang, @forkforkdog from @GuardianAudits, and of course @_schmitted, Martin & mysefl from @argotorg Thanks!