We're excited to continue working on formal verification with the Ethereum Foundation!
This year, we're evaluating and improving the state of Hax (by @CryspenHQ), ArkLib, and CompPoly to advance security of Rust-based zkEVMs & to enable their formal verification via Lean 4.
Reach out if you're curious about our work!

1/ Q4 2025 closed out the year with exciting growth across the ecosystem 🌳
Dive into the projects @ethereumfndn teams supported this quarter and see what our grantees have been building in our latest blog post!

EF Ecosystem Support Program

Twitter

Source: Synced

Just now, a historic "closed-door" event occurred in the AI community.

Anthropic has officially banned access to OpenClaw using its own subscription plan!!!

Boris Cherny, the creator of Claude Code, announced: Starting at 3 PM EST on April 4th (3 AM Beijing time on April 5th), Claude will block all third-party tools; access to these tools will only be available through additional subscription plans or APIs.

[OpenClaw] This means that thousands of users who rely on OpenClaw for improvements...

Anthropic officially blocks OpenClaw, causing a global developer crisis within 24 hours.

The most visible bitcoin buyers in the world are buying at near-record pace. It is not enough.
A CryptoQuant weekly report showed overall 30-day apparent demand at negative 63,000 $BTC as of late Marc...

Five data sources say the same thing about bitcoin market. It's thinning from the inside

Boris Cherny, head of the Anthropic Claude Code, announced that starting in April 2026 [...]
The article, "Anthropic Subscribes to Claude Code and Bans OpenClaw Lobster! From Now On, Third-Party Tools Will Only Be Available with Paid Quotas," was originally published on BlockTempo, the most influential blockchain ABMedia media.