Formal verification of SP1 is underway. We’re excited to share early results of our collaboration with @VeridiseInc, a leader in ZK security auditing.

Twitter

The Litecoin network experienced a blockchain reorganization on the 25th, stemming from a vulnerability in the MWEB input validation, leading to NEAR [...]
The article, "Litecoin Zero-Day Vulnerability! 13 Blockchains Reorganized, NEAR Intents $600,000 in Crisis, v0.21.5.4 Patch Released Immediately," was originally published on BlockTempo, the most influential ABMedia media.

Litecoin suffers zero-day vulnerability! 13 blockchains restructured, NEAR Intents faces a $600,000 shortfall, v0.21.5.4 patch urgently released.

Cryptocurrency asset manager VanEck shared noteworthy findings regarding market dynamics in its latest research report on Bitcoin.
The report, authored by Patrick Bush and Matthew Sigel of the company...

VanEck, the Billion-Dollar Asset Manager, Announces It Has Turned Bullish on Bitcoin

Editor's Note: If 2025 was the year of the "large model capability race," then by the beginning of 2026, the focus of the competition had clearly shifted to a more concrete and realistic track—how to truly implement personal AI agents.

This article systematically compares two of the most watched projects in the current AI agent field—OpenClaw and Hermes Agent. The former has accumulated an astonishing community size and developer ecosystem in a short period of time, becoming a phenomenal AI project on GitHub; the latter, however, focuses on "more..."

Which is more suitable for you: OpenClaw or Hermes?

5/ Determinism checking adds another layer to SP1’s multi-pronged security strategy, alongside third-party audits, expert reviews, and features like SP1-2FA we launched last month.

6/ We’re extending this work to every SP1 circuit, and we have more exciting formal verification updates (including correctness proofs in another collaboration) coming soon.
Read more: