Verified with rigor. 🛡️
Shoutout to @CertoraInc for powering the formal verification contest on our @cantinaxyz audit — hundreds of properties of Aquarius AMMs were checked, validated, and proven correct.
Pushing DeFi infra forward, one proof at a time.

Our report for the @AquariusDeFi formal verification contest on @cantinaxyz is also now public!
Thanks to all participants who together verified hundreds of properties of the Aquarius AMM infrastructure for @StellarOrg.
Learn more 👇 x.com/cantinaxyz/sta…

Certora

Twitter

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

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.

Something unusual is unfolding in crypto. Over 20 funded projects have shut down in Q1 2026, not scams or rug pulls, but real platforms that couldn’t survive current market conditions. Data highlighte...