
Vitalik Buterin Says AI Formal Verification Could Make Crypto Safer
Vitalik Buterin argued that combining artificial intelligence with formal verification could make Ethereum and broader crypto infrastructure “much more secure,” shifting…
News on individual networks and tokens, from Bitcoin and Ethereum to Solana, XRP, BNB and newer projects: upgrades, treasury buys, listings and on-chain activity.
105 stories

Vitalik Buterin argued that combining artificial intelligence with formal verification could make Ethereum and broader crypto infrastructure “much more secure,” shifting…

Grayscale and VanEck submitted amended S-1 registration statements in mid-May, signaling active SEC engagement on proposed U.S. spot BNB ETFs.

Aave reinstated Wrapped Ether loan-to-value limits and reopened WETH markets on May 17, 2026, after a coordinated recovery from the April rsETH bridge exploit.

U.S. spot Bitcoin ETFs recorded their largest single-day withdrawal since late January, with $635 million in net outflows as Bitcoin slipped below the $80,000 mark and…

A federal judge in New York has delayed a decision on Aave’s emergency motion to unfreeze 30,766 ETH, worth roughly $71 million, setting a June 5, 2026 hearing and…

Jane Street materially reduced its holdings in major Bitcoin exchange-traded funds and MicroStrategy during the first quarter of 2026, while increasing exposure to…

Ethereum developers have formalized a Clear Signing initiative built around ERC-7730 and reinforced by EIP-7212, targeting one of the ecosystem’s most persistent…

The Solana-based RKC memecoin briefly surged to an estimated $11 million to $12 million market value after a post appeared from the Roaring Kitty X account, only to…

Spot Solana ETFs drew roughly $39.2 million in net inflows over the past week, lifting cumulative assets to about $1.07 billion and helping push SOL back into a…

Ronin Network is set to transition from an independent gaming sidechain into an Ethereum layer-2 rollup built on Optimism’s OP Stack.

Circle Internet Group reported total revenue and reserve income of $694 million for the first quarter, up 20% year over year, as USDC activity continued to expand across…

A federal judge in Manhattan has modified a restraining order, clearing the way for Arbitrum DAO to hold a binding on-chain governance vote on transferring 30,765 ETH…

Australian authorities arrested two men and seized 52.3 Bitcoin, valued at roughly $5.7 million AUD, after a 15-month investigation led by the New South Wales Police…